1 write to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
4778this.ReachabilityDecisionDag = reachabilityDecisionDag;
21 references to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (13)
Binder\Binder_Conversions.cs (1)
473source.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)
852var labelStateMap = LearnFromDecisionDag(node.Syntax, node.ReachabilityDecisionDag, node.Expression, expressionState, stateWhenNotNullOpt: null); 860var nodes = node.ReachabilityDecisionDag.TopologicallySortedNodes;
Generated\BoundNodes.xml.Generated.cs (8)
4847if (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)) 4881if (!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)) 11135BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 11143BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 13171BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 13191BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 15520new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }), 15534new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }),
Microsoft.CodeAnalysis.CSharp.Emit2.UnitTests (8)
Semantics\PatternMatchingTestBase.cs (1)
456SwitchExpressionSyntax n => ((BoundSwitchExpression)binder.BindExpression(n, BindingDiagnosticBag.Discarded)).ReachabilityDecisionDag,
Semantics\PatternMatchingTests4.cs (7)
4241", boundSwitch.ReachabilityDecisionDag.Dump()); 4285""", boundSwitch.ReachabilityDecisionDag.Dump()); 4367""", boundSwitch.ReachabilityDecisionDag.Dump()); 4449""", boundSwitch.ReachabilityDecisionDag.Dump()); 4531""", boundSwitch.ReachabilityDecisionDag.Dump()); 4613""", boundSwitch.ReachabilityDecisionDag.Dump()); 4699""", boundSwitch.ReachabilityDecisionDag.Dump());