Home
last modified time | relevance | path

Searched refs:model0 (Results 1 – 6 of 6) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model.cc5429 region_model model0 (&mgr); in test_equality_1() local
5431 ASSERT_EQ (model0, model1); in test_equality_1()
5435 model0.set_value (x, int_42, NULL); in test_equality_1()
5436 ASSERT_EQ (model0.get_rvalue (x, NULL)->maybe_get_constant (), int_42); in test_equality_1()
5437 ASSERT_NE (model0, model1); in test_equality_1()
5440 region_model model2 (model0); in test_equality_1()
5441 ASSERT_EQ (model0, model2); in test_equality_1()
5448 ASSERT_NE (model0, model2); in test_equality_1()
5450 ASSERT_EQ (model0.get_rvalue (x, NULL)->maybe_get_constant (), int_42); in test_equality_1()
5468 region_model model0 (&mgr); in test_canonicalization_2() local
[all …]
H A Dprogram-state.cc1682 region_model *model0 = s0.m_region_model; in test_program_state_merging() local
1686 = model0->create_region_for_heap_alloc (size_in_bytes, NULL); in test_program_state_merging()
1688 model0->set_value (model0->get_lvalue (p, &ctxt), in test_program_state_merging()
1696 model0->canonicalize (); in test_program_state_merging()
1699 ASSERT_EQ (smap->get_state (model0->get_rvalue (p, NULL), ext_state), in test_program_state_merging()
H A Dconstraint-manager.cc3890 region_model model0 (&mgr); in test_equality() local
3893 constraint_manager *cm0 = model0.get_constraints (); in test_equality()
3899 ASSERT_EQ (model0.hash (), model1.hash ()); in test_equality()
3900 ASSERT_EQ (model0, model1); in test_equality()
3906 ASSERT_NE (model0.hash (), model1.hash ()); in test_equality()
3907 ASSERT_NE (model0, model1); in test_equality()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dregion-model.cc7846 region_model model0; in test_purging_by_criteria() local
7850 ASSERT_NE (model0, model1); in test_purging_by_criteria()
7862 ASSERT_EQ (*model0.get_constraints (), *model1.get_constraints ()); in test_purging_by_criteria()
7866 region_model model0; in test_purging_by_criteria() local
7870 ASSERT_NE (model0, model1); in test_purging_by_criteria()
7880 region_model model0; in test_purging_by_criteria() local
7885 ASSERT_NE (model0, model1); in test_purging_by_criteria()
7898 region_model model0; in test_purging_by_criteria() local
7903 ASSERT_NE (model0, model1); in test_purging_by_criteria()
7909 ASSERT_NE (model0, model1); in test_purging_by_criteria()
[all …]
H A Dprogram-state.cc1531 region_model *model0 = s0.m_region_model; in test_program_state_merging() local
1532 region_id new_rid = model0->add_new_malloc_region (); in test_program_state_merging()
1534 = model0->get_or_create_ptr_svalue (ptr_type_node, new_rid); in test_program_state_merging()
1535 model0->set_value (model0->get_lvalue (p, &ctxt), in test_program_state_merging()
1542 model0->canonicalize (&ctxt); in test_program_state_merging()
1545 ASSERT_EQ (smap->get_state (model0->get_rvalue (p, NULL)), TEST_STATE); in test_program_state_merging()
H A Dconstraint-manager.cc2168 region_model model0; in test_equality() local
2171 constraint_manager *cm0 = model0.get_constraints (); in test_equality()
2177 ASSERT_EQ (model0.hash (), model1.hash ()); in test_equality()
2178 ASSERT_EQ (model0, model1); in test_equality()
2184 ASSERT_NE (model0.hash (), model1.hash ()); in test_equality()
2185 ASSERT_NE (model0, model1); in test_equality()