ConstantValue

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (3)

196if (operation.ConstantValue.HasValue) 198return operation.ConstantValue.Value != null ? 199ValueContentAbstractValue.Create(operation.ConstantValue.Value, valueTypeSymbol) :

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (2)

110if (operation.ConstantValue.HasValue && operation.ConstantValue.Value is int index)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (9)

746branch.BranchValue.ConstantValue.HasValue) 748var alwaysTrue = (bool)branch.BranchValue.ConstantValue.Value!; 1281if (patternOperation is IConstantPatternOperation { Value.ConstantValue: { HasValue: true, Value: null } }) 1788if (operation is IConstantPatternOperation constant && constant.Value.ConstantValue.HasValue && constant.Value.ConstantValue.Value is null) 1806if (operation is INegatedPatternOperation negated && negated.Pattern is IConstantPatternOperation constant && constant.Value.ConstantValue.HasValue && constant.Value.ConstantValue.Value is null) 1855var leftConstantValueOpt = operation.LeftOperand.ConstantValue; 1857var rightConstantValueOpt = operation.RightOperand.ConstantValue;

src\RoslynAnalyzers\Utilities\Compiler\CodeMetrics\ComputationalComplexityMetrics.cs (3)

128if (operation.ConstantValue.HasValue) 132distinctReferencedConstantsBuilder.Add(operation.ConstantValue.Value ?? s_nullConstantPlaceholder); 331return !operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null && o.Kind is not (OperationKind.Branch or OperationKindEx.Attribute)));

src\RoslynAnalyzers\Utilities\Compiler\Extensions\IOperationExtensions.cs (7)

65return operation.ConstantValue.HasValue && operation.ConstantValue.Value == null; 70if (operation.ConstantValue.HasValue && operation.ConstantValue.Value is bool value) 87var constantValue = operation.ConstantValue; 140if (operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null))) 818(current.ConstantValue.HasValue || current.Type != null))

src\Analyzers\Core\Analyzers\PopulateSwitch\AbstractPopulateSwitchExpressionDiagnosticAnalyzer.cs (1)

43ConstantValueEquals(constantPattern.Value.ConstantValue, value))

src\Analyzers\Core\Analyzers\PopulateSwitch\AbstractPopulateSwitchStatementDiagnosticAnalyzer.cs (2)

48ConstantValueEquals(singleValueCase.Value.ConstantValue, value)) 53ConstantValueEquals(constantPattern.Value.ConstantValue, value))

src\Analyzers\Core\Analyzers\PopulateSwitch\PopulateSwitchExpressionHelpers.cs (3)

44if (arm.Pattern is IConstantPatternOperation { Value.ConstantValue: { HasValue: true, Value: null } }) 78if (operation is IConstantPatternOperation { Value.ConstantValue: { HasValue: true, Value: not null and var value } }) 120if (pattern is IConstantPatternOperation { Value: IConversionOperation { ConstantValue: { HasValue: true, Value: null } } })

src\Analyzers\Core\Analyzers\PopulateSwitch\PopulateSwitchStatementHelpers.cs (6)

44if (patternCaseClause.Guard.ConstantValue.Value is true) 89if (value.ConstantValue is { HasValue: true, Value: null }) 119if (value is null || !value.ConstantValue.HasValue) 129if (value.ConstantValue.Value is null) 132var caseValue = IntegerUtilities.ToInt64(value.ConstantValue.Value); 197case ISingleValueCaseClauseOperation { Value: IConversionOperation { ConstantValue: { HasValue: true, Value: null } } }:

src\Analyzers\Core\Analyzers\RemoveRedundantEquality\AbstractRemoveRedundantEqualityDiagnosticAnalyzer.cs (2)

39if (operation.Pattern is not IConstantPatternOperation { Value.ConstantValue.Value: true or false } constantPattern) 127ConstantValue: { HasValue: true, Value: bool constValue }

src\Analyzers\Core\Analyzers\RemoveUnnecessarySuppressions\SuppressMessageAttributeState.cs (2)

138value.ConstantValue.HasValue && 139value.ConstantValue.Value is string stringValue)

