From 80d0f582ec1cac9a8817a17cc1e12f73603de4e0 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Mon, 20 Apr 2020 16:51:26 -0400 Subject: [PATCH 063/179] FIXME: first 7 __analyzer_eval of data-model1.c work --- gcc/analyzer/region-model2.cc | 15 +++------------ 1 file changed, 3 insertions(+), 12 deletions(-) diff --git a/gcc/analyzer/region-model2.cc b/gcc/analyzer/region-model2.cc index 06218ae8262..aacdf4ec261 100644 --- a/gcc/analyzer/region-model2.cc +++ b/gcc/analyzer/region-model2.cc @@ -3689,6 +3689,9 @@ region_model2::on_gassign (const supernode */*snode*/, case REAL_CST: case INTEGER_CST: case ARRAY_REF: + case SSA_NAME: /* LHS = VAR; */ + case VAR_DECL: /* LHS = VAR; */ + case PARM_DECL:/* LHS = VAR; */ { svalue2 *rhs_sval = get_rvalue (rhs1, ctxt); set_value (lhs_reg, rhs_sval, ctxt); @@ -3707,18 +3710,6 @@ region_model2::on_gassign (const supernode */*snode*/, } break; -#if 0 - case SSA_NAME: - case VAR_DECL: - case PARM_DECL: - { - /* LHS = VAR; */ - region2 *rhs_reg = get_lvalue (rhs1, ctxt); - copy_region2 (lhs_reg, rhs_reg, ctxt); - } - break; -#endif - case EQ_EXPR: case GE_EXPR: case LE_EXPR: -- 2.21.0