37 writes to
Microsoft.CodeAnalysis (4)
Diagnostic\DiagnosticInfo.cs (1)
147bits[value] = true;
Operations\ControlFlowGraphBuilder.cs (1)
270visited[current.Ordinal] = true;
ReferenceManager\CommonReferenceManager.State.cs (1)
639visitedAssemblies[assemblyIndex] = true;
Serialization\ObjectWriter.cs (1)
682bits[i] = array[i];
Microsoft.CodeAnalysis.CSharp (20)
Binder\Binder.ValueChecks.cs (1)
2630paramsMatched[paramIndex] = true;
Binder\Binder_Invocation.cs (2)
1284visitedParameters[parameter.Ordinal] = true; 1326defaultArguments[argumentsBuilder.Count] = true;
Binder\Binder_Query.cs (2)
325(defaultArguments[n - 1], defaultArguments[n - 2]) = (defaultArguments[n - 2], defaultArguments[n - 1]);
FlowAnalysis\DefiniteAssignment.cs (5)
1017state.Assigned[i] = assign; 1208_alreadyReported[slot] = true; 2197_alreadyReported[slot] = true; 2762Assigned[slot] = true; 2769Assigned[slot] = false;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (2)
122usages.ReadVars[slot] = true; 132mask[slot] = IsCapturedInLocalFunction(slot);
FlowAnalysis\NullableWalker.cs (4)
11376state[index] = true; 11377state[index + 1] = true; 11556(_state[index], _state[index + 1]) = value switch
Lowering\LocalRewriter\LocalRewriter_Call.cs (2)
504argumentsAssignedToTemp[i] = true; 643argumentsAssignedToTemp[argIndex] = true;
Symbols\Synthesized\RefKindVector.cs (2)
54(_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)
58d[i1] = r1.NextBool(); 85b1[i] = a1[i] = r.NextBool(); 86b2[i] = a2[i] = r.NextBool(); 130b1[i] = a1[i] = r.NextBool(); 135b2[i] = a2[i] = r.NextBool(); 179b[i] = false; 199b[i] = r1.NextBool(); 237b[i] = r1.NextBool(); 284b[index] = true; 288b[index] = false; 317Assert.Throws<IndexOutOfRangeException>(() => b[index] = false); 320Assert.Throws<IndexOutOfRangeException>(() => b[index] = true);
41 references to
Microsoft.CodeAnalysis (3)
Collections\BitVector.cs (1)
406value[_capacity - i - 1] = this[i] ? '1' : '0';
Operations\ControlFlowGraphBuilder.cs (1)
265if (visited[current.Ordinal])
ReferenceManager\CommonReferenceManager.State.cs (1)
654if (!visitedAssemblies[dependentAssemblyIndex])
Microsoft.CodeAnalysis.CSharp (26)
Binder\Binder.ValueChecks.cs (1)
2634if (!paramsMatched[paramIndex])
Binder\Binder_Attributes.cs (2)
355if (defaultArguments[i]) 379constructorArgumentSourceIndices[paramIndex] = defaultArguments[argIndex] ? -1 : argIndex;
Binder\Binder_Invocation.cs (2)
1289if (parameters.All(static (param, visitedParameters) => visitedParameters[param.Ordinal], visitedParameters)) 1322if (!visitedParameters[parameter.Ordinal])
Binder\Binder_Query.cs (2)
325(defaultArguments[n - 1], defaultArguments[n - 2]) = (defaultArguments[n - 2], defaultArguments[n - 1]);
FlowAnalysis\DefiniteAssignment.cs (5)
1008state.Assigned[slot] && 1178else if (!_alreadyReported[slot] && !symbol.GetTypeOrReturnType().Type.IsErrorType()) 2694if (other.Assigned[slot] && !self.Assigned[slot]) 2755return /*(slot == -1) || */Assigned[slot];
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (1)
49if (reads[slot])
FlowAnalysis\NullableWalker.cs (4)
6253_disableDiagnostics |= node.HasErrors || defaultArguments[i]; 6471_disableDiagnostics = defaultArguments[i] || previousDisableDiagnostics; 11527var result = (_state[index], _state[index + 1]) switch
Lowering\DiagnosticsPass_ExpressionTrees.cs (1)
350if (defaultArguments[i])
Lowering\LocalRewriter\LocalRewriter_Call.cs (4)
625case >= 0 when argumentsAssignedToTemp[argIndex]: 974var argumentKind = defaultArguments[i] ? ArgumentKind.DefaultValue : ArgumentKind.Explicit; 983var argumentKind = defaultArguments[i] ? ArgumentKind.DefaultValue : ArgumentKind.Explicit; 1170ArgumentKind kind = defaultArguments[a] ? ArgumentKind.DefaultValue : ArgumentKind.Explicit;
Lowering\LocalRewriter\LocalRewriter_StringInterpolation.cs (1)
96Debug.Assert(construction.DefaultArguments[i]);
Symbols\ConstraintsHelper.cs (1)
855if (skipParameters[i])
Symbols\Synthesized\RefKindVector.cs (2)
43return (_bits[index + 1], _bits[index]) switch
Microsoft.CodeAnalysis.Test.Utilities (2)
Compilation\ControlFlowGraphVerifier.cs (1)
94Assert.Equal(graph.Blocks[i].IsReachable, reachabilityVector[i]);
Compilation\FlowAnalysis\BasicBlockReachabilityDataFlowAnalyzer.cs (1)
66public override bool GetCurrentAnalysisData(BasicBlock basicBlock) => _visited[basicBlock.Ordinal];
Microsoft.CodeAnalysis.UnitTests (10)
Collections\BitArrayTests.cs (10)
30if (n > 0) Assert.True(arr[n - 1]); 31Assert.False(arr[n]); 62Assert.Equal(d[i2], r2.NextBool()); 98Assert.Equal(a1[i], b1[i]); 149Assert.Equal(a1[i], b1[i]); 212Assert.Equal(b[index], BitVector.IsTrue(word, index)); 267Assert.False(b[index]); 285Assert.True(b[index]); 289Assert.False(b[index]); 303Assert.Throws<IndexOutOfRangeException>(() => _ = b[index]);