Remove useless rename_expr calls

romainbrenguier · romainbrenguier · commit 061a0eb8959d · 2019-02-28T14:29:22.000Z
The return value was ignored and thus there was no use in making these calls.
diff --git a/src/goto-instrument/accelerate/acceleration_utils.cpp b/src/goto-instrument/accelerate/acceleration_utils.cpp
@@ -1120,13 +1120,11 @@ bool acceleration_utilst::assign_array(
   {
     replace_expr(
       loop_counter, from_integer(0, loop_counter.type()), lower_bound);
-    simplify_expr(lower_bound, ns);
   }
   else
   {
     replace_expr(
       loop_counter, from_integer(0, loop_counter.type()), upper_bound);
-    simplify_expr(upper_bound, ns);
   }
 
   if(stride==0)

Original file line number	Diff line number	Diff line change
`@@ -1120,13 +1120,11 @@ bool acceleration_utilst::assign_array(`
`1120`	`1120`	`{`
`1121`	`1121`	`replace_expr(`
`1122`	`1122`	`loop_counter, from_integer(0, loop_counter.type()), lower_bound);`
`1123`		`- simplify_expr(lower_bound, ns);`
`1124`	`1123`	`}`
`1125`	`1124`	`else`
`1126`	`1125`	`{`
`1127`	`1126`	`replace_expr(`
`1128`	`1127`	`loop_counter, from_integer(0, loop_counter.type()), upper_bound);`
`1129`		`- simplify_expr(upper_bound, ns);`
`1130`	`1128`	`}`
`1131`	`1129`
`1132`	`1130`	`if(stride==0)`