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

Member predicate RegisterOperand :: 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 ( )