Home | History | Annotate | Download | only in analyzer

Lines Matching refs:model2

5440   region_model model2 (model0);
5441   ASSERT_EQ (model0, model2);
5442   ASSERT_EQ (model2.get_rvalue (x, NULL)->maybe_get_constant (), int_42);
5443   ASSERT_NE (model1, model2);
5447   model2.set_value (x, int_17, NULL);
5448   ASSERT_NE (model0, model2);
5449   ASSERT_EQ (model2.get_rvalue (x, NULL)->maybe_get_constant (), int_17);
6093   region_model model2 (&mgr);
6094   ASSERT_TRUE (model1.can_merge_with_p (model0, point, &model2));
6095   const svalue *merged_i = model2.get_rvalue (i, &ctxt);
6101   model2.add_constraint (i, LT_EXPR, int_256, &ctxt);
6102   ASSERT_EQ (model2.eval_condition (i, LT_EXPR, int_256, &ctxt),
6104   ASSERT_EQ (model2.eval_condition (i, GE_EXPR, int_0, &ctxt),
6109   ASSERT_TRUE (model2.can_merge_with_p (model0, point, &model3));
6119   ASSERT_EQ (model3, model2);
6123   ASSERT_EQ (model4, model2);
6138   ASSERT_TRUE (model5.can_merge_with_p (model2, point, &model6));