Predicate MakeWithSplitting::Consistency::nonUniqueListOrder
Holds if sk has multiple integer representations.
Import path
import codeql.controlflow.Cfgpredicate nonUniqueListOrder(SplitKind sk, int ord)Holds if sk has multiple integer representations.
import codeql.controlflow.Cfgpredicate nonUniqueListOrder(SplitKind sk, int ord)