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

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 ( )