We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 93bd380 commit b6faa20Copy full SHA for b6faa20
cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll
@@ -200,8 +200,8 @@ private predicate inheritanceConversionValueNumber(
200
instr.getEnclosingIRFunction() = irFunc and
201
instr.getOpcode() = opcode and
202
tvalueNumber(instr.getUnary()) = operand and
203
- unique( | | instr.(InheritanceConversionInstruction).getBaseClass()) = baseClass and
204
- unique( | | instr.(InheritanceConversionInstruction).getDerivedClass()) = derivedClass
+ unique( | | instr.getBaseClass()) = baseClass and
+ unique( | | instr.getDerivedClass()) = derivedClass
205
}
206
207
private predicate loadTotalOverlapValueNumber(
0 commit comments