CodeQL library for C/C++
codeql/cpp-all 1.1.0 (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()