Predicate Make0::Make1::Make2::Additional::Consistency::selfLoop
Holds if node has a self-loop with successor type t.
Self-loops are not expected in control flow graphs.
Import path
import codeql.controlflow.ControlFlowGraphpredicate selfLoop(ControlFlowNode node, SuccessorType t)