projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3b1df8b
)
fix bugs
author
bdemsky
<bdemsky>
Thu, 9 Apr 2009 08:20:51 +0000
(08:20 +0000)
committer
bdemsky
<bdemsky>
Thu, 9 Apr 2009 08:20:51 +0000
(08:20 +0000)
Robust/src/Analysis/Loops/LoopInvariant.java
patch
|
blob
|
history
diff --git
a/Robust/src/Analysis/Loops/LoopInvariant.java
b/Robust/src/Analysis/Loops/LoopInvariant.java
index 3dfef6b869bebdb31d49e264ada70413e0486bc9..baa5c5521c4ca664a4ecf2cc60607767eebcf905 100644
(file)
--- a/
Robust/src/Analysis/Loops/LoopInvariant.java
+++ b/
Robust/src/Analysis/Loops/LoopInvariant.java
@@
-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);
}
}