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

Predicate Cached::isInCycle

Holds if instr is part of a cycle in the operand graph that doesn’t go through a phi instruction and therefore should be impossible.

For performance reasons, this predicate is not implemented (never holds) for the SSA stages of the IR.

Import path

predicate isInCycle(Instruction instr)