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