Predicate MakeWithSplitting::Consistency::multipleSuccessors
Holds if node has multiple successors of the same type t.
Import path
import codeql.controlflow.Cfgpredicate multipleSuccessors(Node node, SuccessorType t, Node successor)Holds if node has multiple successors of the same type t.
import codeql.controlflow.Cfgpredicate multipleSuccessors(Node node, SuccessorType t, Node successor)