From: jjenista <jjenista>
Date: Wed, 3 Nov 2010 20:50:19 +0000 (+0000)
Subject: this check shows that some kind of array pointer is not what the assertion expected...
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=73adba02e4f824b1edff5b779cac35041ca3b274;p=IRC.git

this check shows that some kind of array pointer is not what the assertion expected...
---

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index e289a6da..afcb1272 100644
--- a/Robust/src/IR/Flat/RuntimeConflictResolver.java
+++ b/Robust/src/IR/Flat/RuntimeConflictResolver.java
@@ -718,6 +718,9 @@ public class RuntimeConflictResolver {
                           int depth) {
     StringBuilder currCase = possibleContinuingCase;
     if(qualifiesForCaseStatement(node)) {
+      if( !prefix.equals("ptr") ) {
+        System.out.println("Adding checker, decided "+node+" qualifies for case statement but expected ptr instead of prefix="+prefix);
+      }
       assert prefix.equals("ptr");
       assert !cases.containsKey(node.allocSite);
       currCase = new StringBuilder();