Home
last modified time | relevance | path

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

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model.cc6122 region_model model4 (model3); in test_iteration_1() local
6123 ASSERT_EQ (model4, model2); in test_iteration_1()
6124 model4.set_value (i, build2 (PLUS_EXPR, integer_type_node, i, int_1), &ctxt); in test_iteration_1()
6125 const svalue *plus_one = model4.get_rvalue (i, &ctxt); in test_iteration_1()
6130 ASSERT_TRUE (model4.can_merge_with_p (model1, point, &model5)); in test_iteration_1()
6132 ASSERT_EQ (model5, model4); in test_iteration_1()