310 references to NullableFlowState
Microsoft.CodeAnalysis.CSharp (268)
Binder\Semantics\BestTypeInferrer.cs (3)
36
public static
NullableFlowState
GetNullableState(ArrayBuilder<TypeWithState> types)
38
NullableFlowState
result =
NullableFlowState
.NotNull;
FlowAnalysis\NullableWalker.cs (193)
145
public VisitResult(TypeSymbol? type, NullableAnnotation annotation,
NullableFlowState
state)
235
private static readonly TypeWithState _invalidType = TypeWithState.Create(new UnsupportedMetadataTypeSymbol(),
NullableFlowState
.NotNull);
821
var
memberState = GetState(ref state, slot);
822
var
badState = symbolType.Type.IsPossiblyNullableReferenceTypeTypeParameter() && (annotations & FlowAnalysisAnnotations.NotNull) == 0
823
?
NullableFlowState
.MaybeDefault
824
:
NullableFlowState
.MaybeNull;
880
SetState(ref this.State, memberSlot, type.Type.IsPossiblyNullableReferenceTypeTypeParameter() ?
NullableFlowState
.MaybeDefault :
NullableFlowState
.MaybeNull);
1175
var
parameterState = GetState(ref state, memberSlot);
1207
SetState(ref this.State, memberSlot,
NullableFlowState
.MaybeNull);
1320
var
parameterState = GetState(ref state, slot);
1376
var
parameterState = GetState(ref stateWhen, slot);
1403
private void EnforceNotNullIfNotNull(SyntaxNode? syntaxOpt, LocalState state, ImmutableArray<ParameterSymbol> parameters, ImmutableHashSet<string> inputParamNames,
NullableFlowState
outputState, ParameterSymbol? outputParam)
1991
private
NullableFlowState
GetState(ref LocalState state, int slot)
1994
return
NullableFlowState
.NotNull;
2000
private void SetState(ref LocalState state, int slot,
NullableFlowState
value, bool useNotNullsAsDefault = false)
2022
private
NullableFlowState
GetDefaultState(ref LocalState state, int slot)
2027
return
NullableFlowState
.NotNull;
2057
return
NullableFlowState
.NotNull;
2386
private static bool ShouldReportNullableAssignment(TypeWithAnnotations type,
NullableFlowState
state)
2403
case
NullableFlowState
.NotNull:
2405
case
NullableFlowState
.MaybeNull:
2481
valueType.State ==
NullableFlowState
.MaybeDefault;
2663
var
newState = valueType.State;
2766
NullableFlowState
value = isDefaultValue ?
NullableFlowState
.MaybeNull : fieldOrPropertyType.ToTypeWithState().State;
2778
NullableFlowState
.NotNull;
2826
/// and the new state is not <see cref="
NullableFlowState
.NotNull"/>, this method should be called to perform the
2830
private void SetStateAndTrackForFinally(ref LocalState state, int slot,
NullableFlowState
newState)
2834
if (newState !=
NullableFlowState
.NotNull && NonMonotonicState.HasValue)
2919
private
NullableFlowState
GetDefaultState(Symbol symbol)
3012
var
state = GetParameterState(parameterType, parameter.FlowAnalysisAnnotations).State;
3050
return TypeWithState.Create(parameterType.Type,
NullableFlowState
.MaybeDefault);
3055
return TypeWithState.Create(parameterType.Type,
NullableFlowState
.NotNull);
3359
SetState(ref state, slot,
NullableFlowState
.NotNull);
3856
SetResultType(node, TypeWithState.Create(null,
NullableFlowState
.NotNull));
3864
SetResultType(node, TypeWithState.Create(null,
NullableFlowState
.NotNull));
4018
NullableFlowState
resultState = getResultState(node, collectionKind);
4024
static
NullableFlowState
getResultState(BoundCollectionExpression node, CollectionExpressionTypeKind collectionKind)
4036
return
NullableFlowState
.NotNull;
4105
(int slot,
NullableFlowState
resultState, Func<TypeSymbol, MethodSymbol?, int>? initialStateInferenceCompletion) =
4125
NullableFlowState
resultState,
4154
NullableFlowState
resultState)
4156
Debug.Assert(resultState ==
NullableFlowState
.NotNull);
4188
(int slot,
NullableFlowState
resultState, Func<TypeSymbol, MethodSymbol?, int>? completion) inferInitialObjectState(
4196
return (-1,
NullableFlowState
.NotNull, inferInitialObjectStateAsContinuation(node, arguments, argumentResults, hasObjectInitializer));
4202
var
resultState =
NullableFlowState
.NotNull;
4234
resultState =
NullableFlowState
.MaybeNull;
4269
Debug.Assert(resultState ==
NullableFlowState
.NotNull);
4403
var result = new VisitResult(objectInitializer.Type, NullableAnnotation.NotAnnotated,
NullableFlowState
.NotNull);
4630
SetAnalyzedNullability(node.ImplicitReceiverOpt, new VisitResult(node.ImplicitReceiverOpt.Type, NullableAnnotation.NotAnnotated,
NullableFlowState
.NotNull));
4688
SetResultType(node, TypeWithState.Create(node.Type,
NullableFlowState
.NotNull));
4693
var resultType = TypeWithState.Create(node.Type,
NullableFlowState
.NotNull);
4801
SetResultType(node, TypeWithState.Create(anonymousType,
NullableFlowState
.NotNull));
4833
SetResultType(node, TypeWithState.Create(node.Type,
NullableFlowState
.NotNull));
4838
SetResultType(node, TypeWithState.Create(arrayType,
NullableFlowState
.NotNull));
4914
var
elementState = BestTypeInferrer.GetNullableState(expressionTypes);
5116
NullableFlowState
resultState =
NullableFlowState
.NotNull;
5144
resultState =
NullableFlowState
.MaybeNull; // Delegate removal can produce null.
5147
resultState =
NullableFlowState
.NotNull;
5736
SetState(ref stateToUpdate, slot,
NullableFlowState
.NotNull);
5765
SetState(ref state, slot,
NullableFlowState
.NotNull);
5790
if (GetState(ref state, slot) ==
NullableFlowState
.NotNull)
5793
SetState(ref state, slot,
NullableFlowState
.MaybeNull);
5822
SetState(ref state, childSlot,
NullableFlowState
.NotNull);
5901
SetState(ref this.State, leftSlot,
NullableFlowState
.NotNull);
5956
BoundNullCoalescingOperatorResultKind.NoCommonType => (node.Type,
NullableFlowState
.NotNull),
5961
BoundNullCoalescingOperatorResultKind.RightDynamicType => (rightResultType!,
NullableFlowState
.NotNull),
5968
(TypeSymbol ResultType,
NullableFlowState
LeftState) getLeftResultType(TypeSymbol leftType, TypeSymbol rightType)
5978
return (rightType,
NullableFlowState
.NotNull);
5983
return (leftType,
NullableFlowState
.NotNull);
5986
(TypeSymbol ResultType,
NullableFlowState
LeftState) getResultStateWithRightType(TypeSymbol leftType, TypeSymbol rightType)
5998
TypeWithState.Create(leftType,
NullableFlowState
.NotNull),
6009
return (rightType,
NullableFlowState
.NotNull);
6182
SetResultType(node, TypeWithState.Create(resultType,
NullableFlowState
.MaybeDefault));
6237
var
rValueState = consequenceRValue.State.Join(alternativeRValue.State);
6345
NullableFlowState
resultState;
6505
SetResultType(node, TypeWithState.Create(rvalueType,
NullableFlowState
.NotNull));
7016
private
NullableFlowState
LearnFromCompareExchangeMethod(in CompareExchangeInfo compareExchangeInfo)
7036
return
NullableFlowState
.NotNull;
7046
var
valueFlowState = compareExchangeInfo.Results[valueIndex].RValueType.State;
7053
var
locationFlowState = compareExchangeInfo.Results[locationIndex].RValueType.State;
7170
return TypeWithState.Create(typeWithState.Type,
NullableFlowState
.NotNull);
7175
return TypeWithState.Create(typeWithState.Type,
NullableFlowState
.MaybeDefault);
7760
SetState(ref state, memberSlot,
NullableFlowState
.NotNull);
8065
var
adjustedState = LearnFromCompareExchangeMethod(in compareExchangeInfoOpt);
8189
return TypeWithState.Create(typeWithState.Type,
NullableFlowState
.MaybeDefault);
8195
return TypeWithState.Create(typeWithState.Type,
NullableFlowState
.NotNull);
8210
return TypeWithState.Create(typeWithState.Type,
NullableFlowState
.MaybeDefault);
8214
return TypeWithState.Create(typeWithState.Type,
NullableFlowState
.NotNull);
8229
return TypeWithState.Create(typeWithState.Type,
NullableFlowState
.MaybeDefault);
8233
return TypeWithState.Create(typeWithState.Type,
NullableFlowState
.NotNull);
8791
NullableFlowState
state = GetState(ref this.State, slot);
9066
SetResultType(node, TypeWithState.Create(null,
NullableFlowState
.NotNull));
9073
SetState(ref this.State, slot,
NullableFlowState
.NotNull);
9091
SetResultType(node, TypeWithState.Create(tupleOpt,
NullableFlowState
.NotNull));
9213
SetState(ref this.State, targetFieldSlot,
NullableFlowState
.NotNull);
9230
SetState(ref this.State, targetFieldSlot,
NullableFlowState
.NotNull);
9466
NullableFlowState
resultState =
NullableFlowState
.NotNull;
9498
resultState =
NullableFlowState
.NotNull;
9522
return TypeWithState.Create(targetType,
NullableFlowState
.NotNull);
9528
resultState =
NullableFlowState
.NotNull;
9532
resultState =
NullableFlowState
.NotNull;
9537
resultState =
NullableFlowState
.NotNull;
9577
resultState =
NullableFlowState
.NotNull;
9701
resultState =
NullableFlowState
.NotNull;
9771
static TypeWithState calculateResultType(TypeWithAnnotations targetTypeWithNullability, bool fromExplicitCast,
NullableFlowState
resultState, bool isSuppressed, TypeSymbol targetType)
9775
resultState =
NullableFlowState
.NotNull;
9780
resultState = targetType?.IsTypeParameterDisallowingAnnotationInCSharp8() == true ?
NullableFlowState
.MaybeDefault :
NullableFlowState
.MaybeNull;
9787
static
NullableFlowState
getReferenceConversionResultState(TypeWithAnnotations targetType, TypeWithState operandType)
9789
var
state = operandType.State;
9792
case
NullableFlowState
.MaybeNull:
9798
return
NullableFlowState
.MaybeDefault;
9804
return (annotation == NullableAnnotation.Annotated) ?
NullableFlowState
.MaybeDefault :
NullableFlowState
.MaybeNull;
9808
case
NullableFlowState
.MaybeDefault:
9811
return
NullableFlowState
.MaybeNull;
9821
static
NullableFlowState
getBoxingConversionResultState(TypeWithAnnotations targetType, TypeWithState operandType)
9823
var
state = operandType.State;
9824
if (state ==
NullableFlowState
.MaybeNull)
9829
return
NullableFlowState
.MaybeDefault;
9839
return (annotation == NullableAnnotation.Annotated) ?
NullableFlowState
.MaybeDefault :
NullableFlowState
.MaybeNull;
9849
static
NullableFlowState
getUnboxingConversionResultState(TypeWithState operandType)
9851
var
state = operandType.State;
9852
if (state ==
NullableFlowState
.MaybeNull)
9854
return
NullableFlowState
.MaybeDefault;
9859
static
NullableFlowState
getConversionResultState(TypeWithState operandType)
9861
var
state = operandType.State;
9862
if (state ==
NullableFlowState
.MaybeNull)
9864
return
NullableFlowState
.MaybeDefault;
10000
var resultType = TypeWithState.Create(targetType,
NullableFlowState
.NotNull);
10043
NullableFlowState
operandState = operandType.State;
10163
private TypeWithState GetLiftedReturnType(TypeWithAnnotations returnType,
NullableFlowState
operandState)
10167
NullableFlowState
state = returnType.ToTypeWithState().State.Join(operandState);
10184
private TypeWithState GetLiftedReturnTypeIfNecessary(bool isLifted, TypeWithAnnotations returnType,
NullableFlowState
operandState)
10280
var result = TypeWithState.Create(delegateType,
NullableFlowState
.NotNull);
10577
var rvalueResult = TypeWithState.Create(node.Type,
NullableFlowState
.NotNull);
10995
var valueBeforeNullableWrapping = TypeWithState.Create(underlyingType.Type,
NullableFlowState
.NotNull);
11124
SetResultType(node, TypeWithState.Create(receiverType.Type,
NullableFlowState
.NotNull));
11148
SetResultType(node, TypeWithState.Create(opType.Type,
NullableFlowState
.NotNull));
11301
SetResultType(node, TypeWithState.Create(receiverType.Type,
NullableFlowState
.NotNull));
11329
SetResultType(node, TypeWithState.Create(opType.Type,
NullableFlowState
.NotNull));
11631
var
state = GetState(ref this.State, slot);
11643
SetState(ref this.StateWhenTrue, containingSlot,
NullableFlowState
.NotNull);
11866
if (enumeratorReturnType.State !=
NullableFlowState
.NotNull)
11947
var
state =
NullableFlowState
.NotNull;
12151
TypeWithState.Create(node.Type, node.OperatorKind.IsLifted() ? argumentResult.State :
NullableFlowState
.NotNull);
12419
SetResultType(node, TypeWithState.Create(node.Type,
NullableFlowState
.NotNull));
12441
SetResultType(node, TypeWithState.Create(node.Type,
NullableFlowState
.MaybeDefault));
12456
SetState(ref this.State, slot,
NullableFlowState
.NotNull);
12502
NullableFlowState
resultState =
NullableFlowState
.NotNull;
12517
resultState =
NullableFlowState
.MaybeDefault;
12555
SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ?
NullableFlowState
.MaybeDefault :
NullableFlowState
.NotNull));
12663
node.IsAddition ? GetState(ref this.State, memberSlot).Meet(ResultType.State) :
NullableFlowState
.MaybeNull);
12780
private bool ReportPossibleNullReceiverIfNeeded(TypeSymbol type,
NullableFlowState
state, bool checkNullableValueType, SyntaxNode syntax, out bool reportedDiagnostic)
12839
SetResultType(node, TypeWithState.Create(node.Type,
NullableFlowState
.NotNull));
12854
SetResultType(node, TypeWithState.Create(node.Type,
NullableFlowState
.NotNull));
12903
SetResultType(node, TypeWithState.Create(node.Type,
NullableFlowState
.NotNull));
12909
SetResultType(node, TypeWithState.Create(type,
NullableFlowState
.NotNull));
12977
SetState(ref this.State, slot,
NullableFlowState
.NotNull);
13066
Debug.Assert(ResultType is TypeWithState { Type: FunctionPointerTypeSymbol { }, State:
NullableFlowState
.NotNull });
13371
SetValue(Id, index, useNotNullsAsDefault ?
NullableFlowState
.NotNull : walker.GetDefaultState(ref this, slot));
13375
public
NullableFlowState
this[int slot]
13389
private
NullableFlowState
GetValue(int id, int index)
13399
private
NullableFlowState
GetValue(int index)
13403
return
NullableFlowState
.NotNull;
13410
var
result = (_state[index], _state[index + 1]) switch
13412
(false, false) =>
NullableFlowState
.NotNull, // Should not be reachable
13413
(true, false) =>
NullableFlowState
.MaybeNull,
13414
(false, true) =>
NullableFlowState
.MaybeDefault,
13415
(true, true) =>
NullableFlowState
.NotNull
13421
private void SetValue(int id, int index,
NullableFlowState
value)
13434
private void SetValue(int index,
NullableFlowState
value)
13442
NullableFlowState
.MaybeNull => (true, false),
13443
NullableFlowState
.MaybeDefault => (false, true),
13444
NullableFlowState
.NotNull => (true, true),
13498
var
oldValue = oldReachable ? GetValue(i) :
NullableFlowState
.NotNull;
13499
var
newValue = oldValue.Join(other.GetValue(i));
13524
var
oldValue = GetValue(i);
13525
var
newValue = oldValue.Meet(other.GetValue(i));
13541
var mayBeNull = GetValue(i) is
NullableFlowState
.MaybeNull or
NullableFlowState
.MaybeDefault;
13572
NullableFlowState
.MaybeNull => "?",
13573
NullableFlowState
.MaybeDefault => "??",
FlowAnalysis\NullableWalker_Patterns.cs (5)
481
SetState(ref State, outputSlot,
NullableFlowState
.NotNull);
579
SetState(ref this.State, outputSlot,
NullableFlowState
.NotNull); // Slice value is assumed to be never null
682
var
tempState = GetState(ref this.State, tempSlot);
958
NullableFlowState
inferredState;
1008
NullableFlowState
inferredState = BestTypeInferrer.GetNullableState(resultTypes);
Symbols\ConstraintsHelper.cs (14)
1228
static
NullableFlowState
getTypeArgumentState(in TypeWithAnnotations typeWithAnnotations)
1233
return
NullableFlowState
.NotNull;
1237
return type.IsNullableTypeOrTypeParameter() ?
NullableFlowState
.MaybeNull :
NullableFlowState
.NotNull;
1242
return type.IsTypeParameterDisallowingAnnotationInCSharp8() ?
NullableFlowState
.MaybeDefault :
NullableFlowState
.MaybeNull;
1244
return
NullableFlowState
.NotNull;
1249
return
NullableFlowState
.NotNull;
1251
NullableFlowState
? result = null;
1254
var
constraintState = getTypeArgumentState(constraintType);
1264
return result ??
NullableFlowState
.MaybeNull;
1267
static bool constraintTypeAllows(in TypeWithAnnotations typeWithAnnotations,
NullableFlowState
state)
1269
if (state ==
NullableFlowState
.NotNull)
1296
return state ==
NullableFlowState
.MaybeNull;
Symbols\NullableAnnotationExtensions.cs (1)
104
var
flowState = TypeWithAnnotations.Create(type, annotation).ToTypeWithState().State;
Symbols\NullableFlowState.cs (1)
11
/// When in doubt we conservatively use <see cref="
NullableFlowState
.NotNull"/>
Symbols\NullableFlowStateExtensions.cs (20)
13
public static bool MayBeNull(this
NullableFlowState
state) => state !=
NullableFlowState
.NotNull;
15
public static bool IsNotNull(this
NullableFlowState
state) => state ==
NullableFlowState
.NotNull;
19
/// The result is <see cref="
NullableFlowState
.MaybeNull"/> if either operand is that.
21
public static
NullableFlowState
Join(this
NullableFlowState
a,
NullableFlowState
b) => (a > b) ? a : b;
25
/// The result is <see cref="
NullableFlowState
.NotNull"/> if either operand is that.
27
public static
NullableFlowState
Meet(this
NullableFlowState
a,
NullableFlowState
b) => (a < b) ? a : b;
29
internal static CodeAnalysis.NullableFlowState ToPublicFlowState(this CSharp.
NullableFlowState
nullableFlowState) =>
32
CSharp.
NullableFlowState
.NotNull => CodeAnalysis.NullableFlowState.NotNull,
33
CSharp.
NullableFlowState
.MaybeNull => CodeAnalysis.NullableFlowState.MaybeNull,
34
CSharp.
NullableFlowState
.MaybeDefault => CodeAnalysis.NullableFlowState.MaybeNull,
39
public static CSharp.
NullableFlowState
ToInternalFlowState(this CodeAnalysis.NullableFlowState flowState) =>
42
CodeAnalysis.NullableFlowState.None => CSharp.
NullableFlowState
.NotNull,
43
CodeAnalysis.NullableFlowState.NotNull => CSharp.
NullableFlowState
.NotNull,
44
CodeAnalysis.NullableFlowState.MaybeNull => CSharp.
NullableFlowState
.MaybeNull,
Symbols\TypeWithAnnotations.cs (11)
813
static
NullableFlowState
getFlowState(TypeSymbol type, NullableAnnotation annotation)
817
return annotation.IsAnnotated() ?
NullableFlowState
.MaybeDefault :
NullableFlowState
.NotNull;
821
return annotation switch { NullableAnnotation.Annotated =>
NullableFlowState
.MaybeDefault, NullableAnnotation.NotAnnotated =>
NullableFlowState
.MaybeNull, _ =>
NullableFlowState
.NotNull };
825
return annotation switch { NullableAnnotation.Annotated =>
NullableFlowState
.MaybeDefault, _ =>
NullableFlowState
.NotNull };
829
return
NullableFlowState
.MaybeNull;
831
return annotation switch { NullableAnnotation.Annotated =>
NullableFlowState
.MaybeNull, _ =>
NullableFlowState
.NotNull };
Symbols\TypeWithState.cs (20)
17
public readonly
NullableFlowState
State;
20
public bool MayBeNull => State ==
NullableFlowState
.MaybeNull;
21
public bool IsNotNull => State ==
NullableFlowState
.NotNull;
25
return Create(type,
NullableFlowState
.MaybeDefault);
28
public static TypeWithState Create(TypeSymbol? type,
NullableFlowState
defaultState)
30
if (defaultState ==
NullableFlowState
.MaybeDefault &&
36
var
state = defaultState !=
NullableFlowState
.NotNull && type?.CanContainNull() != false ?
NullableFlowState
.MaybeNull :
NullableFlowState
.NotNull;
45
NullableFlowState
state;
50
state =
NullableFlowState
.MaybeDefault;
54
state =
NullableFlowState
.NotNull;
63
state =
NullableFlowState
.NotNull;
69
private TypeWithState(TypeSymbol? type,
NullableFlowState
state)
71
Debug.Assert(state ==
NullableFlowState
.NotNull || type?.CanContainNull() != false);
72
Debug.Assert(state !=
NullableFlowState
.MaybeDefault || type is null || type.IsTypeParameterDisallowingAnnotationInCSharp8());
81
public TypeWithState WithNotNullState() => new TypeWithState(Type,
NullableFlowState
.NotNull);
83
public TypeWithState WithSuppression(bool suppress) => suppress ? new TypeWithState(Type,
NullableFlowState
.NotNull) : this;
90
return (State ==
NullableFlowState
.MaybeDefault || asAnnotatedType) ? type.SetIsAnnotated(compilation) : type;
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (42)
Semantics\NullableReferenceTypesTests.cs (42)
126904
private static readonly
NullableFlowState
[] s_AllNullableFlowStates = (
NullableFlowState
[])Enum.GetValues(typeof(
NullableFlowState
));
126925
var inputs = new[] {
NullableFlowState
.NotNull,
NullableFlowState
.MaybeNull };
126927
Func<int, int,
NullableFlowState
> getResult = (i, j) => inputs[i].Join(inputs[j]);
126929
var expected = new
NullableFlowState
[2, 2]
126931
{
NullableFlowState
.NotNull,
NullableFlowState
.MaybeNull },
126932
{
NullableFlowState
.MaybeNull,
NullableFlowState
.MaybeNull },
126957
var inputs = new[] {
NullableFlowState
.NotNull,
NullableFlowState
.MaybeNull };
126958
Func<int, int,
NullableFlowState
> getResult = (i, j) => inputs[i].Meet(inputs[j]);
126960
var expected = new
NullableFlowState
[2, 2]
126962
{
NullableFlowState
.NotNull,
NullableFlowState
.NotNull },
126963
{
NullableFlowState
.NotNull,
NullableFlowState
.MaybeNull },
126990
private static void AssertEqual(
NullableFlowState
[,] expected, Func<int, int,
NullableFlowState
> getResult, int size)
126992
AssertEx.Equal<
NullableFlowState
>(expected, getResult, (na1, na2) => na1 == na2, na => $"NullableFlowState.{na}", "{0,-32:G}", size);
127011
foreach (
var
a in s_AllNullableFlowStates)
127013
foreach (
var
b in s_AllNullableFlowStates)
127041
foreach (
var
a in s_AllNullableFlowStates)
127043
foreach (
var
b in s_AllNullableFlowStates)
127045
foreach (
var
c in s_AllNullableFlowStates)
127047
var
leftFirst = a.Join(b).Join(c);
127048
var
rightFirst = a.Join(b.Join(c));
127075
foreach (
var
a in s_AllNullableFlowStates)
127077
foreach (
var
b in s_AllNullableFlowStates)
127079
foreach (
var
c in s_AllNullableFlowStates)
127081
var
leftFirst = a.Meet(b).Meet(c);
127082
var
rightFirst = a.Meet(b.Meet(c));
127128
foreach (
var
a in s_AllNullableFlowStates)
127130
foreach (
var
b in s_AllNullableFlowStates)
127132
var
leftFirst = a.Join(b);
127133
var
rightFirst = b.Join(a);
127156
foreach (
var
a in s_AllNullableFlowStates)
127158
foreach (
var
b in s_AllNullableFlowStates)
127160
var
leftFirst = a.Meet(b);
127161
var
rightFirst = b.Meet(a);