Introduce TypeFlow.FlowState

Author: d-kozak

substratevm/src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/PointsToAnalysis.java

@@ -216,11 +216,8 @@ public void registerUnsafeStore(UnsafeStoreTypeFlow unsafeStore) {
     /**
      * Force update of the unsafe loads and unsafe store type flows when a field is registered as
      * unsafe accessed 'on the fly', i.e., during the analysis.
-     *
-     * @param field the newly unsafe registered field. We use its declaring type to filter the
-     *            unsafe access flows that need to be updated.
      */
-    public void forceUnsafeUpdate(AnalysisField field) {
+    public void forceUnsafeUpdate() {
         if (analysisPolicy.useConservativeUnsafeAccess()) {
             return;
         }
@@ -239,7 +236,7 @@ public void forceUnsafeUpdate(AnalysisField field) {
              * update; an update of the receiver object flow will trigger an updated of the
              * observers, i.e., of the unsafe load.
              */
-            if (unsafeLoad.receiver().isFlowEnabled()) {
+            if (unsafeLoad.receiver().isActive()) {
                 this.postFlow(unsafeLoad.receiver());
             }
         }
@@ -254,7 +251,7 @@ public void forceUnsafeUpdate(AnalysisField field) {
              * update; an update of the receiver object flow will trigger an updated of the
              * observers, i.e., of the unsafe store.
              */
-            if (unsafeStore.receiver().isFlowEnabled()) {
+            if (unsafeStore.receiver().isActive()) {
                 this.postFlow(unsafeStore.receiver());
             }
         }

substratevm/src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/flow/DynamicNewInstanceTypeFlow.java

@@ -67,8 +67,8 @@ public TypeFlow<BytecodePosition> copy(PointsToAnalysis bb, MethodFlowsGraph met
 
     @Override
     public void initFlow(PointsToAnalysis bb) {
-        assert !bb.usePredicates() || newTypeFlow.getPredicate() != null || MethodFlowsGraph.nonMethodFlow(newTypeFlow) : "Missing predicate for the flow " + newTypeFlow + ", which is input for " +
-                        this;
+        assert !bb.usePredicates() || newTypeFlow.getPredicate() != null || MethodFlowsGraph.nonMethodFlow(newTypeFlow) || newTypeFlow.isFlowEnabled() : "Missing predicate for the flow " +
+                        newTypeFlow + ", which is input for " + this;
         newTypeFlow.addObserver(bb, this);
     }