Fix as suggested by Peter.

martin · martin · commit 8d9836d8deb2 · 2016-11-01T16:56:27.000Z
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`	`}`