1 write to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
4881this.ReachabilityDecisionDag = reachabilityDecisionDag;
21 references to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (13)
Binder\Binder_Conversions.cs (1)
2006source.Syntax, source.Type, targetTyped, source.Expression, newSwitchArms, source.ReachabilityDecisionDag,
BoundTree\BoundSwitchExpression.cs (1)
16BoundDecisionDag decisionDag = this.ReachabilityDecisionDag;
FlowAnalysis\AbstractFlowPass_Switch.cs (1)
160var reachableLabels = node.ReachabilityDecisionDag.ReachableLabels;
FlowAnalysis\NullableWalker_Patterns.cs (2)
894var labelStateMap = LearnFromDecisionDag(node.Syntax, node.ReachabilityDecisionDag, node.Expression, expressionState, stateWhenNotNullOpt: null); 902var nodes = node.ReachabilityDecisionDag.TopologicallySortedNodes;
Generated\BoundNodes.xml.Generated.cs (8)
4950if (expression != this.Expression || switchArms != this.SwitchArms || reachabilityDecisionDag != this.ReachabilityDecisionDag || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(defaultLabel, this.DefaultLabel) || reportedNotExhaustive != this.ReportedNotExhaustive || !TypeSymbol.Equals(type, this.Type, TypeCompareKind.ConsiderEverything)) 4984if (!TypeSymbol.Equals(naturalTypeOpt, this.NaturalTypeOpt, TypeCompareKind.ConsiderEverything) || wasTargetTyped != this.WasTargetTyped || expression != this.Expression || switchArms != this.SwitchArms || reachabilityDecisionDag != this.ReachabilityDecisionDag || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(defaultLabel, this.DefaultLabel) || reportedNotExhaustive != this.ReportedNotExhaustive || !TypeSymbol.Equals(type, this.Type, TypeCompareKind.ConsiderEverything)) 11649BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 11658BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 13799BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 13819BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 16242new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }), 16256new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }),
Microsoft.CodeAnalysis.CSharp.Emit3.UnitTests (8)
Semantics\PatternMatchingTestBase.cs (1)
464SwitchExpressionSyntax n => ((BoundSwitchExpression)binder.BindExpression(n, BindingDiagnosticBag.Discarded)).ReachabilityDecisionDag,
Semantics\PatternMatchingTests4.cs (7)
4292", boundSwitch.ReachabilityDecisionDag.Dump()); 4336""", boundSwitch.ReachabilityDecisionDag.Dump()); 4418""", boundSwitch.ReachabilityDecisionDag.Dump()); 4500""", boundSwitch.ReachabilityDecisionDag.Dump()); 4582""", boundSwitch.ReachabilityDecisionDag.Dump()); 4664""", boundSwitch.ReachabilityDecisionDag.Dump()); 4750""", boundSwitch.ReachabilityDecisionDag.Dump());