add PCLOC annotations. all three benchmarks are type-checked now.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / huffcodetab.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/huffcodetab.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/huffcodetab.java
index 4442b8d20a2cba620c21a307ed56ef5c338b867b..ae59051bd203779f7c3c609cceb90712823dae91 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/huffcodetab.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/huffcodetab.java
@@ -508,6 +508,7 @@ final class huffcodetab {
    */\r
   @LATTICE("OUT<V1,THIS<V1,V1<V,V<IN,IN<C,C*,V*,THISLOC=THIS,GLOBALLOC=IN")\r
   @RETURNLOC("OUT,BitReserve.BIT")\r
+  @PCLOC("OUT,BitReserve.BIT")\r
   public static int huffman_decoder(@LOC("THIS,LayerIIIDecoder.SI2") int htIdx,\r
       @LOC("OUT,BitReserve.BIT") int[] x, @LOC("OUT,BitReserve.BIT") int[] y,\r
       @LOC("OUT,BitReserve.BIT") int[] v, @LOC("OUT,BitReserve.BIT") int[] w,\r