CodeQL library for C/C++
codeql/cpp-all 0.9.2 ( changelog , source )

Member predicate PhiInputOperand :: getAnyDef

Gets the Instruction whose result is the value of the operand. Unlike getDef, this also has a result when isDefinitionInexact holds, which means that the resulting instruction may only partially or potentially be the value of this operand.

Instruction getAnyDef ( )