2 writes to RemainingValues
Microsoft.CodeAnalysis.CSharp (2)
Binder\DecisionDagBuilder.cs (2)
1908
RemainingValues
= null!;
1929
this.
RemainingValues
= newRemainingValues;
12 references to RemainingValues
Microsoft.CodeAnalysis.CSharp (12)
Binder\DecisionDagBuilder.cs (12)
846
if (existingState.
RemainingValues
.TryGetValue(dagTemp, out var existingValuesForTemp))
853
if (existingState.
RemainingValues
.Count != newRemainingValues.Count ||
854
!existingState.
RemainingValues
.All(kv => newRemainingValues.TryGetValue(kv.Key, out IValueSet? values) && kv.Value.Equals(values)))
922
state.FalseBranch = uniquifyState(stateWhenFails, state.
RemainingValues
);
930
case BoundDagAssignmentEvaluation e when state.
RemainingValues
.TryGetValue(e.Input, out IValueSet? currentValues):
935
if (state.
RemainingValues
.TryGetValue(e.Target, out IValueSet? targetValues))
941
state.TrueBranch = uniquifyState(RemoveEvaluation(state.Cases, e), state.
RemainingValues
.SetItem(e.Target, currentValues));
944
state.TrueBranch = uniquifyState(RemoveEvaluation(state.Cases, e), state.
RemainingValues
);
1096
(whenTrueValues, whenFalseValues, bool whenTruePossible, bool whenFalsePossible) = SplitValues(state.
RemainingValues
, test);
1485
Debug.Assert(state.
RemainingValues
.ContainsKey(s1LengthTemp));
1486
var lengthValues = (IValueSet<int>)state.
RemainingValues
[s1LengthTemp];
1683
var remainingValues = state.
RemainingValues
.Select(kvp => $"{tempName(kvp.Key)}:{kvp.Value}");