rsz: avoid double-decrementing num_viols in LastGasp

Previously, when an endpoint met the slack margin inside the `better`
branch of the LastGasp pass loop, `--num_viols` ran but the loop did
not break. The next pass's start-of-loop margin check then decremented
`num_viols` a second time for the same endpoint.

Break the inner loop right after the in-`better` decrement to avoid
recounting. Mirrors the existing structure of the start-of-loop check.

Signed-off-by: Minju Kim <mkim@precisioninno.com>

Author: minjukim55

src/rsz/src/RepairSetup.cc

@@ -3013,6 +3013,9 @@ void RepairSetup::repairSetup_LastGasp(const OptoParams& params,
         prev_tns = curr_tns;
         if (sta::fuzzyGreaterEqual(end_slack, params.setup_slack_margin)) {
           --num_viols;
+          resizer_->journalEnd();
+          journal_open = false;
+          break;
         }
         resizer_->journalEnd();
         resizer_->journalBegin();

src/rsz/test/repair_setup_max_iter.ok

@@ -17,3 +17,15 @@
 ------------------------------------------------------------------------------------------------------------------------------
 [INFO RSZ-0051] Resized 1 instances: 1 up, 0 up match, 0 down, 0 VT
 [WARNING RSZ-0062] Unable to repair all setup violations.
+[INFO RSZ-0100] Repair move sequence: UnbufferMove SizeUpMove SwapPinsMove BufferMove CloneMove SplitLoadMove 
+[INFO RSZ-0094] Found 1 endpoints with setup violations.
+[INFO RSZ-0099] Repairing 1 out of 1 (100.00%) violating endpoints...
+[INFO RSZ-0221] Using custom phase sequence: LAST_GASP
+   Iter   | Removed | Resized | Inserted | Cloned |  Pin  |   Area   |    WNS   |   StTNS    |   EnTNS    |  Viol  |  Worst  
+          | Buffers |  Gates  | Buffers  |  Gates | Swaps |          |          |            |            | Endpts | St/EnPt 
+------------------------------------------------------------------------------------------------------------------------------
+       0* |       0 |       0 |        0 |      0 |     0 |    +0.0% |   -0.268 |       -0.3 |       -0.3 |      1 | r2/D
+       6* |       0 |       6 |        0 |      0 |     0 |    +3.2% |   -0.147 |       -0.1 |       -0.1 |      1 | r2/D
+    final |       0 |       6 |        0 |      0 |     0 |    +3.2% |   -0.147 |        0.0 |       -0.1 |      0 | r2/D
+------------------------------------------------------------------------------------------------------------------------------
+[INFO RSZ-0051] Resized 6 instances: 6 up, 0 up match, 0 down, 0 VT

src/rsz/test/repair_setup_max_iter.tcl

@@ -1,6 +1,5 @@
-# Regression: repair_timing -setup must not crash when -max_passes and
-# -max_iterations are small enough to exit the inner loop on a pass where the
-# `better` branch would otherwise leave the journal double-closed.
+# Regression for journal stack invariant at pass==max and LastGasp
+# num_viols double-decrement after accept-crosses-margin.
 source "helpers.tcl"
 read_liberty Nangate45/Nangate45_typ.lib
 read_lef Nangate45/Nangate45.lef
@@ -12,3 +11,4 @@ set_wire_rc -layer metal3
 estimate_parasitics -placement
 
 repair_timing -setup -max_passes 1 -max_iterations 1
+repair_timing -setup -phases LAST_GASP -setup_margin -0.15 -verbose