bug fix: the loop entrance node of DOWHILELOOP is the begin node, not the condition...
authoryeom <yeom>
Fri, 19 Aug 2011 18:03:48 +0000 (18:03 +0000)
committeryeom <yeom>
Fri, 19 Aug 2011 18:03:48 +0000 (18:03 +0000)
Robust/src/IR/Flat/BuildFlat.java

index a600b71..fb3b75d 100644 (file)
@@ -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();