From 32e3d3b7c0460bbdcd002a037ce7ea811815787a Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 5 Jun 2020 14:39:00 -0400 Subject: [PATCH 206/315] FIXME: reenable tests in test_assignment --- gcc/analyzer/region-model2.cc | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/gcc/analyzer/region-model2.cc b/gcc/analyzer/region-model2.cc index bec9f685376..7eef3037393 100644 --- a/gcc/analyzer/region-model2.cc +++ b/gcc/analyzer/region-model2.cc @@ -8795,17 +8795,13 @@ test_assignment () /* "x == 0", then use of y, then "y = 0;". */ region_model2_manager mgr; region_model2 model (&mgr); -#if 0 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, int_0); - ASSERT_CONDITION_UNKNOWN (model, y, EQ_EXPR, int_0); -#endif + ASSERT_CONDITION_UNKNOWN2 (model, y, EQ_EXPR, int_0); model.set_value (model.get_lvalue (y, NULL), model.get_rvalue (int_0, NULL), NULL); -#if 0 - ASSERT_CONDITION_TRUE (model, y, EQ_EXPR, int_0); - ASSERT_CONDITION_TRUE (model, y, EQ_EXPR, x); -#endif + ASSERT_CONDITION_TRUE2 (model, y, EQ_EXPR, int_0); + ASSERT_CONDITION_TRUE2 (model, y, EQ_EXPR, x); #if 0 ASSERT_DUMP_EQ (model, true, "y: 0, {x}: unknown, x == y"); -- 2.26.2