Kotlin: Fix CFG for StmtExpr

2026-04-30 19:26:02 +02:00 · 2021-11-26 13:12:22 +00:00
parent 2e5cf92f8a
commit 2135a870d3
1 changed files with 2 additions and 0 deletions
--- 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())