Skip to content

Commit a1a7640

Browse files
committed
Give ErrorExpr default control flow
This prevents a CFG dead-end because of one ErrorExpr
1 parent b1e128b commit a1a7640

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

java/ql/lib/semmle/code/java/ControlFlowGraph.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -477,6 +477,8 @@ private module ControlFlowGraphImpl {
477477
or
478478
this instanceof Call // includes both expressions and statements
479479
or
480+
this instanceof ErrorExpr
481+
or
480482
this instanceof ReturnStmt
481483
or
482484
this instanceof ThrowStmt

0 commit comments

Comments
 (0)