From ee3126afa8fdd59fb88e362853a27234141cdab4 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Wed, 15 Apr 2020 13:49:52 -0400 Subject: [PATCH 042/179] FIXME: WIP on on_stmt --- gcc/analyzer/region-model2.cc | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/gcc/analyzer/region-model2.cc b/gcc/analyzer/region-model2.cc index 5ad01e592d3..22cfe5e103d 100644 --- a/gcc/analyzer/region-model2.cc +++ b/gcc/analyzer/region-model2.cc @@ -3846,17 +3846,19 @@ region_model2::on_gassign (region_model2_manager *mgr, set_value (lhs_reg, rhs_sval, ctxt); } break; +#endif case REAL_CST: case INTEGER_CST: case ARRAY_REF: { /* LHS = RHS; */ - svalue2 *cst_sval = get_rvalue (rhs1, ctxt); - set_value (lhs_reg, cst_sval, ctxt); + svalue2 *rhs_sval = get_rvalue (mgr, rhs1, ctxt); + set_value (mgr, lhs_reg, rhs_sval, ctxt); } break; +#if 0 case FIX_TRUNC_EXPR: case FLOAT_EXPR: case NOP_EXPR: @@ -3956,6 +3958,8 @@ region_model2::on_gassign (region_model2_manager *mgr, break; #endif } + + return true; } /* Update this model for the CALL stmt, using CTXT to report any @@ -4341,6 +4345,7 @@ region_model2::on_greturn (region_model2_manager *mgr, copy_region (get_lvalue (mgr, lhs, ctxt), get_lvalue (mgr, rhs, ctxt), ctxt); + return true; } /* Update this model for a call and return of setjmp/sigsetjmp at CALL within -- 2.21.0