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

SSA: Fix phi defs.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-10-27 11:22:18 +01:00
parent 374c77213f
commit 79b2f21b07
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1761,7 +1761,7 @@ module Make<
* ``` * ```
* a phi definition for `x` is inserted just before the call `puts x`. * a phi definition for `x` is inserted just before the call `puts x`.
*/ */
class SsaPhiDefinition extends SsaDefinition { class SsaPhiDefinition extends SsaDefinition instanceof PhiNode {
/** Holds if `inp` is an input to this phi definition along the edge originating in `bb`. */ /** Holds if `inp` is an input to this phi definition along the edge originating in `bb`. */
predicate hasInputFromBlock(SsaDefinition inp, BasicBlock bb) { predicate hasInputFromBlock(SsaDefinition inp, BasicBlock bb) {
phiHasInputFromBlockCached(this, inp, bb) phiHasInputFromBlockCached(this, inp, bb)