Predicate Cached::basic_block_member
Holds if node is the posth control-flow node in basic block bb.
Import path
import semmle.code.cpp.controlflow.BasicBlockspredicate basic_block_member(ControlFlowNode node, BasicBlock bb, int pos)Holds if node is the posth control-flow node in basic block bb.
import semmle.code.cpp.controlflow.BasicBlockspredicate basic_block_member(ControlFlowNode node, BasicBlock bb, int pos)