Skip to content

Commit 7326a50

Browse files
committed
Added ignore for input in value_set_fit::apply_code
To avoid fails
1 parent 5ff8fba commit 7326a50

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/pointer-analysis/value_set_fi.cpp

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1719,6 +1719,10 @@ void value_set_fit::apply_code(
17191719
else if(statement==ID_fence)
17201720
{
17211721
}
1722+
else if(statement==ID_input)
1723+
{
1724+
// doesn't do anything
1725+
}
17221726
else
17231727
throw
17241728
code.pretty()+"\n"+

0 commit comments

Comments
 (0)