43 writes to
Microsoft.CodeAnalysis (3)
Diagnostic\DiagnosticInfo.cs (1)
143
bits
[
value] = true;
Operations\ControlFlowGraphBuilder.cs (1)
270
visited
[
current.Ordinal] = true;
ReferenceManager\CommonReferenceManager.State.cs (1)
639
visitedAssemblies
[
assemblyIndex] = true;
Microsoft.CodeAnalysis.CSharp (27)
Binder\Binder.ValueChecks.cs (1)
3073
paramsMatched
[
paramIndex] = true;
Binder\Binder_Invocation.cs (3)
1541
visitedParameters
[
parameter.Ordinal] = true;
1556
visitedParameters
[
paramsIndex] = true;
1605
defaultArguments
[
argumentsBuilder.Count] = true;
Binder\Binder_Query.cs (2)
325
(defaultArguments
[
n - 1], defaultArguments
[
n - 2]) = (defaultArguments[n - 2], defaultArguments[n - 1]);
Binder\Semantics\OverloadResolution\MemberAnalysisResult.cs (2)
302
badArguments
[
argumentPosition] = true;
438
result
[
setIndex] = true;
Binder\Semantics\OverloadResolution\MethodTypeInference.cs (1)
984
needsFixing
[
param] = true;
Binder\Semantics\OverloadResolution\OverloadResolution.cs (2)
4551
badArguments
[
argumentPosition] = true;
4633
badArguments
[
argumentPosition] = true;
FlowAnalysis\DefiniteAssignment.cs (5)
1062
state.Assigned
[
i] = assign;
1253
_alreadyReported
[
slot] = true;
2374
_alreadyReported
[
slot] = true;
2950
Assigned
[
slot] = true;
2957
Assigned
[
slot] = false;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (2)
122
usages.ReadVars
[
slot] = true;
132
mask
[
slot] = IsCapturedInLocalFunction(slot);
FlowAnalysis\NullableWalker.cs (4)
13088
state
[
index] = true;
13089
state
[
index + 1] = true;
13272
(_state
[
index], _state
[
index + 1]) = value switch
Lowering\LocalRewriter\LocalRewriter_Call.cs (2)
761
argumentsAssignedToTemp
[
i] = true;
902
argumentsAssignedToTemp
[
argIndex] = true;
Symbols\Synthesized\RefKindVector.cs (3)
57
(_bits
[
index + 2], _bits
[
index + 1], _bits
[
index]) = value switch
Microsoft.CodeAnalysis.Test.Utilities (1)
Compilation\FlowAnalysis\BasicBlockReachabilityDataFlowAnalyzer.cs (1)
63
_visited
[
basicBlock.Ordinal] = isReachable;
Microsoft.CodeAnalysis.UnitTests (12)
Collections\BitArrayTests.cs (12)
58
d
[
i1] = r1.NextBool();
85
b1
[
i] = a1[i] = r.NextBool();
86
b2
[
i] = a2[i] = r.NextBool();
130
b1
[
i] = a1[i] = r.NextBool();
135
b2
[
i] = a2[i] = r.NextBool();
179
b
[
i] = false;
199
b
[
i] = r1.NextBool();
237
b
[
i] = r1.NextBool();
284
b
[
index] = true;
288
b
[
index] = false;
317
Assert.Throws<IndexOutOfRangeException>(() => b
[
index] = false);
320
Assert.Throws<IndexOutOfRangeException>(() => b
[
index] = true);
45 references to
Microsoft.CodeAnalysis (3)
Collections\BitVector.cs (1)
406
value[_capacity - i - 1] = this
[
i] ? '1' : '0';
Operations\ControlFlowGraphBuilder.cs (1)
265
if (visited
[
current.Ordinal])
ReferenceManager\CommonReferenceManager.State.cs (1)
654
if (!visitedAssemblies
[
dependentAssemblyIndex])
Microsoft.CodeAnalysis.CSharp (30)
Binder\Binder.ValueChecks.cs (1)
3077
if (!paramsMatched
[
paramIndex])
Binder\Binder_Attributes.cs (2)
365
if (defaultArguments
[
i])
388
defaultArguments
[
argIndex] ||
Binder\Binder_Conversions.cs (1)
1686
Debug.Assert(!collectionInitializer.DefaultArguments
[
argIndex]);
Binder\Binder_Invocation.cs (2)
1559
bool haveDefaultArguments = !parameters.All(static (param, visitedParameters) => visitedParameters
[
param.Ordinal], visitedParameters);
1601
if (!visitedParameters
[
parameter.Ordinal])
Binder\Binder_Query.cs (2)
325
(defaultArguments[n - 1], defaultArguments[n - 2]) = (defaultArguments
[
n - 2], defaultArguments
[
n - 1]);
Binder\Semantics\OverloadResolution\MethodTypeInference.cs (1)
993
if (needsFixing
[
param])
FlowAnalysis\DefiniteAssignment.cs (5)
1053
state.Assigned
[
slot] &&
1223
else if (!_alreadyReported
[
slot] && !symbol.GetTypeOrReturnType().Type.IsErrorType())
2882
if (other.Assigned
[
slot] && !self.Assigned
[
slot])
2943
return /*(slot == -1) || */Assigned
[
slot];
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (1)
49
if (reads
[
slot])
FlowAnalysis\NullableWalker.cs (6)
7327
_disableDiagnostics |= node.HasErrors || defaultArguments
[
i];
7691
_disableDiagnostics = defaultArguments
[
i] || previousDisableDiagnostics;
13240
Debug.Assert((_state
[
index], _state
[
index + 1]) != (false, false));
13242
var result = (_state
[
index], _state
[
index + 1]) switch
Lowering\DiagnosticsPass_ExpressionTrees.cs (1)
370
if (defaultArguments
[
i])
Lowering\LocalRewriter\LocalRewriter_Call.cs (1)
884
case >= 0 when argumentsAssignedToTemp
[
argIndex]:
Lowering\LocalRewriter\LocalRewriter_StringInterpolation.cs (1)
52
Debug.Assert(construction.DefaultArguments
[
i]);
Operations\CSharpOperationFactory_Methods.cs (2)
322
var argumentKind = defaultArguments
[
i] ? ArgumentKind.DefaultValue : ArgumentKind.Explicit;
342
if (defaultArguments
[
i])
Symbols\ConstraintsHelper.cs (1)
923
if (skipParameters
[
i])
Symbols\Synthesized\RefKindVector.cs (3)
44
return (_bits
[
index + 2], _bits
[
index + 1], _bits
[
index]) switch
Microsoft.CodeAnalysis.Test.Utilities (2)
Compilation\ControlFlowGraphVerifier.cs (1)
94
Assert.Equal(graph.Blocks[i].IsReachable, reachabilityVector
[
i]);
Compilation\FlowAnalysis\BasicBlockReachabilityDataFlowAnalyzer.cs (1)
66
public override bool GetCurrentAnalysisData(BasicBlock basicBlock) => _visited
[
basicBlock.Ordinal];
Microsoft.CodeAnalysis.UnitTests (10)
Collections\BitArrayTests.cs (10)
30
if (n > 0) Assert.True(arr
[
n - 1]);
31
Assert.False(arr
[
n]);
62
Assert.Equal(d
[
i2], r2.NextBool());
98
Assert.Equal(a1[i], b1
[
i]);
149
Assert.Equal(a1[i], b1
[
i]);
212
Assert.Equal(b
[
index], BitVector.IsTrue(word, index));
267
Assert.False(b
[
index]);
285
Assert.True(b
[
index]);
289
Assert.False(b
[
index]);
303
Assert.Throws<IndexOutOfRangeException>(() => _ = b
[
index]);