mp3decoder passes the loop termination analysis.

[IRC.git] / Robust / src / Tests / ssJava / mp3decoder / SynthesisFilter.java

diff --git a/Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java b/Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java
index bc86eb80a14b881b6a3ed703014e1a58c73622c1..0882baccb16f5cdaecbb7f02715725c3679eeb68 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java
@@ -125,6 +125,7 @@ final class SynthesisFilter {
   }\r
 \r
   public void input_samples(@LOC("IN") float[] s) {\r
+    TERMINATE:\r
     for (@LOC("C") int i = 31; i >= 0; i--) {\r
       samples[i] = s[i] * eq[i];\r
     }\r