Module Make::Consistency

Provides a set of consistency queries.

Import path

import codeql.controlflow.Cfg

breakInvariant2	Holds if splitting invariant 2 is violated.
breakInvariant3	Holds if splitting invariant 3 is violated.
breakInvariant4	Holds if splitting invariant 4 is violated.
breakInvariant5	Holds if splitting invariant 5 is violated.
deadEnd	Holds if `node` is lacking a successor.
multipleSuccessors	Holds if `node` has multiple successors of the same type `t`.
nonUniqueListOrder	Holds if `sk` has multiple integer representations.
nonUniqueSetRepresentation	Holds if `s1` and `s2` are distinct representations of the same set.
nonUniqueSplitKind	Holds if `split` has multiple kinds.
simpleAndNormalSuccessors	Holds if `node` has both a simple and a normal (non-simple) successor type.