Skip to content

Commit cb9ed32

Browse files
author
Daniel Kroening
committed
avoid construction followed by assignment
1 parent 2bc710f commit cb9ed32

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

jbmc/src/java_bytecode/remove_instanceof.cpp

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -210,8 +210,7 @@ bool remove_instanceoft::lower_instanceof(
210210
// If this is a branch target, add a skip beforehand so we can splice new
211211
// GOTO programs before the target instruction without inserting into the
212212
// wrong basic block.
213-
goto_program.insert_before_swap(target);
214-
*target = goto_programt::make_skip();
213+
goto_program.insert_before_swap(target, goto_programt::make_skip());
215214
// Actually alter the now-moved instruction:
216215
++target;
217216
}

0 commit comments

Comments
 (0)