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

Predicate Cached::basic_block_entry_node

Any node that is the entry point of a primitive basic block is also the entry point of a basic block. In addition, all nodes with a primitive successor, where the predecessor has been pruned (that is, getAPredecessor() does not exist while a predecessor using the primitive successors_extended relation does exist), is also considered a basic block entry node.

Import path

import cpp
predicate basic_block_entry_node(ControlFlowNode node)