1 write to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
3777this.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)
3795if (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)) 11436BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 13549BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 15967new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }),
Microsoft.CodeAnalysis.CSharp.Emit3.UnitTests (4)
Semantics\PatternMatchingTestBase.cs (1)
463SwitchStatementSyntax n => ((BoundSwitchStatement)binder.BindStatement(n, BindingDiagnosticBag.Discarded)).ReachabilityDecisionDag,
Semantics\PatternMatchingTests4.cs (3)
4037", boundSwitch.ReachabilityDecisionDag.Dump()); 4123", boundSwitch.ReachabilityDecisionDag.Dump()); 4204", boundSwitch.ReachabilityDecisionDag.Dump());