Skip to content

Commit 2da9c09

Browse files
committed
Remove redundant compute_loop_numbers call
process_goto_program invokes goto_functions.update() right before, which itself invokes compute_loop_numbers(). Doing so twice is just a waste of time.
1 parent c351198 commit 2da9c09

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

src/goto-programs/process_goto_program.cpp

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -87,8 +87,5 @@ bool process_goto_program(
8787
// recalculate numbers, etc.
8888
goto_model.goto_functions.update();
8989

90-
// add loop ids
91-
goto_model.goto_functions.compute_loop_numbers();
92-
9390
return false;
9491
}

0 commit comments

Comments
 (0)