We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 89fc84d commit ddeae09Copy full SHA for ddeae09
cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll
@@ -162,7 +162,7 @@ module SemanticExprConfig {
162
predicate phi(SsaVariable v) { v.asInstruction() instanceof IR::PhiInstruction }
163
164
SsaVariable getAPhiInput(SsaVariable v) {
165
- exists(IR::PhiInstruction instr |
+ exists(IR::PhiInstruction instr | v.asInstruction() = instr |
166
result.asInstruction() = instr.getAnInput()
167
or
168
result.asOperand() = instr.getAnInputOperand()
0 commit comments