Merge pull request #288 from martin-cs/fix281

Daniel Kroening · web-flow · commit e9a8a02c73d6 · 2016-11-01T17:06:35.000Z
Fix as suggested by Peter.
diff --git a/src/pointer-analysis/value_set_fi.cpp b/src/pointer-analysis/value_set_fi.cpp
@@ -1719,7 +1719,7 @@ void value_set_fit::apply_code(
   else if(statement==ID_fence)
   {
   }
-  else if(statement==ID_input)
+  else if(statement==ID_input || statement==ID_output)
   {
 	  // doesn't do anything
   }

Original file line number	Diff line number	Diff line change
`@@ -1719,7 +1719,7 @@ void value_set_fit::apply_code(`
`1719`	`1719`	`else if(statement==ID_fence)`
`1720`	`1720`	`{`
`1721`	`1721`	`}`
`1722`		`- else if(statement==ID_input)`
	`1722`	`+ else if(statement==ID_input \|\| statement==ID_output)`
`1723`	`1723`	`{`
`1724`	`1724`	`// doesn't do anything`
`1725`	`1725`	`}`