1 write to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
3829this.ReachabilityDecisionDag = reachabilityDecisionDag;
10 references to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (10)
BoundTree\BoundSwitchStatement.cs (2)
17BoundDecisionDag decisionDag = this.ReachabilityDecisionDag; 78Debug.Assert(!this.ReachabilityDecisionDag.ReachableLabels.Contains(unreachableDefaultLabel));
FlowAnalysis\AbstractFlowPass_Switch.cs (2)
46var reachableLabels = node.ReachabilityDecisionDag.ReachableLabels; 74if (node.ReachabilityDecisionDag.ReachableLabels.Contains(node.BreakLabel) ||
FlowAnalysis\NullableWalker_Patterns.cs (1)
303var labelStateMap = LearnFromDecisionDag(node.Syntax, node.ReachabilityDecisionDag, node.Expression, expressionState, stateWhenNotNullOpt: null, reachabilityInfo: null);
Generated\BoundNodes.xml.Generated.cs (4)
3847if (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)) 11725BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 13895BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 16345new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }),
Lowering\LocalRewriter\LocalRewriter_PatternSwitchStatement.cs (1)
181Debug.Assert(!node.ReachabilityDecisionDag.ReachableLabels.Contains(unreachableDefaultLabel));