Home
last modified time | relevance | path

Searched refs:model1 (Results 1 – 4 of 4) sorted by relevance

/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dregion-model.cc7847 region_model model1; in test_purging_by_criteria() local
7849 ADD_SAT_CONSTRAINT (model1, x, EQ_EXPR, y); in test_purging_by_criteria()
7850 ASSERT_NE (model0, model1); in test_purging_by_criteria()
7853 purge_one_svalue_id px (model1, x); in test_purging_by_criteria()
7854 model1.get_constraints ()->purge (px, &stats_for_px); in test_purging_by_criteria()
7858 purge_one_svalue_id py (model1.get_rvalue (y, NULL)); in test_purging_by_criteria()
7859 model1.get_constraints ()->purge (py, &stats_for_py); in test_purging_by_criteria()
7862 ASSERT_EQ (*model0.get_constraints (), *model1.get_constraints ()); in test_purging_by_criteria()
7867 region_model model1; in test_purging_by_criteria() local
7869 ADD_SAT_CONSTRAINT (model1, x, EQ_EXPR, int_42); in test_purging_by_criteria()
[all …]
H A Dconstraint-manager.cc2169 region_model model1; in test_equality() local
2172 constraint_manager *cm1 = model1.get_constraints (); in test_equality()
2177 ASSERT_EQ (model0.hash (), model1.hash ()); in test_equality()
2178 ASSERT_EQ (model0, model1); in test_equality()
2180 ADD_SAT_CONSTRAINT (model1, x, EQ_EXPR, y); in test_equality()
2184 ASSERT_NE (model0.hash (), model1.hash ()); in test_equality()
2185 ASSERT_NE (model0, model1); in test_equality()
2194 ASSERT_EQ (model1.hash (), model2.hash ()); in test_equality()
2195 ASSERT_EQ (model1, model2); in test_equality()
/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model.cc5430 region_model model1 (&mgr); in test_equality_1() local
5431 ASSERT_EQ (model0, model1); in test_equality_1()
5437 ASSERT_NE (model0, model1); in test_equality_1()
5443 ASSERT_NE (model1, model2); in test_equality_1()
5476 region_model model1 (&mgr); in test_canonicalization_2() local
5477 model1.set_value (model1.get_lvalue (y, NULL), in test_canonicalization_2()
5478 model1.get_rvalue (int_113, NULL), in test_canonicalization_2()
5480 model1.set_value (model1.get_lvalue (x, NULL), in test_canonicalization_2()
5481 model1.get_rvalue (int_42, NULL), in test_canonicalization_2()
5484 ASSERT_EQ (model0, model1); in test_canonicalization_2()
[all …]
H A Dconstraint-manager.cc3891 region_model model1 (&mgr); in test_equality() local
3894 constraint_manager *cm1 = model1.get_constraints (); in test_equality()
3899 ASSERT_EQ (model0.hash (), model1.hash ()); in test_equality()
3900 ASSERT_EQ (model0, model1); in test_equality()
3902 ADD_SAT_CONSTRAINT (model1, x, EQ_EXPR, y); in test_equality()
3906 ASSERT_NE (model0.hash (), model1.hash ()); in test_equality()
3907 ASSERT_NE (model0, model1); in test_equality()
3916 ASSERT_EQ (model1.hash (), model2.hash ()); in test_equality()
3917 ASSERT_EQ (model1, model2); in test_equality()