have an exceptional case that do not generate fine rentry when parent has a coarse...

[IRC.git] / Robust / src / Analysis / OoOJava / RBlockRelationAnalysis.java

diff --git a/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java b/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
index 73f90ced5e270fefbca8519908ddf408dfe63670..834fcee55cc0e0ef585e0adacda970da1f001adc 100644 (file)
--- a/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
+++ b/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
@@ -213,8 +213,8 @@ public class RBlockRelationAnalysis {
          itr.hasNext();
          ) {
       FlatSESEEnterNode fsen = itr.next();
-      
-      boolean hasNoNestedChildren = !fsen.getChildren().isEmpty();
+
+      boolean hasNoNestedChildren = fsen.getChildren().isEmpty();
       boolean hasNoChildrenByCall = !hasChildrenByCall( fsen );
 
       fsen.setIsLeafSESE( hasNoNestedChildren &&
@@ -244,7 +244,9 @@ public class RBlockRelationAnalysis {
         MethodDescriptor mdCallee  = fc.getMethod();
         Set              reachable = new HashSet();
 
+        reachable.add( mdCallee );
         reachable.addAll( callGraph.getAllMethods( mdCallee ) );
+
         reachable.retainAll( methodsContainingSESEs );
         
         if( !reachable.isEmpty() ) {