hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-06-03 04:40:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Shared CFG: allow init stmts for IfStmt

Browse Source
This commit is contained in:
Owen Mansel-Chan
2026-05-30 07:27:56 +01:00
parent e68a77db63
commit 6befac2412
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
View File

@@ -95,6 +95,9 @@ signature module AstSig<LocationSig Location> {
Stmt getElse();
}
/** Gets the initializer of this `if` statement, if any. */
default AstNode getIfInit(IfStmt ifstmt) { none() }
/**
* A loop statement. Loop statements are further subclassed into specific
* types of loops.
@@ -1529,6 +1532,13 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
or
exists(IfStmt ifstmt |
n1.isBefore(ifstmt) and
(
n2.isBefore(getIfInit(ifstmt))
or
not exists(getIfInit(ifstmt)) and n2.isBefore(ifstmt.getCondition())
)
or
n1.isAfter(getIfInit(ifstmt)) and
n2.isBefore(ifstmt.getCondition())
or
n1.isAfterTrue(ifstmt.getCondition()) and