Add call edges even if cannot determine return edges.

PySymGym · Jan 6, 2024 · 590afee · 590afee
1 parent 90dc99f
commit 590afee
Showing 1 changed file with 8 additions and 7 deletions.
diff --git a/VSharp.IL/CFG.fs b/VSharp.IL/CFG.fs
@@ -551,14 +551,15 @@ type ApplicationGraph(getNextBasicBlockGlobalId,applicationGraphDelta:Applicatio
         if not <| callTo.IncomingCallEdges.Contains callFrom then
             let mutable returnTo = callFrom
             // if not exists then it should be from exception mechanism
-            if not callTarget.method.IsStaticConstructor && exists then
+            if (not callTarget.method.IsStaticConstructor) && exists then
                 returnTo <- callerMethodCfgInfo.ResolveBasicBlock location.ReturnTo
-                let exists, callEdges = callFrom.OutgoingEdges.TryGetValue dummyTerminalForCallEdge
-                if exists then
-                    let added = callEdges.Add callTo
-                    assert added
-                else
-                    callFrom.OutgoingEdges.Add(dummyTerminalForCallEdge, HashSet [|callTo|])
+
+            let exists, callEdges = callFrom.OutgoingEdges.TryGetValue dummyTerminalForCallEdge
+            if exists then
+                let added = callEdges.Add callTo
+                assert added
+            else
+                callFrom.OutgoingEdges.Add(dummyTerminalForCallEdge, HashSet [|callTo|])
 
             calledMethodCfgInfo.Sinks                
             |> ResizeArray.iter (fun returnFrom ->