From: jjenista <jjenista>
Date: Wed, 26 Oct 2011 15:38:49 +0000 (+0000)
Subject: restrict error injection to non-array primitive types so we can use a random value... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0599396c5a14fb708834334b9b70c961f25305e1;p=IRC.git

restrict error injection to non-array primitive types so we can use a random value instead of zero to get a wackier program behavior deviation
---

diff --git a/Robust/src/IR/Flat/BCXSSJavaInjectError.java b/Robust/src/IR/Flat/BCXSSJavaInjectError.java
index e4841114..603c505f 100644
--- a/Robust/src/IR/Flat/BCXSSJavaInjectError.java
+++ b/Robust/src/IR/Flat/BCXSSJavaInjectError.java
@@ -48,7 +48,7 @@ public class BCXSSJavaInjectError implements BuildCodeExtension {
   }
   
   public void additionalCodePostNode( FlatMethod fm, FlatNode fn, PrintWriter output ) {
-    
+
     TempDescriptor injectTarget = null;
     
     switch( fn.kind() ) {
@@ -58,7 +58,7 @@ public class BCXSSJavaInjectError implements BuildCodeExtension {
           injectTarget = fon.getDest();
         }
         break;
-      
+        
       case FKind.FlatFieldNode:
         injectTarget = ((FlatFieldNode) fn).getDst();
         break;
@@ -68,15 +68,21 @@ public class BCXSSJavaInjectError implements BuildCodeExtension {
         break;
     }
 
-    if( injectTarget != null ) {
+    if(  injectTarget != null                 && 
+         injectTarget.getType().isPrimitive() &&
+        !injectTarget.getType().isArray() 
+        ) {
       output.println("if( errorInjectionInit ) {");
       output.println("  int roll = rand() % "+nStr+";");
       output.println("  if( !"+errorInjectedStr+" && roll == 0 ) {" );
       output.println("    "+errorInjectedStr+" = 1;" );
-      output.println("    "+buildCode.generateTemp( fm, injectTarget )+" = 0;" );
-      output.println("    printf(\"SSJAVA: Injecting error ["+injectTarget+
-                     "=%d] at file:%s, func:%s, line:%d \\n\"" + 
-                     ", 0, __FILE__, __func__, __LINE__);");
+
+      // inject a random value
+      output.println("    "+buildCode.generateTemp( fm, injectTarget )+
+                     " = ("+injectTarget.getType().getSafeSymbol()+") rand();" );
+
+      output.println("    printf(\"SSJAVA: Injecting error at file:%s, func:%s, line:%d \\n\"" + 
+                     ", __FILE__, __func__, __LINE__);");
       output.println("  }" );
       output.println("}");
     }