Lines Matching refs:model
149 impl_constraint_manager (region_model *model) in impl_constraint_manager() argument
151 m_model (model) in impl_constraint_manager()
155 region_model *model) in impl_constraint_manager() argument
157 m_model (model) in impl_constraint_manager()
160 constraint_manager *clone (region_model *model) const in clone()
162 return new impl_constraint_manager (*this, model); in clone()
211 svalue_id::validate (const region_model &model) const in validate()
213 gcc_assert (null_p () || m_idx < (int)model.get_num_svalues ()); in validate()
241 region_id::validate (const region_model &model) const in validate()
243 gcc_assert (null_p () || m_idx < (int)model.get_num_regions ()); in validate()
248 region_id_set::region_id_set (const region_model *model) in region_id_set() argument
249 : m_bitmap (model->get_num_regions ()) in region_id_set()
348 svalue::print (const region_model &model, in print() argument
364 print_details (model, this_sid, pp); in print()
372 svalue::dump_dot_to_pp (const region_model &model, in dump_dot_to_pp() argument
381 print (model, this_sid, pp); in dump_dot_to_pp()
408 region_model &model, in get_child_sid() argument
414 svalue_id new_child_sid = model.add_svalue (new_child_value); in get_child_sid()
453 region_svalue::print_details (const region_model &model ATTRIBUTE_UNUSED, in print_details()
469 region_svalue::dump_dot_to_pp (const region_model &model, in dump_dot_to_pp() argument
473 svalue::dump_dot_to_pp (model, this_sid, pp); in dump_dot_to_pp()
723 constant_svalue::print_details (const region_model &model ATTRIBUTE_UNUSED, in print_details()
735 region_model &model, in get_child_sid() argument
746 return model.add_svalue (unknown_sval); in get_child_sid()
775 unknown_svalue::print_details (const region_model &model ATTRIBUTE_UNUSED, in print_details()
821 poisoned_svalue::print_details (const region_model &model ATTRIBUTE_UNUSED, in print_details()
1010 region::get_parent_region (const region_model &model) const in get_parent_region()
1012 return model.get_region (m_parent_rid); in get_parent_region()
1019 region::set_value (region_model &model, region_id this_rid, svalue_id rhs_sid, in set_value() argument
1025 svalue *sval = model.get_svalue (rhs_sid); in set_value()
1027 rhs_sid = model.maybe_cast (m_type, rhs_sid, ctxt); in set_value()
1029 sval = model.get_svalue (rhs_sid); in set_value()
1044 become_active_view (model, this_rid); in set_value()
1047 deactivate_any_active_view (model); in set_value()
1060 region::become_active_view (region_model &model, region_id this_rid) in become_active_view() argument
1064 region *parent_reg = model.get_region (m_parent_rid); in become_active_view()
1083 region_id_set below_region (&model); in become_active_view()
1084 model.get_descendents (m_parent_rid, &below_region, this_rid); in become_active_view()
1085 for (unsigned i = 0; i < model.get_num_regions (); i++) in become_active_view()
1090 region *other_reg = model.get_region (rid); in become_active_view()
1094 region *parent = model.get_region (m_parent_rid); in become_active_view()
1096 = model.add_svalue (new unknown_svalue (parent->get_type ())); in become_active_view()
1101 region *old_active_view = model.get_region (old_active_view_rid); in become_active_view()
1102 old_active_view->deactivate_view (model, old_active_view_rid); in become_active_view()
1110 region::deactivate_any_active_view (region_model &model) in deactivate_any_active_view() argument
1114 region *view = model.get_region (m_active_view_rid); in deactivate_any_active_view()
1115 view->deactivate_view (model, m_active_view_rid); in deactivate_any_active_view()
1123 region::deactivate_view (region_model &model, region_id this_view_rid) in deactivate_view() argument
1130 region_id_set below_view (&model); in deactivate_view()
1131 model.get_descendents (this_view_rid, &below_view, region_id::null ()); in deactivate_view()
1133 for (unsigned i = 0; i < model.get_num_regions (); i++) in deactivate_view()
1138 region *other_reg = model.get_region (rid); in deactivate_view()
1143 m_sval_id = model.add_svalue (new unknown_svalue (get_type ())); in deactivate_view()
1156 region::get_value (region_model &model, bool non_null, in get_value() argument
1166 region *parent = model.get_region (m_parent_rid); in get_value()
1170 = parent->get_inherited_child_sid (this, model, ctxt); in get_value()
1180 svalue_id unknown_sid = model.add_svalue (new unknown_svalue (m_type)); in get_value()
1195 region_model &model, in get_inherited_child_sid() argument
1203 region *parent = model.get_region (m_parent_rid); in get_inherited_child_sid()
1204 m_sval_id = parent->get_inherited_child_sid (this, model, ctxt); in get_inherited_child_sid()
1213 svalue *this_value = model.get_svalue (m_sval_id); in get_inherited_child_sid()
1215 = this_value->get_child_sid (this, child, model, ctxt); in get_inherited_child_sid()
1361 region::print (const region_model &model, in print() argument
1369 print_fields (model, this_rid, pp); in print()
1377 region::dump_dot_to_pp (const region_model &model, in dump_dot_to_pp() argument
1385 print (model, this_rid, pp); in dump_dot_to_pp()
1414 region::dump_to_pp (const region_model &model, in dump_to_pp() argument
1420 print (model, this_rid, pp); in dump_to_pp()
1437 model.get_svalue (m_sval_id)->print (model, m_sval_id, pp); in dump_to_pp()
1451 for (unsigned i = 0; i < model.get_num_regions (); ++i) in dump_to_pp()
1454 region *child = model.get_region (rid); in dump_to_pp()
1470 dump_child_label (model, this_rid, *child_rid, pp); in dump_to_pp()
1471 model.get_region (*child_rid)->dump_to_pp (model, *child_rid, pp, in dump_to_pp()
1480 region::dump_child_label (const region_model &model, in dump_child_label() argument
1485 region *child = model.get_region (child_rid); in dump_child_label()
1504 region::validate (const region_model &model) const in validate()
1506 m_parent_rid.validate (model); in validate()
1507 m_sval_id.validate (model); in validate()
1513 view_rid->validate (model); in validate()
1515 m_active_view_rid.validate (model); in validate()
1544 region::add_view (region_id view_rid, region_model *model) in add_view() argument
1547 region *new_view = model->get_region (view_rid); in add_view()
1564 region::get_view (tree type, region_model *model) const in get_view()
1570 region *view = model->get_region (*view_rid); in get_view()
1615 region::print_fields (const region_model &model ATTRIBUTE_UNUSED, in print_fields()
1647 region::non_null_p (const region_model &model) const in non_null_p()
1651 return model.get_region (m_parent_rid)->non_null_p (model); in non_null_p()
1720 map_region::print_fields (const region_model &model, in print_fields() argument
1724 region::print_fields (model, this_rid, pp); in print_fields()
1744 map_region::validate (const region_model &model) const in validate()
1746 region::validate (model); in validate()
1752 child_rid.validate (model); in validate()
1759 map_region::dump_dot_to_pp (const region_model &model, in dump_dot_to_pp() argument
1763 region::dump_dot_to_pp (model, this_rid, pp); in dump_dot_to_pp()
1791 map_region::dump_child_label (const region_model &model, in dump_child_label() argument
1796 region::dump_child_label (model, this_rid, child_rid, pp); in dump_child_label()
1819 map_region::get_or_create (region_model *model, in get_or_create() argument
1830 region_id child_rid = model->add_region_for_type (this_rid, type, ctxt); in get_or_create()
1906 const region_model &model) const in get_tree_for_child_region()
1915 if (model.get_region (r) == child) in get_tree_for_child_region()
2137 const region_model &model) const in get_value_by_name()
2151 region *region = model.get_region (rid); in get_value_by_name()
2152 return region->get_value (const_cast<region_model &>(model), in get_value_by_name()
2262 frame_region::print_fields (const region_model &model, in print_fields() argument
2266 map_region::print_fields (model, this_rid, pp); in print_fields()
2349 array_region::get_element (region_model *model, in get_element() argument
2355 svalue *index_sval = model->get_svalue (index_sid); in get_element()
2360 = get_or_create (model, this_rid, key, element_type, ctxt); in get_element()
2364 return model->get_or_create_view (this_rid, element_type, ctxt); in get_element()
2403 array_region::print_fields (const region_model &model, in print_fields() argument
2407 region::print_fields (model, this_rid, pp); in print_fields()
2426 array_region::validate (const region_model &model) const in validate()
2428 region::validate (model); in validate()
2434 child_rid.validate (model); in validate()
2441 array_region::dump_dot_to_pp (const region_model &model, in dump_dot_to_pp() argument
2445 region::dump_dot_to_pp (model, this_rid, pp); in dump_dot_to_pp()
2473 array_region::dump_child_label (const region_model &model, in dump_child_label() argument
2478 region::dump_child_label (model, this_rid, child_rid, pp); in dump_child_label()
2500 array_region::get_or_create (region_model *model, in get_or_create() argument
2509 region_id child_rid = model->add_region_for_type (this_rid, type, ctxt); in get_or_create()
2704 stack_region::print_fields (const region_model &model, in print_fields() argument
2708 region::print_fields (model, this_rid, pp); in print_fields()
2715 stack_region::dump_child_label (const region_model &model, in dump_child_label() argument
2720 function *fun = model.get_region<frame_region> (child_rid)->get_function (); in dump_child_label()
2727 stack_region::validate (const region_model &model) const in validate()
2729 region::validate (model); in validate()
2733 m_frame_rids[i].validate (model); in validate()
2770 stack_region::pop_frame (region_model *model, region_id result_dst_rid, in pop_frame() argument
2777 frame_region *frame = model->get_region<frame_region> (frame_rid); in pop_frame()
2788 model->copy_region (result_dst_rid, model->get_lvalue (result, ctxt), in pop_frame()
2794 region_id return_rid = model->get_lvalue (result, NULL); in pop_frame()
2795 region_id_set returned_rids (model); in pop_frame()
2796 model->get_descendents (return_rid, &returned_rids, in pop_frame()
2798 for (unsigned i = 0; i < model->get_num_regions (); i++) in pop_frame()
2803 svalue_id sid = model->get_region (rid)->get_value_direct (); in pop_frame()
2813 model->delete_region_and_descendents (frame_rid, in pop_frame()
2820 model->purge_unused_svalues (stats, ctxt, &returned_sids); in pop_frame()
2822 model->validate (); in pop_frame()
2937 const region_model &model) const in get_value_by_name()
2943 frame_region *frame = model.get_region<frame_region> (*frame_rid); in get_value_by_name()
2944 svalue_id sid = frame->get_value_by_name (identifier, model); in get_value_by_name()
3040 root_region::print_fields (const region_model &model, in print_fields() argument
3044 region::print_fields (model, this_rid, pp); in print_fields()
3051 root_region::validate (const region_model &model) const in validate()
3053 region::validate (model); in validate()
3054 m_stack_rid.validate (model); in validate()
3055 m_globals_rid.validate (model); in validate()
3056 m_code_rid.validate (model); in validate()
3057 m_heap_rid.validate (model); in validate()
3063 root_region::dump_child_label (const region_model &model ATTRIBUTE_UNUSED, in dump_child_label()
3088 root_region::push_frame (region_model *model, function *fun, in push_frame() argument
3095 ensure_stack_region (model); in push_frame()
3096 stack_region *stack = model->get_region <stack_region> (m_stack_rid); in push_frame()
3100 region_id frame_rid = model->add_region (region); in push_frame()
3120 = region->get_or_create (model, frame_rid, iter_parm, in push_frame()
3122 model->set_value (parm_rid, arg_sid, ctxt); in push_frame()
3130 = region->get_or_create (model, frame_rid, parm_default_ssa, in push_frame()
3132 model->set_value (defssa_rid, arg_sid, ctxt); in push_frame()
3147 = region->get_or_create (model, frame_rid, iter_parm, in push_frame()
3150 = model->set_to_new_unknown_value (parm_rid, TREE_TYPE (iter_parm), in push_frame()
3159 = region->get_or_create (model, frame_rid, parm_default_ssa, in push_frame()
3161 model->get_region (defssa_rid)->set_value (*model, defssa_rid, in push_frame()
3176 root_region::get_current_frame_id (const region_model &model) const in get_current_frame_id()
3178 stack_region *stack = model.get_region <stack_region> (m_stack_rid); in get_current_frame_id()
3189 root_region::pop_frame (region_model *model, region_id result_dst_rid, in pop_frame() argument
3193 stack_region *stack = model->get_region <stack_region> (m_stack_rid); in pop_frame()
3194 stack->pop_frame (model, result_dst_rid, purge, out, ctxt); in pop_frame()
3201 root_region::ensure_stack_region (region_model *model) in ensure_stack_region() argument
3206 = model->add_region (new stack_region (model->get_root_rid (), in ensure_stack_region()
3215 root_region::get_stack_region (const region_model *model) const in get_stack_region()
3217 return model->get_region <stack_region> (m_stack_rid); in get_stack_region()
3224 root_region::ensure_globals_region (region_model *model) in ensure_globals_region() argument
3228 = model->add_region (new globals_region (model->get_root_rid ())); in ensure_globals_region()
3235 root_region::get_code_region (const region_model *model) const in get_code_region()
3237 return model->get_region <code_region> (m_code_rid); in get_code_region()
3244 root_region::ensure_code_region (region_model *model) in ensure_code_region() argument
3248 = model->add_region (new code_region (model->get_root_rid ())); in ensure_code_region()
3255 root_region::get_globals_region (const region_model *model) const in get_globals_region()
3257 return model->get_region <globals_region> (m_globals_rid); in get_globals_region()
3264 root_region::ensure_heap_region (region_model *model) in ensure_heap_region() argument
3269 = model->add_region (new heap_region (model->get_root_rid (), in ensure_heap_region()
3278 root_region::get_heap_region (const region_model *model) const in get_heap_region()
3280 return model->get_region <heap_region> (m_heap_rid); in get_heap_region()
3395 const region_model &model) const in get_value_by_name()
3397 if (stack_region *stack = get_stack_region (&model)) in get_value_by_name()
3399 svalue_id sid = stack->get_value_by_name (identifier, model); in get_value_by_name()
3403 if (map_region *globals = get_globals_region (&model)) in get_value_by_name()
3405 svalue_id sid = globals->get_value_by_name (identifier, model); in get_value_by_name()
3452 symbolic_region::print_fields (const region_model &model, in print_fields() argument
3456 region::print_fields (model, this_rid, pp); in print_fields()
4533 reachable_regions (region_model *model) in reachable_regions() argument
4534 : m_model (model), m_reachable_rids (), m_mutable_rids () in reachable_regions()
7311 canonicalization::canonicalization (const region_model &model) in canonicalization() argument
7312 : m_model (model), in canonicalization()
7313 m_rid_map (model.get_num_regions ()), in canonicalization()
7314 m_sid_map (model.get_num_svalues ()), in canonicalization()
7483 region_model &model, in assert_condition() argument
7487 tristate actual = model.eval_condition (lhs, op, rhs, NULL); in assert_condition()
7514 const region_model &model, in assert_dump_eq() argument
7521 model.dump_to_pp (&pp, summarize); in assert_dump_eq()
7537 region_model model; in test_dump() local
7538 model.get_root_region ()->ensure_stack_region (&model); in test_dump()
7539 model.get_root_region ()->ensure_globals_region (&model); in test_dump()
7540 model.get_root_region ()->ensure_heap_region (&model); in test_dump()
7542 ASSERT_DUMP_EQ (model, false, in test_dump()
7551 ASSERT_DUMP_EQ (model, true, ""); in test_dump()
7620 region_model model; in test_dump_2() local
7621 model.set_value (c_x, int_17, NULL); in test_dump_2()
7622 model.set_value (c_y, int_m3, NULL); in test_dump_2()
7625 ASSERT_DUMP_EQ (model, true, "c.x: 17, c.y: -3"); in test_dump_2()
7629 (model, false, in test_dump_2()
7658 region_model model; in test_dump_3() local
7663 model.set_value (a_0, char_A, NULL); in test_dump_3()
7666 ASSERT_DUMP_EQ (model, true, "a[0]: 65"); in test_dump_3()
7670 (model, false, in test_dump_3()
7720 region_model model; in test_unique_constants() local
7721 ASSERT_EQ (model.get_rvalue (int_0, &ctxt), model.get_rvalue (int_0, &ctxt)); in test_unique_constants()
7722 ASSERT_EQ (model.get_rvalue (int_42, &ctxt), in test_unique_constants()
7723 model.get_rvalue (int_42, &ctxt)); in test_unique_constants()
7724 ASSERT_NE (model.get_rvalue (int_0, &ctxt), model.get_rvalue (int_42, &ctxt)); in test_unique_constants()
7822 purge_one_svalue_id (region_model model, tree expr) in purge_one_svalue_id() argument
7823 : m_victim (model.get_rvalue (expr, NULL)) {} in purge_one_svalue_id()
7944 region_model model; in test_purge_unused_svalues() local
7945 model.set_to_new_unknown_value (model.get_lvalue (x, &ctxt), TREE_TYPE (x), in test_purge_unused_svalues()
7947 model.set_to_new_unknown_value (model.get_lvalue (x, &ctxt), TREE_TYPE (x), in test_purge_unused_svalues()
7949 model.set_to_new_unknown_value (model.get_lvalue (x, &ctxt), TREE_TYPE (x), in test_purge_unused_svalues()
7951 model.add_constraint (x, NE_EXPR, int_42, &ctxt); in test_purge_unused_svalues()
7953 model.set_value (model.get_lvalue (x, &ctxt), in test_purge_unused_svalues()
7954 model.get_rvalue (int_42, &ctxt), in test_purge_unused_svalues()
7956 model.add_constraint (y, GT_EXPR, int_0, &ctxt); in test_purge_unused_svalues()
7960 model.purge_unused_svalues (&purged, NULL); in test_purge_unused_svalues()
7967 ASSERT_EQ (model.get_constraints ()->m_constraints.length (), 2); in test_purge_unused_svalues()
7970 ASSERT_EQ (model.eval_condition (x, EQ_EXPR, int_42, &ctxt), in test_purge_unused_svalues()
7974 ASSERT_EQ (model.eval_condition (y, GT_EXPR, int_0, &ctxt), in test_purge_unused_svalues()
7990 region_model model; in test_assignment() local
7991 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, int_0); in test_assignment()
7992 ASSERT_CONDITION_UNKNOWN (model, y, EQ_EXPR, int_0); in test_assignment()
7993 model.set_value (model.get_lvalue (y, NULL), in test_assignment()
7994 model.get_rvalue (int_0, NULL), in test_assignment()
7996 ASSERT_CONDITION_TRUE (model, y, EQ_EXPR, int_0); in test_assignment()
7997 ASSERT_CONDITION_TRUE (model, y, EQ_EXPR, x); in test_assignment()
7999 ASSERT_DUMP_EQ (model, true, "y: 0, {x}: unknown, x == y"); in test_assignment()
8023 region_model model; in test_compound_assignment() local
8024 model.set_value (c_x, int_17, NULL); in test_compound_assignment()
8025 model.set_value (c_y, int_m3, NULL); in test_compound_assignment()
8027 ASSERT_DUMP_EQ (model, true, "c.x: 17, c.y: -3"); in test_compound_assignment()
8030 model.copy_region (model.get_lvalue (d, NULL), model.get_lvalue (c, NULL), in test_compound_assignment()
8033 ASSERT_EQ (model.get_rvalue (c_x, NULL), model.get_rvalue (d_x, NULL)); in test_compound_assignment()
8034 ASSERT_EQ (model.get_rvalue (c_y, NULL), model.get_rvalue (d_y, NULL)); in test_compound_assignment()
8080 region_model model; in test_stack_frames() local
8084 = model.push_frame (DECL_STRUCT_FUNCTION (parent_fndecl), NULL, &ctxt); in test_stack_frames()
8085 ASSERT_EQ (model.get_current_frame_id (), parent_frame_rid); in test_stack_frames()
8086 region_id a_in_parent_rid = model.get_lvalue (a, &ctxt); in test_stack_frames()
8087 model.set_value (a_in_parent_rid, model.get_rvalue (int_42, &ctxt), &ctxt); in test_stack_frames()
8088 model.set_to_new_unknown_value (model.get_lvalue (b, &ctxt), in test_stack_frames()
8090 model.add_constraint (b, LT_EXPR, int_10, &ctxt); in test_stack_frames()
8091 ASSERT_EQ (model.eval_condition (b, LT_EXPR, int_10, &ctxt), in test_stack_frames()
8096 = model.push_frame (DECL_STRUCT_FUNCTION (child_fndecl), NULL, &ctxt); in test_stack_frames()
8097 ASSERT_EQ (model.get_current_frame_id (), child_frame_rid); in test_stack_frames()
8098 region_id x_in_child_rid = model.get_lvalue (x, &ctxt); in test_stack_frames()
8099 model.set_value (x_in_child_rid, model.get_rvalue (int_0, &ctxt), &ctxt); in test_stack_frames()
8100 model.set_to_new_unknown_value (model.get_lvalue (y, &ctxt), in test_stack_frames()
8102 model.add_constraint (y, NE_EXPR, int_5, &ctxt); in test_stack_frames()
8103 ASSERT_EQ (model.eval_condition (y, NE_EXPR, int_5, &ctxt), in test_stack_frames()
8107 region_id p_in_globals_rid = model.get_lvalue (p, &ctxt); in test_stack_frames()
8108 model.set_value (p_in_globals_rid, in test_stack_frames()
8109 model.get_or_create_ptr_svalue (ptr_type_node, in test_stack_frames()
8114 region_id q_in_globals_rid = model.get_lvalue (q, &ctxt); in test_stack_frames()
8115 model.set_value (q_in_globals_rid, in test_stack_frames()
8116 model.get_or_create_ptr_svalue (ptr_type_node, in test_stack_frames()
8121 region_id_set descendents (&model); in test_stack_frames()
8122 model.get_descendents (child_frame_rid, &descendents, region_id::null ()); in test_stack_frames()
8137 ASSERT_DUMP_EQ (model, true, in test_stack_frames()
8142 model.pop_frame (region_id::null (), true, &purged, &ctxt); in test_stack_frames()
8156 svalue *new_p_sval = model.get_svalue (model.get_rvalue (p, &ctxt)); in test_stack_frames()
8163 svalue *new_q_sval = model.get_svalue (model.get_rvalue (q, &ctxt)); in test_stack_frames()
8166 model.get_lvalue (p, &ctxt)); in test_stack_frames()
8169 ASSERT_EQ (model.get_current_frame_id (), parent_frame_rid); in test_stack_frames()
8173 svalue *new_a_sval = model.get_svalue (model.get_rvalue (a, &ctxt)); in test_stack_frames()
8178 ASSERT_EQ (model.eval_condition (b, LT_EXPR, int_10, &ctxt), in test_stack_frames()
8200 region_model model; in test_get_representative_path_var() local
8208 = model.push_frame (DECL_STRUCT_FUNCTION (fndecl), NULL, NULL); in test_get_representative_path_var()
8209 region_id rid_n = model.get_lvalue (path_var (n, depth), NULL); in test_get_representative_path_var()
8212 ASSERT_EQ (model.get_region (rid_n)->get_parent (), frame_rid); in test_get_representative_path_var()
8215 = model.set_to_new_unknown_value (rid_n, integer_type_node, NULL); in test_get_representative_path_var()
8223 ASSERT_EQ (model.get_representative_path_var (parm_rids[depth]), in test_get_representative_path_var()
8227 ASSERT_EQ (model.get_lvalue (path_var (n, depth), NULL), in test_get_representative_path_var()
8231 model.get_path_vars_for_svalue (parm_sids[depth], &pvs); in test_get_representative_path_var()
8327 region_model model; in test_canonicalization_4() local
8332 model.get_rvalue (cst, NULL); in test_canonicalization_4()
8334 model.canonicalize (NULL); in test_canonicalization_4()
8778 region_model model; in test_malloc_constraints() local
8784 region_id rid = model.add_new_malloc_region (); in test_malloc_constraints()
8785 svalue_id sid = model.get_or_create_ptr_svalue (ptr_type_node, rid); in test_malloc_constraints()
8786 model.set_value (model.get_lvalue (p, NULL), sid, NULL); in test_malloc_constraints()
8787 model.set_value (q, p, NULL); in test_malloc_constraints()
8790 region *pointee = model.get_region (rid); in test_malloc_constraints()
8795 ASSERT_CONDITION_UNKNOWN (model, p, NE_EXPR, null_ptr); in test_malloc_constraints()
8796 ASSERT_CONDITION_UNKNOWN (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
8797 ASSERT_CONDITION_UNKNOWN (model, q, NE_EXPR, null_ptr); in test_malloc_constraints()
8798 ASSERT_CONDITION_UNKNOWN (model, q, EQ_EXPR, null_ptr); in test_malloc_constraints()
8800 model.add_constraint (p, NE_EXPR, null_ptr, NULL); in test_malloc_constraints()
8805 ASSERT_CONDITION_TRUE (model, p, NE_EXPR, null_ptr); in test_malloc_constraints()
8806 ASSERT_CONDITION_FALSE (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
8807 ASSERT_CONDITION_TRUE (model, q, NE_EXPR, null_ptr); in test_malloc_constraints()
8808 ASSERT_CONDITION_FALSE (model, q, EQ_EXPR, null_ptr); in test_malloc_constraints()