src\Analyzers\Core\Analyzers\RemoveUnusedMembers\AbstractRemoveUnusedMembersDiagnosticAnalyzer.cs (1)

371if (!initializer.Value.ConstantValue.HasValue)

src\Analyzers\Core\Analyzers\RemoveUnusedParametersAndValues\AbstractRemoveUnusedParametersAndValuesDiagnosticAnalyzer.SymbolStartAnalyzer.BlockAnalyzer.cs (2)

192value.ConstantValue.HasValue) 659if (assignmentValue.ConstantValue.HasValue)

src\Analyzers\Core\Analyzers\SimplifyInterpolation\AbstractSimplifyInterpolationHelpers.cs (3)

102if (invocation.Arguments[0].Value is ILiteralOperation { ConstantValue: { HasValue: true, Value: string value } } literal && 225? alignmentOp is { ConstantValue.HasValue: true } 262=> argument.Value.ConstantValue is { HasValue: true, Value: ' ' };

src\Analyzers\Core\Analyzers\UseConditionalExpression\ForAssignment\UseConditionalExpressionForAssignmentHelpers.cs (2)

166if (binaryOperation.LeftOperand.ConstantValue is { HasValue: true, Value: null }) 170else if (binaryOperation.RightOperand.ConstantValue is { HasValue: true, Value: null })

src\Analyzers\Core\Analyzers\UseConditionalExpression\UseConditionalExpressionHelpers.cs (1)

118=> trueValue is ILiteralOperation { ConstantValue: { HasValue: true, Value: bool value } } && value == val;

src\Analyzers\Core\Analyzers\UseThrowExpression\AbstractUseThrowExpressionDiagnosticAnalyzer.cs (2)

264return operation.ConstantValue.HasValue && 265operation.ConstantValue.Value == null;

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\OperationExtensions.cs (1)

381=> operand is ILiteralOperation { ConstantValue: { HasValue: true, Value: null } };

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)

148if (current.BranchValue.ConstantValue.HasValue && current.BranchValue.ConstantValue.Value is bool constant)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.Walker.cs (1)

484if (currentOperation.ConstantValue.Value is null)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Extensions\SyntaxGeneratorExtensions_Negate.cs (5)

438var numericValue = numericLiteralExpression.ConstantValue; 477if (operation?.Kind == OperationKind.Literal && operation.ConstantValue.HasValue && operation.ConstantValue.Value is true) 481else if (operation?.Kind == OperationKind.Literal && operation.ConstantValue.HasValue && operation.ConstantValue.Value is false)

src\Analyzers\CSharp\Analyzers\UseIndexOrRangeOperator\CSharpUseRangeOperatorDiagnosticAnalyzer.cs (2)

334=> operation.ConstantValue.HasValue && 335operation.ConstantValue.Value is int i &&

src\Analyzers\CSharp\Analyzers\UsePatternCombinators\CSharpUsePatternCombinatorsAnalyzer.cs (1)

163: operation.ConstantValue.HasValue;

src\Analyzers\CSharp\Analyzers\UseUtf8StringLiteral\UseUtf8StringLiteralDiagnosticAnalyzer.cs (1)

207if (element.ConstantValue.Value is not byte b)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Simplification\Simplifiers\CastSimplifier.cs (2)

1014=> operation.ConstantValue.HasValue && operation.ConstantValue.Value is null;

src\Analyzers\CSharp\CodeFixes\ConvertToRecord\ConvertToRecordHelpers.cs (4)

705ConstantValue.HasValue: true, 706ConstantValue.Value: false, 889ConstantValue.HasValue: true, 890ConstantValue.Value: true,

src\Analyzers\CSharp\CodeFixes\UseIndexOrRangeOperator\CSharpUseRangeOperatorCodeFixProvider.cs (1)

265=> (int)operation.ConstantValue.Value!; // Safe as we already confirmed this was an int when making the result.

src\Analyzers\CSharp\Analyzers\UseIndexOrRangeOperator\CSharpUseRangeOperatorDiagnosticAnalyzer.cs (2)

334=> operation.ConstantValue.HasValue && 335operation.ConstantValue.Value is int i &&

