Kotlin: BreakStmt CFG isn't handled properly yet

igfoo · igfoo · commit db7f5a04be3a · 2022-05-10T19:51:07.000+01:00
diff --git a/java/ql/consistency-queries/cfgDeadEnds.ql b/java/ql/consistency-queries/cfgDeadEnds.ql
@@ -2,7 +2,7 @@ import java
 import semmle.code.java.ControlFlowGraph
 
 predicate shouldBeDeadEnd(ControlFlowNode n) {
-  n.getFile().getExtension() = "kt" or // Kotlin currently has bugs
+  n instanceof BreakStmt and n.getFile().getExtension() = "kt" or // TODO
   n instanceof Interface or // TODO
   n instanceof Class or // TODO
   n instanceof Parameter or // TODO
