Skip to content

Commit b575c89

Browse files
committed
Swift: add CurrentContextIsolationTree to control flow
1 parent 712142c commit b575c89

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

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

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1875,6 +1875,15 @@ module Exprs {
18751875
}
18761876
}
18771877

1878+
private class CurrentContextIsolationTree extends AstStandardPostOrderTree {
1879+
override CurrentContextIsolationExpr ast;
1880+
1881+
final override ControlFlowElement getChildNode(int i) {
1882+
i = 0 and
1883+
result.asAstNode() = ast.getActor().getFullyConverted()
1884+
}
1885+
}
1886+
18781887
module Conversions {
18791888
class ConversionOrIdentity =
18801889
Synth::TIdentityExpr or Synth::TExplicitCastExpr or Synth::TImplicitConversionExpr or

0 commit comments

Comments
 (0)