1 write to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
7961this.ReachabilityDecisionDag = reachabilityDecisionDag;
7 references to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (7)
BoundTree\BoundIsPatternExpression.cs (1)
13BoundDecisionDag decisionDag = this.ReachabilityDecisionDag;
FlowAnalysis\AbstractFlowPass.cs (1)
961var reachableLabels = node.ReachabilityDecisionDag.ReachableLabels;
FlowAnalysis\NullableWalker_Patterns.cs (1)
1060var labelStateMap = LearnFromDecisionDag(node.Syntax, node.ReachabilityDecisionDag, node.Expression, expressionState, hasStateWhenNotNull ? conditionalStateWhenNotNull : null);
Generated\BoundNodes.xml.Generated.cs (4)
7978if (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)) 12050BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 14696BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 16900new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }),