change the debug mode for capturing null dereference to a global compilar option

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index d573dabfbb8bf1db9655e57ee1cecb07033b1b77..b1b8fd336cebbf818e33d84a2ce1f5e8a2add2b2 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -83,7 +83,9 @@ public class Main {
       if (option.equals("-precise"))
         IR.Flat.BuildCode.GENERATEPRECISEGC=true;
       else if (option.equals("-jni"))
       if (option.equals("-precise"))
         IR.Flat.BuildCode.GENERATEPRECISEGC=true;
       else if (option.equals("-jni"))

-        state.JNI=true;
+       state.JNI=true;
+      else if (option.equals("-capture-null-dereferences"))
+        state.CAPTURE_NULL_DEREFERENCES=true;

       else if (option.equals("-prefetch"))
         state.PREFETCH=true;
       else if (option.equals("-dir"))
       else if (option.equals("-prefetch"))
         state.PREFETCH=true;
       else if (option.equals("-dir"))