print out a warning msg when we have a nondeterministic inlining.
authorYong hun eom <yeom@uci.edu>
Tue, 4 Jun 2013 21:28:03 +0000 (14:28 -0700)
committerYong hun eom <yeom@uci.edu>
Tue, 4 Jun 2013 21:28:03 +0000 (14:28 -0700)
Robust/src/Analysis/SSJava/LocationInference.java

index 0eff264..e826987 100644 (file)
@@ -1742,6 +1742,10 @@ public class LocationInference {
         // System.out.println("reachableCommonPrefixSet=" + reachableCommonPrefixSet);
 
         if (!reachableCommonPrefixSet.isEmpty()) {
+          
+          System.out.println("WARNING:: The algorithm is going to nondeterministicly inline " +
+                       " a cylce in between following prefixes="+reachableCommonPrefixSet +
+                       " for the current node="+node);
 
           MethodDescriptor curPrefixFirstElementMethodDesc =
               (MethodDescriptor) curPrefix.get(0).getDescriptor();