1 write to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
7960this.ReachabilityDecisionDag = reachabilityDecisionDag;
9 references to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (7)
BoundTree\BoundIsPatternExpression.cs (1)
13BoundDecisionDag decisionDag = this.ReachabilityDecisionDag;
FlowAnalysis\AbstractFlowPass.cs (1)
960var reachableLabels = node.ReachabilityDecisionDag.ReachableLabels;
FlowAnalysis\NullableWalker_Patterns.cs (1)
1062var labelStateMap = LearnFromDecisionDag(node.Syntax, node.ReachabilityDecisionDag, node.Expression, expressionState, hasStateWhenNotNull ? conditionalStateWhenNotNull : null);
Generated\BoundNodes.xml.Generated.cs (4)
7977if (expression != this.Expression || pattern != this.Pattern || isNegated != this.IsNegated || reachabilityDecisionDag != this.ReachabilityDecisionDag || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(whenTrueLabel, this.WhenTrueLabel) || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(whenFalseLabel, this.WhenFalseLabel) || !TypeSymbol.Equals(type, this.Type, TypeCompareKind.ConsiderEverything)) 12225BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 14870BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 17077new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }),
Microsoft.CodeAnalysis.CSharp.Emit3.UnitTests (2)
Semantics\PatternMatchingTestBase.cs (1)
465IsPatternExpressionSyntax n => ((BoundIsPatternExpression)binder.BindExpression(n, BindingDiagnosticBag.Discarded)).ReachabilityDecisionDag,
Semantics\PatternMatchingTests4.cs (1)
4250", boundIsPattern.ReachabilityDecisionDag.Dump());