Home
last modified time | relevance | path

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

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model.cc5440 region_model model2 (model0); in test_equality_1() local
5441 ASSERT_EQ (model0, model2); in test_equality_1()
5442 ASSERT_EQ (model2.get_rvalue (x, NULL)->maybe_get_constant (), int_42); in test_equality_1()
5443 ASSERT_NE (model1, model2); in test_equality_1()
5447 model2.set_value (x, int_17, NULL); in test_equality_1()
5448 ASSERT_NE (model0, model2); in test_equality_1()
5449 ASSERT_EQ (model2.get_rvalue (x, NULL)->maybe_get_constant (), int_17); in test_equality_1()
6093 region_model model2 (&mgr); in test_iteration_1() local
6094 ASSERT_TRUE (model1.can_merge_with_p (model0, point, &model2)); in test_iteration_1()
6095 const svalue *merged_i = model2.get_rvalue (i, &ctxt); in test_iteration_1()
[all …]
H A Dconstraint-manager.cc3909 region_model model2 (&mgr); in test_equality() local
3910 constraint_manager *cm2 = model2.get_constraints (); in test_equality()
3912 ADD_SAT_CONSTRAINT (model2, x, EQ_EXPR, y); in test_equality()
3916 ASSERT_EQ (model1.hash (), model2.hash ()); in test_equality()
3917 ASSERT_EQ (model1, model2); in test_equality()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dconstraint-manager.cc2187 region_model model2; in test_equality() local
2188 constraint_manager *cm2 = model2.get_constraints (); in test_equality()
2190 ADD_SAT_CONSTRAINT (model2, x, EQ_EXPR, y); 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/gdb/dist/sim/m32r/
H A DChangeLog-2021222 (m32r2.o, mloop2.o, cpu2.o, decode2.o, sem2.o, model2.o): Remove.
451 * model2.c, modelx.c: Likewise.
689 * model.c, * model2.c, * modelx.c,
700 * decodex.c, * decodex.h, * model.c, * model2.c, * modelx.c,
735 * model2.c: Regenerate.
748 (cpu2.h, sem2-switch.c, model2.c, decode2.c, decode2.h): Ditto.
873 * model2.c: Likewise.