7 instantiations of DecisionDagReachabilityInfo
Microsoft.CodeAnalysis.CSharp (7)
Binder\PatternExplainer.cs (5)
63
distanceInfo = (Math.Max(reachabilityInfo?.Contains(new NullableWalker.
DecisionDagReachabilityInfo
(e, whenTrue: true)) == false ? infinity : 0, distance(e.Next)), e.Next);
72
var trueDist1 = Math.Max(reachabilityInfo?.Contains(new NullableWalker.
DecisionDagReachabilityInfo
(t, whenTrue: true)) == false ? infinity : 0, distance(t.WhenTrue));
73
var falseDist1 = Math.Max(reachabilityInfo?.Contains(new NullableWalker.
DecisionDagReachabilityInfo
(t, whenTrue: false)) == false ? infinity : 0, distance(t.WhenFalse));
77
var trueDist2 = Math.Max(reachabilityInfo?.Contains(new NullableWalker.
DecisionDagReachabilityInfo
(w, whenTrue: true)) == false ? infinity : 0, distance(w.WhenTrue));
78
var falseDist2 = Math.Max(reachabilityInfo?.Contains(new NullableWalker.
DecisionDagReachabilityInfo
(w, whenTrue: false)) == false ? infinity : 0, distance(w.WhenFalse));
FlowAnalysis\NullableWalker_Patterns.cs (2)
889
reachabilityInfo?.Add(new
DecisionDagReachabilityInfo
(from, whenTrueBranch));
926
reachabilityInfo?.Add(new
DecisionDagReachabilityInfo
(from, whenTrueBranch));
8 references to DecisionDagReachabilityInfo
Microsoft.CodeAnalysis.CSharp (8)
Binder\PatternExplainer.cs (2)
35
HashSet<NullableWalker.
DecisionDagReachabilityInfo
> reachabilityInfo,
247
HashSet<NullableWalker.
DecisionDagReachabilityInfo
> reachabilityInfo,
FlowAnalysis\NullableWalker_Patterns.cs (6)
383
HashSet<
DecisionDagReachabilityInfo
> reachabilityInfo)
1045
internal readonly struct DecisionDagReachabilityInfo(BoundDecisionDagNode source, bool whenTrue) : IEquatable<
DecisionDagReachabilityInfo
>
1050
public bool Equals(
DecisionDagReachabilityInfo
other)
1062
return obj is
DecisionDagReachabilityInfo
&& Equals((
DecisionDagReachabilityInfo
)obj);
1081
var reachabilityInfo = (!node.ReportedNotExhaustive && node.DefaultLabel != null) ? PooledHashSet<
DecisionDagReachabilityInfo
>.GetInstance() : null;