Expression simplification must not alter the type

tautschnig · tautschnig · commit c564c2cdf6b4 · 2019-03-07T07:04:49.000Z
diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp
@@ -2548,6 +2548,7 @@ bool simplify_exprt::simplify_rec(exprt &expr)
 
   if(!result)
   {
+    POSTCONDITION(tmp.type() == expr.type());
     expr.swap(tmp);
 
     #ifdef USE_CACHE

Original file line number	Diff line number	Diff line change
`@@ -2548,6 +2548,7 @@ bool simplify_exprt::simplify_rec(exprt &expr)`
`2548`	`2548`
`2549`	`2549`	`if(!result)`
`2550`	`2550`	`{`
	`2551`	`+ POSTCONDITION(tmp.type() == expr.type());`
`2551`	`2552`	`expr.swap(tmp);`
`2552`	`2553`
`2553`	`2554`	`#ifdef USE_CACHE`