1 write to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
4947this.ReachabilityDecisionDag = reachabilityDecisionDag;
21 references to ReachabilityDecisionDag
Microsoft.CodeAnalysis.CSharp (13)
Binder\Binder_Conversions.cs (1)
2489source.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)
992var labelStateMap = LearnFromDecisionDag(node.Syntax, node.ReachabilityDecisionDag, node.Expression, expressionState, stateWhenNotNullOpt: null); 1000var nodes = node.ReachabilityDecisionDag.TopologicallySortedNodes;
Generated\BoundNodes.xml.Generated.cs (8)
5018if (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)) 5052if (!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)) 11939BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 11948BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 14133BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 14153BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 16605new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }), 16619new TreeDumperNode("reachabilityDecisionDag", null, new TreeDumperNode[] { Visit(node.ReachabilityDecisionDag, null) }),
Microsoft.CodeAnalysis.CSharp.Emit3.UnitTests (7)
Semantics\PatternMatchingTests4.cs (7)
4295", boundSwitch.ReachabilityDecisionDag.Dump()); 4339""", boundSwitch.ReachabilityDecisionDag.Dump()); 4421""", boundSwitch.ReachabilityDecisionDag.Dump()); 4510""", boundSwitch.ReachabilityDecisionDag.Dump()); 4599""", boundSwitch.ReachabilityDecisionDag.Dump()); 4681""", boundSwitch.ReachabilityDecisionDag.Dump()); 4767""", boundSwitch.ReachabilityDecisionDag.Dump());
Microsoft.CodeAnalysis.CSharp.Test.Utilities (1)
CSharpTestBase.cs (1)
3317decisionDag = forLowering ? b.GetDecisionDagForLowering((CSharpCompilation)comp, out _) : b.ReachabilityDecisionDag;