Merge pull request diffblue#4219 from peterschrammel/fix-revert-slice

tautschnig · web-flow · commit 9fccce4fbb29 · 2019-02-18T23:44:39.000Z
Fix revert-slice bug
diff --git a/src/goto-symex/slice.cpp b/src/goto-symex/slice.cpp
@@ -266,7 +266,7 @@ void simple_slice(symex_target_equationt &equation)
 void revert_slice(symex_target_equationt &equation)
 {
   // set ignore to false
-  for(auto step : equation.SSA_steps)
+  for(auto &step : equation.SSA_steps)
   {
     step.ignore = false;
   }

Original file line number	Diff line number	Diff line change
`@@ -266,7 +266,7 @@ void simple_slice(symex_target_equationt &equation)`
`266`	`266`	`void revert_slice(symex_target_equationt &equation)`
`267`	`267`	`{`
`268`	`268`	`// set ignore to false`
`269`		`- for(auto step : equation.SSA_steps)`
	`269`	`+ for(auto &step : equation.SSA_steps)`
`270`	`270`	`{`
`271`	`271`	`step.ignore = false;`
`272`	`272`	`}`