From: jjenista <jjenista>
Date: Fri, 11 Mar 2011 23:20:52 +0000 (+0000)
Subject: bug fixes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e8e59ae8781396cdd406d45b724e9794d636142c;p=IRC.git

bug fixes
---

diff --git a/Robust/src/IR/Flat/BuildOoOJavaCode.java b/Robust/src/IR/Flat/BuildOoOJavaCode.java
index eebfa308..12807e31 100644
--- a/Robust/src/IR/Flat/BuildOoOJavaCode.java
+++ b/Robust/src/IR/Flat/BuildOoOJavaCode.java
@@ -1555,7 +1555,7 @@ public class BuildOoOJavaCode extends BuildCode {
     // new task and insert it into the appropriate parent queues
     assert newChild.getParents().size() > 0;
 
-    output.println("     switch( seseToIssue->common.classID ) {");
+    output.println("     switch( runningSESE->classID ) {");
 
     Iterator<FlatSESEEnterNode> pItr = newChild.getParents().iterator();
     while( pItr.hasNext() ) {
@@ -1657,13 +1657,13 @@ public class BuildOoOJavaCode extends BuildCode {
             output.println("       if(!dispCount"+i+" || !atomic_sub_and_test(dispCount"+i+",&(seseToIssue->rcrRecords["+i+"].flag)))");
             output.println("         localCount++;");
           }
-          output.println("      }");
+          output.println("      } break;");
         }
       }
     }
 
     output.println("       default: {");
-    output.println("         printf(\"Error: unknown SESE class ID in dispatchMEMRC.\\n\");");
+    output.println("         printf(\"Error: unknown SESE class ID %d in dispatchMEMRC.\\n\", runningSESE->classID);");
     output.println("         exit( -1 );");
     output.println("       }");
     output.println("     } // end switch");