From 6ebce2d0f522521b5eb1caec8c3ccc72dba91e6e Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Wed, 13 Feb 2008 18:46:35 +0000
Subject: [PATCH] bug fix for putfield on unresolved field

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2571 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../callgraph/propagation/PropagationCallGraphBuilder.java    | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PropagationCallGraphBuilder.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PropagationCallGraphBuilder.java
index f00095269..306e6757a 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PropagationCallGraphBuilder.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PropagationCallGraphBuilder.java
@@ -1306,7 +1306,9 @@ public abstract class PropagationCallGraphBuilder implements CallGraphBuilder {
           InstanceKey I = system.getInstanceKey(i);
           if (!representsNullType(I)) {
             PointerKey p = getPointerKeyForInstanceField(I, field);
-            sideEffect.b |= system.newConstraint(p, instance);
+            if (p != null) {
+              sideEffect.b |= system.newConstraint(p, instance);
+            }
           }
         }
       };