From 21e5bf6f0fc6a5c30d57467694c218fe32dfe9e3 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 5 Jun 2020 14:27:58 -0400 Subject: [PATCH 205/315] FIXME: reenable constraint tests in test_stack_frames --- gcc/analyzer/region-model2.cc | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/gcc/analyzer/region-model2.cc b/gcc/analyzer/region-model2.cc index 90febfce222..bec9f685376 100644 --- a/gcc/analyzer/region-model2.cc +++ b/gcc/analyzer/region-model2.cc @@ -8907,10 +8907,10 @@ test_stack_frames () #if 0 model.set_to_new_unknown_value (model.get_lvalue (b, &ctxt), integer_type_node, &ctxt); +#endif model.add_constraint (b, LT_EXPR, int_10, &ctxt); ASSERT_EQ (model.eval_condition (b, LT_EXPR, int_10, &ctxt), tristate (tristate::TS_TRUE)); -#endif /* Push stack frame for "child_fn". */ const region2 *child_frame_reg @@ -8923,10 +8923,10 @@ test_stack_frames () #if 0 model.set_to_new_unknown_value (model.get_lvalue (y, &ctxt), integer_type_node, &ctxt); +#endif model.add_constraint (y, NE_EXPR, int_5, &ctxt); ASSERT_EQ (model.eval_condition (y, NE_EXPR, int_5, &ctxt), tristate (tristate::TS_TRUE)); -#endif /* Point a global pointer at a local in the child frame: p = &x. */ const region2 *p_in_globals_reg = model.get_lvalue (p, &ctxt); @@ -9006,10 +9006,8 @@ test_stack_frames () ASSERT_EQ (new_a_sval->dyn_cast_constant_svalue2 ()->get_constant (), int_42); /* Verify "b" still has its constraint. */ -#if 0 ASSERT_EQ (model.eval_condition (b, LT_EXPR, int_10, &ctxt), tristate (tristate::TS_TRUE)); -#endif } /* Verify that get_representative_path_var works as expected, that -- 2.26.2