Skip to content

Commit a9f60fa

Browse files
committed
CFG: Exclude blocks from post-order in case they're Exprs.
1 parent f70e0b5 commit a9f60fa

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -571,7 +571,8 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
571571
not n instanceof LogicalNotExpr and
572572
not n instanceof ConditionalExpr and
573573
not n instanceof Switch and
574-
not n instanceof Case
574+
not n instanceof Case and
575+
not n instanceof BlockStmt
575576
}
576577

577578
/**

0 commit comments

Comments
 (0)