Class DeadInstructionViolation
An instruction that is not reachable from any entry point.
If this fails, it means that the calculation of the call graph is incorrect. Disabled, because Mono compiler sometimes emits dead instructions.
Import path
import semmle.code.cil.ConsistencyChecks
Direct supertypes
Indirect supertypes
Inherited fields
| instruction | from InstructionViolation | |
| node | from CfgViolation |