X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2FssJava%2Fmp3decoder%2FBitReserve.java;h=15f4a068c2f5058091e0a1fa8f0c3e49aebe70f6;hp=e4167f00b0048a7c334801c46521dfba40f69068;hb=ae167f46cf7dc9319b2614e41e73996110fb7afa;hpb=0a0997c699554c22f0bfb3e29d34a7de5cda3af3

diff --git a/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java b/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java
index e4167f00..15f4a068 100644
--- a/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java
@@ -93,11 +93,13 @@ final class BitReserve {
 
     @LOC("THIS,BitReserve.BIT") int pos = buf_byte_idx;
     if (pos + N < BUFSIZE) {
+      TERMINATE:
       while (N-- > 0) {
         val <<= 1;
         val |= ((buf[pos++] != 0) ? 1 : 0);
       }
     } else {
+      TERMINATE:
       while (N-- > 0) {
         val <<= 1;
         val |= ((buf[pos] != 0) ? 1 : 0);