fix a bug in BitVectorVariable.copyState() involving empty vectors

2013-03-18 08:40:25 -07:00 · 2013-03-18 08:40:25 -07:00 · c9e1b2e587
parent 7c3e13d09f
commit c9e1b2e587
1 changed files with 2 additions and 0 deletions
--- a/com.ibm.wala.util/src/com/ibm/wala/fixpoint/BitVectorVariable.java
+++ b/com.ibm.wala.util/src/com/ibm/wala/fixpoint/BitVectorVariable.java
@ -42,6 +42,8 @@ public class BitVectorVariable extends AbstractVariable<BitVectorVariable> {
    }
    if (other.V != null) {
      V.copySet(other.V);
+    } else {
+      V = null;
    }
  }