From 73adba02e4f824b1edff5b779cac35041ca3b274 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 3 Nov 2010 20:50:19 +0000
Subject: [PATCH] this check shows that some kind of array pointer is not what
 the assertion expected...

---
 Robust/src/IR/Flat/RuntimeConflictResolver.java | 3 +++
 1 file changed, 3 insertions(+)

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();
-- 
2.34.1