1 write to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
3674this.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)
262var labelStateMap = LearnFromDecisionDag(node.Syntax, node.ReachabilityDecisionDag, node.Expression, expressionState, stateWhenNotNullOpt: null);
Generated\BoundNodes.xml.Generated.cs (4)
3692if (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)) 10956BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 12930BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 15254new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }),
Microsoft.CodeAnalysis.CSharp.Emit2.UnitTests (4)
Semantics\PatternMatchingTestBase.cs (1)
455SwitchStatementSyntax n => ((BoundSwitchStatement)binder.BindStatement(n, BindingDiagnosticBag.Discarded)).ReachabilityDecisionDag,
Semantics\PatternMatchingTests4.cs (3)
3986", boundSwitch.ReachabilityDecisionDag.Dump()); 4072", boundSwitch.ReachabilityDecisionDag.Dump()); 4153", boundSwitch.ReachabilityDecisionDag.Dump());