Extended simplify for byte_update, typing

tautschnig · tautschnig · commit ddd3d0318810 · 2017-11-06T14:09:02.000Z
diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp
@@ -2132,6 +2132,14 @@ bool simplify_exprt::simplify_byte_update(byte_update_exprt &expr)
 
       return false;
     }
+
+    if(result_expr.is_not_nil())
+    {
+      simplify_rec(result_expr);
+      expr.swap(result_expr);
+
+      return false;
+    }
   }
 
   // replace elements of array or struct expressions, possibly using

Original file line number	Diff line number	Diff line change
`@@ -2132,6 +2132,14 @@ bool simplify_exprt::simplify_byte_update(byte_update_exprt &expr)`
`2132`	`2132`
`2133`	`2133`	`return false;`
`2134`	`2134`	`}`
	`2135`	`+`
	`2136`	`+ if(result_expr.is_not_nil())`
	`2137`	`+ {`
	`2138`	`+ simplify_rec(result_expr);`
	`2139`	`+ expr.swap(result_expr);`
	`2140`	`+`
	`2141`	`+ return false;`
	`2142`	`+ }`
`2135`	`2143`	`}`
`2136`	`2144`
`2137`	`2145`	`// replace elements of array or struct expressions, possibly using`