Expression simplification must not alter the type

tautschnig · tautschnig · commit 010deea15836 · 2019-02-13T12:23:08.000Z
diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp
@@ -2476,6 +2476,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
`@@ -2476,6 +2476,7 @@ bool simplify_exprt::simplify_rec(exprt &expr)`
`2476`	`2476`
`2477`	`2477`	`if(!result)`
`2478`	`2478`	`{`
	`2479`	`+ POSTCONDITION(tmp.type() == expr.type());`
`2479`	`2480`	`expr.swap(tmp);`
`2480`	`2481`
`2481`	`2482`	`#ifdef USE_CACHE`