An instruction that has a true/false successor but is not a branch.
Import path
import semmle.code.cil.ConsistencyChecks
Direct supertypes
Indirect supertypes
Inherited fields
instruction | from InstructionViolation | |
node | from CfgViolation |