src\Analyzers\CSharp\Analyzers\UsePatternCombinators\CSharpUsePatternCombinatorsAnalyzer.cs (1)

163: operation.ConstantValue.HasValue;

src\Analyzers\CSharp\Analyzers\UseUtf8StringLiteral\UseUtf8StringLiteralDiagnosticAnalyzer.cs (1)

207if (element.ConstantValue.Value is not byte b)

src\Analyzers\CSharp\CodeFixes\ConvertToRecord\ConvertToRecordHelpers.cs (4)

705ConstantValue.HasValue: true, 706ConstantValue.Value: false, 889ConstantValue.HasValue: true, 890ConstantValue.Value: true,

src\Analyzers\CSharp\CodeFixes\UseIndexOrRangeOperator\CSharpUseRangeOperatorCodeFixProvider.cs (1)

265=> (int)operation.ConstantValue.Value!; // Safe as we already confirmed this was an int when making the result.

Semantics\ConstantTests.cs (1)

3532Assert.Equal(stringTextBuilder.ToString(), literalOperation.ConstantValue);

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Simplification\Simplifiers\CastSimplifier.cs (2)

1014=> operation.ConstantValue.HasValue && operation.ConstantValue.Value is null;

ConvertIfToSwitch\AbstractConvertIfToSwitchCodeRefactoringProvider.Analyzer.cs (1)

446: operation.ConstantValue.HasValue;

src\Analyzers\Core\Analyzers\PopulateSwitch\AbstractPopulateSwitchExpressionDiagnosticAnalyzer.cs (1)

43ConstantValueEquals(constantPattern.Value.ConstantValue, value))

src\Analyzers\Core\Analyzers\PopulateSwitch\AbstractPopulateSwitchStatementDiagnosticAnalyzer.cs (2)

48ConstantValueEquals(singleValueCase.Value.ConstantValue, value)) 53ConstantValueEquals(constantPattern.Value.ConstantValue, value))

src\Analyzers\Core\Analyzers\PopulateSwitch\PopulateSwitchExpressionHelpers.cs (3)

44if (arm.Pattern is IConstantPatternOperation { Value.ConstantValue: { HasValue: true, Value: null } }) 78if (operation is IConstantPatternOperation { Value.ConstantValue: { HasValue: true, Value: not null and var value } }) 120if (pattern is IConstantPatternOperation { Value: IConversionOperation { ConstantValue: { HasValue: true, Value: null } } })

src\Analyzers\Core\Analyzers\PopulateSwitch\PopulateSwitchStatementHelpers.cs (6)

44if (patternCaseClause.Guard.ConstantValue.Value is true) 89if (value.ConstantValue is { HasValue: true, Value: null }) 119if (value is null || !value.ConstantValue.HasValue) 129if (value.ConstantValue.Value is null) 132var caseValue = IntegerUtilities.ToInt64(value.ConstantValue.Value); 197case ISingleValueCaseClauseOperation { Value: IConversionOperation { ConstantValue: { HasValue: true, Value: null } } }:

src\Analyzers\Core\Analyzers\RemoveRedundantEquality\AbstractRemoveRedundantEqualityDiagnosticAnalyzer.cs (2)

39if (operation.Pattern is not IConstantPatternOperation { Value.ConstantValue.Value: true or false } constantPattern) 127ConstantValue: { HasValue: true, Value: bool constValue }

src\Analyzers\Core\Analyzers\RemoveUnnecessarySuppressions\SuppressMessageAttributeState.cs (2)

138value.ConstantValue.HasValue && 139value.ConstantValue.Value is string stringValue)

src\Analyzers\Core\Analyzers\RemoveUnusedMembers\AbstractRemoveUnusedMembersDiagnosticAnalyzer.cs (1)

371if (!initializer.Value.ConstantValue.HasValue)

src\Analyzers\Core\Analyzers\RemoveUnusedParametersAndValues\AbstractRemoveUnusedParametersAndValuesDiagnosticAnalyzer.SymbolStartAnalyzer.BlockAnalyzer.cs (2)

192value.ConstantValue.HasValue) 659if (assignmentValue.ConstantValue.HasValue)

