Remove failing assertion

oracle · Jun 11, 2021 · 3a71725 · 3a71725
1 parent 8799187
commit 3a71725
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/.../src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/flow/SourceTypeFlowBase.java b/.../src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/flow/SourceTypeFlowBase.java
@@ -137,10 +137,4 @@ public boolean addState(BigBang bb, TypeState add) {
         assert this.isClone();
         return super.addState(bb, add);
     }
-
-    @Override
-    public void update(BigBang bb) {
-        assert !getState().isEmpty() : "why update when state is still empty?";
-        super.update(bb);
-    }
 }