fix bugs
authorbdemsky <bdemsky>
Thu, 9 Apr 2009 08:20:51 +0000 (08:20 +0000)
committerbdemsky <bdemsky>
Thu, 9 Apr 2009 08:20:51 +0000 (08:20 +0000)
Robust/src/Analysis/Loops/LoopInvariant.java

index 3dfef6b869bebdb31d49e264ada70413e0486bc9..baa5c5521c4ca664a4ecf2cc60607767eebcf905 100644 (file)
@@ -147,7 +147,8 @@ public class LoopInvariant {
          continue nextfn;
        }
        //mark to hoist
-       hoisted.add(fn);
+       if (hoisted.add(fn))
+           changed=true;
        table.get(entrance).add(fn);
       }
     }