Swift: Include 'any!' in the the CFG tree for 'any' expressions.

MathiasVP · MathiasVP · commit 06fecf3869ec · 2022-08-09T15:12:31.000+01:00
diff --git a/swift/ql/lib/codeql/swift/controlflow/internal/ControlFlowGraphImpl.qll b/swift/ql/lib/codeql/swift/controlflow/internal/ControlFlowGraphImpl.qll
@@ -1676,8 +1676,8 @@ module Exprs {
     }
   }
 
-  private class TryTree extends AstStandardPostOrderTree {
-    override TryExpr ast;
+  private class AnyTryTree extends AstStandardPostOrderTree {
+    override AnyTryExpr ast;
 
     override ControlFlowElement getChildElement(int i) {
       i = 0 and

Original file line number	Diff line number	Diff line change
`@@ -1676,8 +1676,8 @@ module Exprs {`
`1676`	`1676`	`}`
`1677`	`1677`	`}`
`1678`	`1678`
`1679`		`- private class TryTree extends AstStandardPostOrderTree {`
`1680`		`- override TryExpr ast;`
	`1679`	`+ private class AnyTryTree extends AstStandardPostOrderTree {`
	`1680`	`+ override AnyTryExpr ast;`
`1681`	`1681`
`1682`	`1682`	`override ControlFlowElement getChildElement(int i) {`
`1683`	`1683`	`i = 0 and`