src\Analyzers\Core\Analyzers\SimplifyInterpolation\AbstractSimplifyInterpolationHelpers.cs (3)

102if (invocation.Arguments[0].Value is ILiteralOperation { ConstantValue: { HasValue: true, Value: string value } } literal && 225? alignmentOp is { ConstantValue.HasValue: true } 262=> argument.Value.ConstantValue is { HasValue: true, Value: ' ' };

src\Analyzers\Core\Analyzers\UseConditionalExpression\ForAssignment\UseConditionalExpressionForAssignmentHelpers.cs (2)

166if (binaryOperation.LeftOperand.ConstantValue is { HasValue: true, Value: null }) 170else if (binaryOperation.RightOperand.ConstantValue is { HasValue: true, Value: null })

src\Analyzers\Core\Analyzers\UseConditionalExpression\UseConditionalExpressionHelpers.cs (1)

118=> trueValue is ILiteralOperation { ConstantValue: { HasValue: true, Value: bool value } } && value == val;

src\Analyzers\Core\Analyzers\UseThrowExpression\AbstractUseThrowExpressionDiagnosticAnalyzer.cs (2)

264return operation.ConstantValue.HasValue && 265operation.ConstantValue.Value == null;

src\RoslynAnalyzers\Utilities\Compiler\CodeMetrics\ComputationalComplexityMetrics.cs (3)

128if (operation.ConstantValue.HasValue) 132distinctReferencedConstantsBuilder.Add(operation.ConstantValue.Value ?? s_nullConstantPlaceholder); 331return !operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null && o.Kind is not (OperationKind.Branch or OperationKindEx.Attribute)));

src\RoslynAnalyzers\Utilities\Compiler\Extensions\IOperationExtensions.cs (7)

65return operation.ConstantValue.HasValue && operation.ConstantValue.Value == null; 70if (operation.ConstantValue.HasValue && operation.ConstantValue.Value is bool value) 87var constantValue = operation.ConstantValue; 140if (operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null))) 818(current.ConstantValue.HasValue || current.Type != null))

Compilation\OperationTreeVerifier.cs (2)

110if (operation.ConstantValue.HasValue) 113LogConstant(operation.ConstantValue);

Compilation\TestOperationVisitor.cs (8)

48var constantValue = operation.ConstantValue; 1362Assert.False(pattern.ConstantValue.HasValue); 1550Assert.False(operation.ConstantValue.HasValue); 1560Assert.False(operation.ConstantValue.HasValue); 1723if (!operation.Value.ConstantValue.HasValue || operation.Value.ConstantValue.Value != null) 1801Assert.False(operation.ConstantValue.HasValue); 1827Assert.False(operation.ConstantValue.HasValue);

Diagnostics\EmptyArrayAnalyzer.cs (1)

78Optional<object> arrayLength = arrayCreation.DimensionSizes[0].ConstantValue;

Diagnostics\LocalCouldBeConstAnalyzer.cs (1)

92if (initializer != null && initializer.Value.ConstantValue.HasValue)

Diagnostics\OperationTestAnalyzer.cs (24)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)

148if (current.BranchValue.ConstantValue.HasValue && current.BranchValue.ConstantValue.Value is bool constant)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\OperationExtensions.cs (1)

381=> operand is ILiteralOperation { ConstantValue: { HasValue: true, Value: null } };

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)

148if (current.BranchValue.ConstantValue.HasValue && current.BranchValue.ConstantValue.Value is bool constant)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.Walker.cs (1)

484if (currentOperation.ConstantValue.Value is null)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Extensions\SyntaxGeneratorExtensions_Negate.cs (5)

438var numericValue = numericLiteralExpression.ConstantValue; 477if (operation?.Kind == OperationKind.Literal && operation.ConstantValue.HasValue && operation.ConstantValue.Value is true) 481else if (operation?.Kind == OperationKind.Literal && operation.ConstantValue.HasValue && operation.ConstantValue.Value is false)

Analyzers\ComHostingDoesNotSupportGeneratedComInterfaceAnalyzer.cs (1)

46|| ctor.Arguments[0].Value.ConstantValue.Value is not true)

