From 999faf5c1b5931b20cc412805a5453c188d2d7e0 Mon Sep 17 00:00:00 2001
From: Ben Liblit <liblit@acm.org>
Date: Sun, 22 Sep 2024 18:03:37 -0400
Subject: [PATCH] Replace while loop with simpler do/while loop

---
 core/src/main/java/com/ibm/wala/ssa/SSACFG.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/core/src/main/java/com/ibm/wala/ssa/SSACFG.java b/core/src/main/java/com/ibm/wala/ssa/SSACFG.java
index 6301c08b1..c10e398b1 100644
--- a/core/src/main/java/com/ibm/wala/ssa/SSACFG.java
+++ b/core/src/main/java/com/ibm/wala/ssa/SSACFG.java
@@ -472,10 +472,9 @@ public boolean hasNext() {
         @Override
         public SSAInstruction next() {
           SSAInstruction i = instructions[start];
-          start++;
-          while (start <= end && instructions[start] == null) {
+          do {
             start++;
-          }
+          } while (start <= end && instructions[start] == null);
           return i;
         }