Skip to content

Commit d5a2387

Browse files
committed
Shared/Cfg: Fix missing JoinBlockPredecessor.
1 parent 4f8166a commit d5a2387

File tree

1 file changed

+6
-0
lines changed
  • shared/controlflow/codeql/controlflow

1 file changed

+6
-0
lines changed

shared/controlflow/codeql/controlflow/Cfg.qll

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1020,6 +1020,12 @@ module MakeWithSplitting<
10201020
not jbp instanceof BasicBlocks::EntryBasicBlock and
10211021
id = idOfAstNode(jbp.getFirstNode().(AstCfgNode).getAstNode()) and
10221022
kind = 1
1023+
or
1024+
exists(AnnotatedExitNode aen |
1025+
jbp.getFirstNode() = aen and
1026+
id = idOfCfgScope(aen.getScope()) and
1027+
if aen.isNormal() then kind = 2 else kind = 3
1028+
)
10231029
}
10241030

10251031
string getSplitString(BasicBlocks::JoinPredecessorBasicBlock jbp) {

0 commit comments

Comments
 (0)