src\libraries\System.Runtime.InteropServices\gen\Common\OperationExtensions.cs (1)

47return operation is { ConstantValue: { HasValue: true, Value: null } };

Analyzers\CustomMarshallerAttributeAnalyzer.cs (1)

689if (marshalModeArgument.Value is not IFieldReferenceOperation { ConstantValue.Value: var marshalMode }

src\libraries\System.Runtime.InteropServices\gen\Common\OperationExtensions.cs (1)

47return operation is { ConstantValue: { HasValue: true, Value: null } };

src\libraries\System.Runtime.InteropServices\gen\Common\OperationExtensions.cs (1)

47return operation is { ConstantValue: { HasValue: true, Value: null } };

IOperation\IOperationTests.vb (1)

75Assert.Equal(CInt(literal1.ConstantValue.Value), 10)

src\RoslynAnalyzers\Utilities\Compiler\CodeMetrics\ComputationalComplexityMetrics.cs (3)

128if (operation.ConstantValue.HasValue) 132distinctReferencedConstantsBuilder.Add(operation.ConstantValue.Value ?? s_nullConstantPlaceholder); 331return !operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null && o.Kind is not (OperationKind.Branch or OperationKindEx.Attribute)));

src\RoslynAnalyzers\Utilities\Compiler\Extensions\IOperationExtensions.cs (7)

65return operation.ConstantValue.HasValue && operation.ConstantValue.Value == null; 70if (operation.ConstantValue.HasValue && operation.ConstantValue.Value is bool value) 87var constantValue = operation.ConstantValue; 140if (operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null))) 818(current.ConstantValue.HasValue || current.Type != null))

CSharpDoNotUseDebugAssertForInterpolatedStrings.cs (1)

68invocation.Arguments is [_, IArgumentOperation { Value: IInterpolatedStringOperation { ConstantValue.HasValue: false } }])

UpgradeToGeneratedRegexAnalyzer.cs (4)

183if (!argument.Value.ConstantValue.HasValue) 190_ = RegexParser.ParseOptionsInPattern((string)argument.Value.ConstantValue.Value!, RegexOptions.None); 206if (!argument.Value.ConstantValue.HasValue) 211RegexOptions value = (RegexOptions)(int)argument.Value.ConstantValue.Value!;

UpgradeToGeneratedRegexCodeFixer.cs (6)

263return patternArgument.Value.ConstantValue.Value as string; 270return optionsArgument is null || !optionsArgument.Value.ConstantValue.HasValue ? 272(RegexOptions)(int)optionsArgument.Value.ConstantValue.Value!; 287string optionsLiteral = Literal(((RegexOptions)(int)argument.Value.ConstantValue.Value!).ToString()); 299else if (argument.Value.ConstantValue.Value is string str && str.Contains('\\')) 305return generator.LiteralExpression(argument.Value.ConstantValue.Value);

src\RoslynAnalyzers\Utilities\Compiler\Extensions\IOperationExtensions.cs (7)

65return operation.ConstantValue.HasValue && operation.ConstantValue.Value == null; 70if (operation.ConstantValue.HasValue && operation.ConstantValue.Value is bool value) 87var constantValue = operation.ConstantValue; 140if (operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null))) 818(current.ConstantValue.HasValue || current.Type != null))

src\RoslynAnalyzers\Utilities\Compiler\CodeMetrics\ComputationalComplexityMetrics.cs (3)

128if (operation.ConstantValue.HasValue) 132distinctReferencedConstantsBuilder.Add(operation.ConstantValue.Value ?? s_nullConstantPlaceholder); 331return !operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null && o.Kind is not (OperationKind.Branch or OperationKindEx.Attribute)));

src\RoslynAnalyzers\Utilities\Compiler\Extensions\IOperationExtensions.cs (7)

65return operation.ConstantValue.HasValue && operation.ConstantValue.Value == null; 70if (operation.ConstantValue.HasValue && operation.ConstantValue.Value is bool value) 87var constantValue = operation.ConstantValue; 140if (operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null))) 818(current.ConstantValue.HasValue || current.Type != null))