check remaining calls after removing the session checks, can be we are

not inlining some allowed calls but they are dead

Author: davleopo

substratevm/src/com.oracle.svm.hosted.foreign/src/com/oracle/svm/hosted/foreign/phases/SubstrateOptimizeSharedArenaAccessPhase.java

@@ -754,16 +754,6 @@ protected NodeBitMap cloneState(NodeBitMap oldState) {
      * are not needed any more.
      */
     private void cleanupClusterNodes(StructuredGraph graph, MidTierContext context, EconomicSet<DominatedCall> calls) {
-        if (VERIFY_NO_DOMINATED_CALLS) {
-            if (calls != null) {
-                for (DominatedCall call : calls) {
-                    if (call.invoke.isAlive()) {
-                        throw GraalError.shouldNotReachHere("After inserting all session checks call " + call.invoke + " was not inlined and could access a session");
-                    }
-                }
-            }
-        }
-
         for (MemoryArenaValidInScopeNode scopeNode : graph.getNodes().filter(MemoryArenaValidInScopeNode.class).snapshot()) {
             scopeNode.delete(0);
         }
@@ -775,6 +765,17 @@ private void cleanupClusterNodes(StructuredGraph graph, MidTierContext context,
         }
         canonicalizer.apply(graph, context);
         scheduleVerify(graph);
+
+        if (VERIFY_NO_DOMINATED_CALLS) {
+            if (calls != null) {
+                for (DominatedCall call : calls) {
+                    if (call.invoke.isAlive()) {
+                        throw GraalError.shouldNotReachHere("After inserting all session checks call " + call.invoke + " was not inlined and could access a session");
+                    }
+                }
+            }
+        }
+
     }
 
     /**