7 Commits (2715c47f19ba328460966c1107ef8efd571d9a9a)

Author SHA1 Message Date
Daniel Grunwald a40f0754c1 Add InvalidInstruction to represent invalid IL opcodes in the ILAst instead of crashing. 10 years ago
Daniel Grunwald 5998d39827 Fix bug in DataFlowVisitor.VisitSwitchInstruction 10 years ago
Daniel Grunwald f3d108c469 Add SplitVariables transforms. 10 years ago
Daniel Grunwald e21ad7c3e4 DataFlowVisitor: ignore MayThrow and consider every instruction to potentially throw. 10 years ago
Daniel Grunwald 79030f6ee8 DataFlowVisitor: rename IsUnreachable to IsBottom 10 years ago
Daniel Grunwald 1aaf7b3dc0 Fix bugs in data flow analysis. 10 years ago
Daniel Grunwald f5e66ff623 Extract reusable DataFlowVisitor from ReachingDefinitions; and add ILVariable.HasInitialValue. 10 years ago