bug fix: the loop entrance node of DOWHILELOOP is the begin node, not the condition...

diff --git a/Robust/src/IR/Flat/BuildFlat.java b/Robust/src/IR/Flat/BuildFlat.java
index a600b71a66953ad1ceafc5585992d0c229f2571e..fb3b75d1d7cf8126054e4d920189ba538ec096ef 100644 (file)
--- a/Robust/src/IR/Flat/BuildFlat.java
+++ b/Robust/src/IR/Flat/BuildFlat.java
@@ -1452,7 +1452,7 @@ public class BuildFlat {
       breakset=oldbs;
       continueset=oldcs;
       if(ln.getLabel()!=null){
-        state.fn2labelMap.put(condition.getBegin(), ln.getLabel());
+        state.fn2labelMap.put(begin, ln.getLabel());
       }
       return new NodePair(begin,nopend);
     } else throw new Error();