Searched refs:model6 (Results 1 – 1 of 1) sorted by relevance
6137 region_model model6 (&mgr); in test_iteration_1() local6138 ASSERT_TRUE (model5.can_merge_with_p (model2, point, &model6)); in test_iteration_1()6139 const svalue *merged_widening = model6.get_rvalue (i, &ctxt); in test_iteration_1()6142 ASSERT_CONDITION_TRUE (model6, i, LT_EXPR, int_257); in test_iteration_1()