Give ErrorExpr default control flow

This prevents a CFG dead-end because of one ErrorExpr
2026-03-04 22:56:47 +01:00 · 2023-09-14 14:21:42 +01:00
parent b1e128b5c1
commit a1a7640427
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
@@ -477,6 +477,8 @@ private module ControlFlowGraphImpl {
      or
      this instanceof Call // includes both expressions and statements
      or
+      this instanceof ErrorExpr
+      or
      this instanceof ReturnStmt
      or
      this instanceof ThrowStmt