Fix another compilation error

owen-mc · owen-mc · commit a023fd9bb5c5 · 2024-11-13T16:15:23.000Z
diff --git a/java/ql/lib/semmle/code/java/ControlFlowGraph.qll b/java/ql/lib/semmle/code/java/ControlFlowGraph.qll
@@ -1395,7 +1395,7 @@ private module ControlFlowGraphImpl {
         switchExpr = switch.(SwitchStmt).getExpr() or switchExpr = switch.(SwitchExpr).getExpr()
       |
         // From the entry point control is transferred first to the expression...
-        n = switch.(AstNode).getCFGNode() and
+        (n.asStmt() = switch or n.asExpr() = switch) and
         result = first(switchExpr) and
         completion = NormalCompletion()
         or

Original file line number	Diff line number	Diff line change
`@@ -1395,7 +1395,7 @@ private module ControlFlowGraphImpl {`
`1395`	`1395`	`switchExpr = switch.(SwitchStmt).getExpr() or switchExpr = switch.(SwitchExpr).getExpr()`
`1396`	`1396`	`\|`
`1397`	`1397`	`// From the entry point control is transferred first to the expression...`
`1398`		`- n = switch.(AstNode).getCFGNode() and`
	`1398`	`+ (n.asStmt() = switch or n.asExpr() = switch) and`
`1399`	`1399`	`result = first(switchExpr) and`
`1400`	`1400`	`completion = NormalCompletion()`
`1401`	`1401`	`or`