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