Skip to content

Commit 0d7c4e8

Browse files
committed
instructiont::transform applies to function in function call
We previously only transformed the left-hand side and arguments, but skipped over the function itself. This omission became apparent when trying to run the upcoming SIMD1 test (added in a later commit, further bug fixes are necessary).
1 parent cf0037e commit 0d7c4e8

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

src/goto-programs/goto_program.cpp

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -974,6 +974,13 @@ void goto_programt::instructiont::transform(
974974
change = true;
975975
}
976976

977+
auto new_function = f(new_call.function());
978+
if(new_function.has_value())
979+
{
980+
new_call.function() = *new_function;
981+
change = true;
982+
}
983+
977984
for(auto &a : new_call.arguments())
978985
{
979986
auto new_a = f(a);

0 commit comments

Comments
 (0)