CodeQL library for C#
codeql/csharp-all 4.0.3-dev (changelog, source)
Search

Predicate signature InputSig::successorTypeIsCondition

Hold if t represents a conditional successor type.

signature predicate successorTypeIsCondition(SuccessorType t)