Java: Fix missing CFG edge for switch expressions.

aschackmull · aschackmull · commit a969dbc6ca1c · 2020-06-03T10:49:08.000+02:00
diff --git a/java/ql/src/semmle/code/java/ControlFlowGraph.qll b/java/ql/src/semmle/code/java/ControlFlowGraph.qll
@@ -578,6 +578,8 @@ private module ControlFlowGraphImpl {
     n instanceof Stmt and
     not n instanceof PostOrderNode and
     not n instanceof SynchronizedStmt
+    or
+    result = n and n instanceof SwitchExpr
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -578,6 +578,8 @@ private module ControlFlowGraphImpl {`
`578`	`578`	`n instanceof Stmt and`
`579`	`579`	`not n instanceof PostOrderNode and`
`580`	`580`	`not n instanceof SynchronizedStmt`
	`581`	`+ or`
	`582`	`+ result = n and n instanceof SwitchExpr`
`581`	`583`	`}`
`582`	`584`
`583`	`585`	`/**`