Made simplify remove unnecessary casts

thk123 · thk123 · commit c6387e983ed7 · 2017-06-29T12:14:25.000+01:00
diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp
@@ -367,6 +367,12 @@ bool simplify_exprt::simplify_typecast(exprt &expr)
       {
       }
     }
+    else
+    {
+      exprt smaller_width_value=expr.op0();
+      expr.swap(smaller_width_value);
+      return false;
+    }
   }
 
   // Push a numerical typecast into pointer arithmetic

Original file line number	Diff line number	Diff line change
`@@ -367,6 +367,12 @@ bool simplify_exprt::simplify_typecast(exprt &expr)`
`367`	`367`	`{`
`368`	`368`	`}`
`369`	`369`	`}`
	`370`	`+ else`
	`371`	`+ {`
	`372`	`+ exprt smaller_width_value=expr.op0();`
	`373`	`+ expr.swap(smaller_width_value);`
	`374`	`+ return false;`
	`375`	`+ }`
`370`	`376`	`}`
`371`	`377`
`372`	`378`	`// Push a numerical typecast into pointer arithmetic`