Skip to content

Commit b5f1296

Browse files
rdmarsh2MathiasVP
andauthored
Swift: Use getFullyConverted in CFG generation
Co-authored-by: Mathias Vorreiter Pedersen <[email protected]>
1 parent 77fd917 commit b5f1296

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

swift/ql/lib/codeql/swift/controlflow/internal/ControlFlowGraphImpl.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -558,13 +558,13 @@ module Stmts {
558558
or
559559
// or to the getNextCall if the condition is false.
560560
c instanceof FalseCompletion and
561-
astFirst(ast.getNextCall(), succ)
561+
astFirst(ast.getNextCall().getFullyConverted(), succ)
562562
)
563563
or
564564
// Flow from last element of loop body back to getNextCall
565565
astLast(ast.getBody(), pred, c) and
566566
c.continuesLoop(ast) and
567-
astFirst(ast.getNextCall(), succ)
567+
astFirst(ast.getNextCall().getFullyConverted(), succ)
568568
}
569569
}
570570
}

0 commit comments

Comments
 (0)