Searched refs:old_model (Results 1 – 2 of 2) sorted by relevance
981 const region_model *old_model = sm_ctxt->get_old_region_model (); in check_for_tainted_divisor() local982 if (!old_model) in check_for_tainted_divisor()986 const svalue *divisor_sval = old_model->get_rvalue (divisor_expr, NULL); in check_for_tainted_divisor()993 = old_model->get_manager ()->get_or_create_int_cst in check_for_tainted_divisor()996 = old_model->eval_condition (divisor_sval, NE_EXPR, zero_sval); in check_for_tainted_divisor()
1838 const region_model *old_model = old_state->m_region_model; in handle_free_of_non_heap() local1839 const svalue *ptr_sval = old_model->get_rvalue (arg, NULL); in handle_free_of_non_heap()1840 freed_reg = old_model->deref_rvalue (ptr_sval, arg, NULL); in handle_free_of_non_heap()