Expression simplification must not alter the type

tautschnig · tautschnig · commit c58121d351b8 · 2019-03-03T00:04:00.000Z
diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp
@@ -2542,6 +2542,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
`@@ -2542,6 +2542,7 @@ bool simplify_exprt::simplify_rec(exprt &expr)`
`2542`	`2542`
`2543`	`2543`	`if(!result)`
`2544`	`2544`	`{`
	`2545`	`+ POSTCONDITION(tmp.type() == expr.type());`
`2545`	`2546`	`expr.swap(tmp);`
`2546`	`2547`
`2547`	`2548`	`#ifdef USE_CACHE`