hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

SSA: Elaborate qldoc a bit.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-05-23 12:35:30 +02:00
parent 1d30103559
commit 893cb592b5
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
shared/ssa/codeql/ssa/Ssa.qll
View File

@@ -1579,6 +1579,14 @@ module Make<LocationSig Location, InputSig<Location> Input> {
* Holds if this guard evaluating to `branch` controls the control-flow * Holds if this guard evaluating to `branch` controls the control-flow
* branch edge from `bb1` to `bb2`. That is, following the edge from * branch edge from `bb1` to `bb2`. That is, following the edge from
* `bb1` to `bb2` implies that this guard evaluated to `branch`. * `bb1` to `bb2` implies that this guard evaluated to `branch`.
*
* This predicate differs from `hasBranchEdge` in that it also covers
* indirect guards, such as:
* ```
* b = guard;
* ...
* if (b) { ... }
* ```
*/ */
predicate controlsBranchEdge(BasicBlock bb1, BasicBlock bb2, boolean branch); predicate controlsBranchEdge(BasicBlock bb1, BasicBlock bb2, boolean branch);
} }