Kotlin: Fix CFG for StmtExpr

igfoo · igfoo · commit 2135a870d35a · 2022-05-10T19:51:06.000+01:00
diff --git a/java/ql/lib/semmle/code/java/ControlFlowGraph.qll b/java/ql/lib/semmle/code/java/ControlFlowGraph.qll
@@ -609,6 +609,8 @@ private module ControlFlowGraphImpl {
     or
     result = n and n instanceof WhenBranch
     or
+    result = n and n instanceof StmtExpr
+    or
     result = n and n.(PostOrderNode).isLeafNode()
     or
     result = first(n.(PostOrderNode).firstChild())
