Skip to content

Commit

Permalink
Remove shortcut edge only if callFrom <> returnTo
Browse files Browse the repository at this point in the history
  • Loading branch information
gsvgit committed Dec 29, 2023
1 parent 79a8807 commit 90dc99f
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions VSharp.IL/CFG.fs
Original file line number Diff line number Diff line change
Expand Up @@ -577,8 +577,9 @@ type ApplicationGraph(getNextBasicBlockGlobalId,applicationGraphDelta:Applicatio

let added = callTo.IncomingCallEdges.Add callFrom
assert added
let removed = callFrom.OutgoingEdges.Remove CfgInfo.TerminalForCFGEdge //CallGraph.dummyTerminalForCallShortcut
assert removed
if callFrom <> returnTo then
let removed = callFrom.OutgoingEdges.Remove CfgInfo.TerminalForCFGEdge //CallGraph.dummyTerminalForCallShortcut
assert removed
else ()

let moveState (initialPosition: codeLocation) (stateWithNewPosition: IGraphTrackableState) =
Expand Down

0 comments on commit 90dc99f

Please sign in to comment.