fixed another problem of the flow-down check. If an assignment statement has OP+EQ...

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
index d6dc322fb8d86a5d5069395daa1ccc73e9bac2cd..190fd65c3dc4e104b4a8ee2f204f842cbe0e8fd6 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
@@ -38,7 +38,7 @@
 // REVIEW: there is no range checking, so buffer underflow or overflow\r
 // can silently occur.\r
 @LATTICE("BUF<OFF,BUF<BIT,BIT*,OFF*")\r
-@METHODDEFAULT("OUT<THIS,THIS<IN,IN*,THISLOC=THIS,RETURNLOC=OUT")\r
+@METHODDEFAULT("OUT<THIS,THIS<IN,IN*,OUT*,THISLOC=THIS,RETURNLOC=OUT")\r
 final class BitReserve {\r
   /**\r
    * Size of the internal buffer to store the reserved bits. Must be a power of\r