CodeQL library for C/C++
Search

Member predicate BasicBlock::isLoopHeader

DEPRECATED since version 1.11: this predicate does not match the standard definition of loop header.

Holds if this basic block is in a loop of the control-flow graph and additionally has an incoming edge that is not part of any loop containing this basic block. A typical example would be the basic block that computes x > 0 in an outermost loop while (x > 0) { ... }.

predicate isLoopHeader()