From ee58edef95fd72726630e87396161376d1475d6b Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Mon, 20 Apr 2020 16:57:25 -0400
Subject: [PATCH 064/179] FIXME: first 9 __analyzer_eval of data-model1.c work

---
 gcc/analyzer/region-model2.cc | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/gcc/analyzer/region-model2.cc b/gcc/analyzer/region-model2.cc
index aacdf4ec261..a5e9c05a377 100644
--- a/gcc/analyzer/region-model2.cc
+++ b/gcc/analyzer/region-model2.cc
@@ -3663,14 +3663,6 @@ region_model2::on_gassign (const supernode */*snode*/,
       }
       break;
 
-    case ADDR_EXPR:
-      {
-	/* LHS = &RHS;  */
-	svalue2 *ptr_sval = get_rvalue (rhs1, ctxt);
-	set_value (lhs_reg, ptr_sval, ctxt);
-      }
-      break;
-
     case MEM_REF:
       {
 	region2 *rhs_reg = get_lvalue (rhs1, ctxt);
@@ -3685,6 +3677,7 @@ region_model2::on_gassign (const supernode */*snode*/,
 	set_value (lvalue (LHS), rvalue (EXPR))
        for various EXPR.
        We already have the lvalue for the LHS above, as "lhs_reg".  */
+    case ADDR_EXPR: /* LHS = &RHS;  */
     case COMPONENT_REF: /* LHS = op0.op1;  */
     case REAL_CST:
     case INTEGER_CST:
-- 
2.21.0