if a static field is encountered, ignore it gracefully

diff --git a/Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java b/Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java
index d5439f032205a972675100e1a2c53bc7c956c2d0..50ce42e72957a77e18af17d6da038d92ae1b7ad3 100644 (file)
--- a/Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java
+++ b/Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java
@@ -677,10 +677,24 @@ public class BCXPointsToCheckVRuntime implements BuildCodeExtension {
       output.println( buildCode.strObjType+"* objOneHop;" );
       
       if( f != null ) {
-        output.println( "objOneHop = ("+buildCode.strObjType+"*) "+
-                        buildCode.generateTemp( context, x )+
-                        "->"+f.getSafeSymbol()+";");
+        if( f.isStatic() ) {
+
+          // jjenista - DON'T DEAL WITH THIS RIGHT NOW
+          //ClassDescriptor cdX = ;
+          //output.println( "objOneHop = ("+buildCode.strObjType+"*) "+
+          //                
+          //                "->"+f.getSafeSymbol()+";");          
+          output.println( "}" );
+          output.println( "}" );
+          return;
+
+        } else {
+          output.println( "objOneHop = ("+buildCode.strObjType+"*) "+
+                          buildCode.generateTemp( context, x )+
+                          "->"+f.getSafeSymbol()+";");
+        }
       } else {
+        // element access
         output.println( "objOneHop = ("+buildCode.strObjType+"*) "+
                         "((struct "+x.getType().dereference().getSafeSymbol()+"**)"+
                         "(((void*) &("+buildCode.generateTemp( context, x )+"->___length___))+sizeof(int)))"+