mp3decoder passes the loop termination analysis.

[IRC.git] / Robust / src / ClassLibrary / SSJava / String.java

diff --git a/Robust/src/ClassLibrary/SSJava/String.java b/Robust/src/ClassLibrary/SSJava/String.java
index 4734915fc9ae86aff15900076d239753e07c88ba..5f963399aa7367339848f523a3b73cad3d2c4c67 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/String.java
+++ b/Robust/src/ClassLibrary/SSJava/String.java
@@ -323,6 +323,7 @@ public class String {
       tmp = -x;
     else
       tmp = x;
+    TERMINATE:
     do {
       tmp = tmp / 10;
       length = length + 1;
@@ -341,6 +342,7 @@ public class String {
     } else
       voffset = 0;
 
+    TERMINATE:
     do {
       chararray[--length + voffset] = (char) (x % 10 + '0');
       x = x / 10;
@@ -366,6 +368,8 @@ public class String {
       tmp = -x;
     else
       tmp = x;
+    
+    TERMINATE:
     do {
       tmp = tmp / 10;
       length = length + 1;
@@ -384,6 +388,7 @@ public class String {
     } else
       voffset = 0;
 
+    TERMINATE:
     do {
       chararray[--length + voffset] = (char) (x % 10 + '0');
       x = x / 10;