Skip to content

Commit 79f6a32

Browse files
cristina-davidtautschnig
authored andcommitted
Set function member for class identifier assignment
1 parent 6d5a14c commit 79f6a32

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/goto-programs/remove_instanceof.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -122,6 +122,7 @@ void remove_instanceoft::lower_instanceof(
122122
newinst->make_assignment();
123123
newinst->code=code_assignt(newsym.symbol_expr(), object_clsid);
124124
newinst->source_location=this_inst->source_location;
125+
newinst->function=this_inst->function;
125126

126127
// Insert the check instruction after the existing one.
127128
// This will briefly be ill-formed (use before def of

0 commit comments

Comments
 (0)