1 write to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
3845this.ReachabilityDecisionDag = reachabilityDecisionDag;
12 references to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (8)
BoundTree\BoundSwitchStatement.cs (1)
14BoundDecisionDag decisionDag = this.ReachabilityDecisionDag;
FlowAnalysis\AbstractFlowPass_Switch.cs (2)
46var reachableLabels = node.ReachabilityDecisionDag.ReachableLabels; 74if (node.ReachabilityDecisionDag.ReachableLabels.Contains(node.BreakLabel) ||
FlowAnalysis\NullableWalker_Patterns.cs (1)
300var labelStateMap = LearnFromDecisionDag(node.Syntax, node.ReachabilityDecisionDag, node.Expression, expressionState, stateWhenNotNullOpt: null);
Generated\BoundNodes.xml.Generated.cs (4)
3863if (expression != this.Expression || innerLocals != this.InnerLocals || innerLocalFunctions != this.InnerLocalFunctions || switchSections != this.SwitchSections || reachabilityDecisionDag != this.ReachabilityDecisionDag || defaultLabel != this.DefaultLabel || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(breakLabel, this.BreakLabel)) 11728BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 13893BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 16339new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }),
Microsoft.CodeAnalysis.CSharp.Emit3.UnitTests (3)
Semantics\PatternMatchingTests4.cs (3)
4040", boundSwitch.ReachabilityDecisionDag.Dump()); 4126", boundSwitch.ReachabilityDecisionDag.Dump()); 4207", boundSwitch.ReachabilityDecisionDag.Dump());
Microsoft.CodeAnalysis.CSharp.Test.Utilities (1)
CSharpTestBase.cs (1)
3310decisionDag = forLowering ? b.GetDecisionDagForLowering((CSharpCompilation)comp) : b.ReachabilityDecisionDag;