X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3DecoderInfer%2FLayerIIIDecoder.java;fp=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3DecoderInfer%2FLayerIIIDecoder.java;h=bd57283d15780f7c98f84901a5c5038f403c3127;hp=c022ba06dc86338fdd4db4064ad7fae21567b476;hb=16c9b68be88b7753b0b2a8b5766983ce06d0c2ad;hpb=fb05874138a200322015a06ddd9818a5bdd32f67

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LayerIIIDecoder.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LayerIIIDecoder.java
index c022ba06..bd57283d 100644
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LayerIIIDecoder.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LayerIIIDecoder.java
@@ -1950,7 +1950,24 @@ final class LayerIIIDecoder implements FrameDecoder {
     float tmpf_16;
     float tmpf_17;
 
-    tmpf_0 = tmpf_1 = tmpf_2 = tmpf_3 = tmpf_4 = tmpf_5 = tmpf_6 = tmpf_7 = tmpf_8 = tmpf_9 = tmpf_10 = tmpf_11 = tmpf_12 = tmpf_13 = tmpf_14 = tmpf_15 = tmpf_16 = tmpf_17 = 0.0f;
+    tmpf_0 = 0.0f;
+    tmpf_1 = 0.0f;
+    tmpf_2 = 0.0f;
+    tmpf_3 = 0.0f;
+    tmpf_4 = 0.0f;
+    tmpf_5 = 0.0f;
+    tmpf_6 = 0.0f;
+    tmpf_7 = 0.0f;
+    tmpf_8 = 0.0f;
+    tmpf_9 = 0.0f;
+    tmpf_10 = 0.0f;
+    tmpf_11 = 0.0f;
+    tmpf_12 = 0.0f;
+    tmpf_13 = 0.0f;
+    tmpf_14 = 0.0f;
+    tmpf_15 = 0.0f;
+    tmpf_16 = 0.0f;
+    tmpf_17 = 0.0f;
 
     if (block_type == 2) {
 
@@ -2382,7 +2399,7 @@ final class LayerIIIDecoder implements FrameDecoder {
    * 12, 13, 14, 15, 16, 17 };
    */
 
-  private static/* final */int reorder_table[][]/* = loadReorderTable() */; // SZD:
+  private static final int reorder_table[][]/* = loadReorderTable() */; // SZD:
 
   // will
   // be