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

Member predicate Instruction::isResultModeled

Holds if the result of this instruction is precisely modeled in SSA. Always holds for a register result. For a memory result, a modeled result is connected to its actual uses. An unmodeled result has no uses.

For example:

int x = 1;
int *p = &x;
int y = *p;

In non-aliased SSA, x will not be modeled because it has its address taken. In that case, isResultModeled() would not hold for the result of the Store to x.

predicate isResultModeled()