70public SyntaxNode Syntax { get; }

29495SyntaxNode IOperation.Syntax => throw null;

131if (argumentOperation?.Syntax is not ArgumentSyntax routePatternArgumentSyntax ||

173if (invocation.Syntax is not InvocationExpressionSyntax { Expression: MemberAccessExpressionSyntax memberAccessExprSyntax }) 179SyntaxTree operationSyntaxTree = invocation.Syntax.SyntaxTree;

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

176return statement.Syntax; 181return statementIndex > 0 && blockStatement.Operations[statementIndex - 1] is { IsImplicit: false, Syntax: var priorSyntax }

43semanticFacts, semanticModel, rootOperation, declaredSymbol, rootOperation.Syntax.Span, includeDeclaration: true, cancellationToken) == true; 67if (!span.IntersectsWith(operation.Syntax.Span)) 70if (span.Contains(operation.Syntax.Span) && 76assignmentOperation.Syntax.RawKind == semanticFacts.SyntaxFacts.SyntaxKinds.SimpleAssignmentExpression) 83var typeInfo = semanticModel.GetTypeInfo(assignmentOperation.Value.Syntax, cancellationToken); 99var foreachInfo = semanticFacts.GetForEachSymbols(semanticModel, forEachLoop.Syntax); 111var syntax = variableDeclarator.GetVariableInitializer()!.Value.Syntax; 120var typeInfo = semanticModel.GetTypeInfo(operation.Syntax, cancellationToken);

59operationContext.Operation.Syntax.GetLocation(), targetMethod.GetDisplayName()));

105$"{OwningSymbol.GetType()}: {branchValueOperation.Syntax.GetLocation().GetLineSpan()}"); 113$"{OwningSymbol.GetType()}: {branchValueOperation.Syntax.GetLocation().GetLineSpan()}"); 542$"{operation.Syntax.GetLocation().GetLineSpan()}"); 544$"{operation.Syntax.GetLocation().GetLineSpan()}"); 564$"{operation.Syntax.GetLocation().GetLineSpan()}"); 566$"{operation.Syntax.GetLocation().GetLineSpan()}");

48throw new NotImplementedException($"Unexpected operation type {operation.GetType()}: {operation.Syntax.GetLocation().GetLineSpan()}");

124operationBlock.Syntax.GetLocation(),

35var diagnosticContext = new DiagnosticContext(Operation.Syntax.GetLocation(), reportDiagnostic);

57var location = Operation.Syntax.GetLocation();

50DiagnosticContext diagnosticContext = new(Operation.Syntax.GetLocation(), reportDiagnostic);

49DiagnosticContext diagnosticContext = new(Operation.Syntax.GetLocation(), reportDiagnostic);

50var location = Operation.Syntax.GetLocation();

80Location location = Operation.Syntax.GetLocation(); 90location = Operation.Syntax switch

48var location = Operation.Syntax.GetLocation();

97var method = op.Syntax.FirstAncestorOrSelf<MethodDeclarationSyntax>(); 118TraceWriteLine(firstBlockOp.Syntax.ToString()); 122TraceWriteLine(branchOp.Syntax.ToString());

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

123Diagnostic.Create(DiagDescriptors.AsyncCallInsideUsingBlock, invocation.Syntax.GetLocation());

101static void HandleMethod(OperationAnalysisContext context, IInvocationOperation op) => HandleSuspectType(context, (INamedTypeSymbol)op.TargetMethod.ReturnType, op.Syntax.GetLocation()); 103static void HandleConstructor(OperationAnalysisContext context, IObjectCreationOperation op) => HandleSuspectType(context, (INamedTypeSymbol)op.Type!, op.Syntax.GetLocation());

404var type = e.SemanticModel?.GetTypeInfo(e.Syntax).Type!; 492loggerSyntaxNode = arg.Syntax; 502argList.Add(a.Syntax.WithoutTrivia()); 509argList.Add(e.Syntax.WithoutTrivia()); 514argList.Add(arg.Syntax.WithoutTrivia());

71var argName = operation.Syntax.GetLastToken().Text;

33var diagnostic = Diagnostic.Create(DiagDescriptors.LegacyCollection, op.Syntax.GetLocation());

38var diagnostic = Diagnostic.Create(DiagDescriptors.LegacyLogging, op.Syntax.GetLocation());

28var diagnostic = Diagnostic.Create(DiagDescriptors.Split, op.Syntax.GetLocation());

59var diagnostic = Diagnostic.Create(DiagDescriptors.StartsEndsWith, op.Syntax.GetLocation(), op.TargetMethod.Name);

52var diagnostic = Diagnostic.Create(DiagDescriptors.StaticTime, op.Syntax.GetLocation()); 58var diagnostic = Diagnostic.Create(DiagDescriptors.StaticTime, op.Syntax.GetLocation());

42var diagnostic = Diagnostic.Create(DiagDescriptors.ValueTuple, op.Syntax.GetLocation()); 48var diagnostic = Diagnostic.Create(DiagDescriptors.ValueTuple, op.Syntax.GetLocation());

52var diagnostic = Diagnostic.Create(DiagDescriptors.CoalesceAssignment, op.Syntax.GetLocation()); 79var diagnostic = Diagnostic.Create(DiagDescriptors.Coalesce, op.Syntax.GetLocation());

111var diagnostic = Diagnostic.Create(DiagDescriptors.ConditionalAccess, op.Syntax.GetLocation());

69yield return Diagnostic.Create(DiagDescriptors.UsingToStringInLoggers, arg.Syntax.GetLocation());

35if (op.Syntax.IsKind(SyntaxKind.ThrowStatement)) 39op.Syntax.GetLocation(), 44else if (op.Syntax.IsKind(SyntaxKind.ThrowExpression)) 48var throwExpression = (ThrowExpressionSyntax)op.Syntax;

51var diagnostic = Diagnostic.Create(DiagDescriptors.ToInvariantString, op.Syntax.GetLocation());

33serviceItem.Operation.Syntax.GetLocation(),

51middlewareItem.Operation.Syntax.GetLocation(), 71useAuthorizationItem.Operation.Syntax.GetLocation(),

45middlewareItem.Operation.Syntax.GetLocation(),

62AddDiagnosticInformation(context, invocation.Syntax.GetLocation());

38AddDiagnosticWarning(context, invocation.Syntax.GetLocation());

41AddDiagnosticWarning(context, propertyReference.Syntax.GetLocation(), indexerValue, propertyName);

40AddDiagnosticWarning(context, methodReference.Syntax.GetLocation(), returnType); 66AddDiagnosticWarning(context, anonymousFunction.Syntax.GetLocation(), returnType);

43if (!argument.Value.Syntax.IsKind(SyntaxKind.NumericLiteralExpression)) 47argument.Syntax.GetLocation(), 48argument.Syntax.ToString()));

41var location = lambda.Syntax.GetLocation();

83returnOperation.Syntax.GetLocation(),

110DisallowReturningActionResultFromMapMethods(in context, wellKnownTypes, invocation, lambda, delegateCreation.Syntax); 140delegateCreation.Syntax); 151delegateCreation.Syntax); 165delegateCreation.Syntax); 184if (argumentOperation?.Syntax is not ArgumentSyntax routePatternArgumentSyntax ||

183return GetReceiverType(invocation.Instance.Syntax, invocation.SemanticModel, cancellationToken); 190return GetReceiverType(firstArg.Value.Syntax, invocation.SemanticModel, cancellationToken);

258var location = operation.Syntax.GetLocation(); 280var methodName = operation.Syntax 301location = Location.Create(operation.Syntax.SyntaxTree, targetSpan); 368var arguments = argument?.Syntax as ArgumentSyntax;

107propertyReference.Syntax.GetLocation(),

139context.Operation.Syntax.GetLocation(), 149context.Operation.Syntax.GetLocation(),

82invocation.Syntax.GetLocation()));

107propertyReference.Syntax.GetLocation(),

139context.Operation.Syntax.GetLocation(), 149context.Operation.Syntax.GetLocation(),

24InterceptableLocation = semanticModel.GetInterceptableLocation((InvocationExpressionSyntax)operation.Syntax)!; 31Diagnostics.Add(Diagnostic.Create(DiagnosticDescriptors.UnableToResolveMethod, Operation.Syntax.GetLocation())); 36Response.EmitRequiredDiagnostics(Diagnostics, Operation.Syntax.GetLocation()); 58parameterSymbol.EmitRequiredDiagnostics(Diagnostics, Operation.Syntax.GetLocation()); 79Operation.Syntax.GetLocation(), 156var memberAccessorExpression = ((MemberAccessExpressionSyntax)((InvocationExpressionSyntax)operation.Syntax).Expression); 164var lineSpan = operation.Syntax.SyntaxTree.GetLineSpan(invocationNameSpan); 166var filePath = operation.Syntax.SyntaxTree.GetInterceptorFilePath(operation.SemanticModel?.Compilation.Options.SourceReferenceResolver); 173var syntax = (InvocationExpressionSyntax)operation.Syntax;

116var location = endpoint.Operation.Syntax.GetLocation(); 152var location = endpoint.Operation.Syntax.GetLocation(); 165var location = endpoint.Operation.Syntax.GetLocation(); 463var location = endpoint.Operation.Syntax.GetLocation();

33context.Operation.Syntax.GetLocation(), 40context.Operation.Syntax.GetLocation(),

183return GetReceiverType(invocation.Instance.Syntax, invocation.SemanticModel, cancellationToken); 190return GetReceiverType(firstArg.Value.Syntax, invocation.SemanticModel, cancellationToken);

88capturedDiagnosticLocations.Add(parent.Syntax.GetLocation());

114var returnStatementSyntax = returnOperation.Syntax; 117ifOperation.Syntax.GetLocation(), 124ifOperation.Syntax.GetLocation(),

53var location = actualMetadata.ReturnOperation.ReturnedValue.Syntax.GetLocation();

183return GetReceiverType(invocation.Instance.Syntax, invocation.SemanticModel, cancellationToken); 190return GetReceiverType(firstArg.Value.Syntax, invocation.SemanticModel, cancellationToken);

48this(compilation: compilation, operation: operation, symbol: null, file: new SourceOrAdditionalFile(operation.Syntax.SyntaxTree), node: operation.Syntax)

2790? operationsToAnalyze.WhereAsArray(operation => analysisScope.ShouldAnalyze(operation.Syntax))

1268diagReporter.FilterSpanForLocalDiagnostics = operation.Syntax.FullSpan; 1643if (operation.Syntax != null && _shouldSkipAnalysisOnGeneratedCode(analyzer) && 1644_isGeneratedCodeLocation(operation.Syntax.SyntaxTree, operation.Syntax.Span, cancellationToken))

1296filterTree: operationBlocks[0].Syntax.SyntaxTree, filterSpan: null, isGeneratedCode: false, cancellationToken) 1440filterTree: operationBlocks[0].Syntax.SyntaxTree, filterSpan: null, isGeneratedCode: false, cancellationToken) 1853FilterTree = operation.Syntax.SyntaxTree;

1413return result ?? MakeInvalidOperation(originalOperation.Syntax, originalOperation.Type, ImmutableArray<IOperation>.Empty); 1673CaptureResultIfNotAlready(operation.Syntax, captureId, result); 1914AddStatement(new FlowCaptureOperation(captureId, operationOpt.Syntax, operationOpt) 2106return PopStackFrame(frame, new SimpleAssignmentOperation(operation.IsRef, PopOperand(), value, null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation))); 2118syntax: operation.Syntax, type: operation.Type, isImplicit: IsImplicit(operation))); 2129operation.Syntax, operation.Type, IsImplicit(operation)); 2140operation.Syntax, operation.Type, IsImplicit(operation)); 2151operation.Syntax, operation.Type, IsImplicit(operation)); 2234semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation))); 2248semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 2260semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 2386AddStatement(new FlowCaptureOperation(resultId, binOp.Syntax, OperationCloner.CloneOperation(capturedRight))); 2392AddStatement(new FlowCaptureOperation(resultId, binOp.Syntax, OperationCloner.CloneOperation(capturedLeft))); 2404semanticModel: null, operand.Syntax, operand.Type, constantValue: null, isImplicit: true); 2436AddStatement(new FlowCaptureOperation(resultId, binOp.Syntax, new LiteralOperation(semanticModel: null, left.Syntax, booleanType, constantValue, isImplicit: true))); 2445AddStatement(new FlowCaptureOperation(resultId, binOp.Syntax, condition)); 2452condition = new FlowCaptureReferenceOperation(resultId, binOp.Syntax, booleanType, constantValue: null); 2455semanticModel: null, binOp.Syntax, binOp.Type, binOp.GetConstantValue(), isImplicit: true); 2461semanticModel: null, operand.Syntax, type, constantValue, isImplicit: true); 2507semanticModel: null, condition.Syntax, booleanType, constantValue: null, isImplicit: true); 2532AddStatement(new FlowCaptureOperation(resultId, binOp.Syntax, resultFromLeft)); 2540AddStatement(new FlowCaptureOperation(resultId, binOp.Syntax, 2551binOp.Syntax, 2610semanticModel: null, condition.Syntax, unaryOperatorMethod.ReturnType, constantValue: null, isImplicit: true); 2621AddStatement(new FlowCaptureOperation(resultId, binOp.Syntax, OperationCloner.CloneOperation(capturedLeft))); 2630AddStatement(new FlowCaptureOperation(resultId, binOp.Syntax, 2641binOp.Syntax, 2683CaptureResultIfNotAlready(condition.RightOperand.Syntax, captureId, resultFromRight); 2695SyntaxNode leftSyntax = (lazyFallThrough.GetSingletonPredecessorOrDefault() != null ? condition.LeftOperand : condition).Syntax; 2741lastUnary.OperatorMethod, lastUnary.ConstrainedToType, semanticModel: null, lastUnary.Syntax, 2744operatorMethod: null, constrainedToType: null, semanticModel: null, condition.Syntax, 2989SyntaxNode valueSyntax = operationValue.Syntax; 3080AddStatement(new FlowCaptureOperation(resultCaptureId, operation.Value.Syntax, convertedTestExpression)); 3123AddStatement(new FlowCaptureOperation(valueCaptureId, locationCapture.Syntax, locationCapture)); 3187operation.Target.Syntax, 3202operation.Syntax, 3221AddStatement(new FlowCaptureOperation(intermediateValueCaptureId, whenNullValue.Syntax, whenNullValue)); 3226operation.Syntax, 3236syntax: operation.Syntax, 3254AddStatement(new FlowCaptureOperation(resultCaptureId, operation.Syntax, OperationCloner.CloneOperation(valueCapture))); 3270operation.Syntax, operation.Type, constantValue: operation.GetConstantValue(), isImplicit: true); 3278AddStatement(new FlowCaptureOperation(resultCaptureId, operation.Syntax, whenNullAssignment)); 3293semanticModel: null, child.Syntax, type, 3320return new IsNullOperation(operand.Syntax, operand, 3346ImmutableArray<IArgumentOperation>.Empty, semanticModel: null, value.Syntax, 3419result = new ExpressionStatementOperation(result, semanticModel: null, expressionStatement.Syntax, 3435AddStatement(new FlowCaptureOperation(resultCaptureId, currentConditionalAccess.WhenNotNull.Syntax, 3440CaptureResultIfNotAlready(currentConditionalAccess.WhenNotNull.Syntax, resultCaptureId, 3454SyntaxNode defaultValueSyntax = (operation.Operation == testExpression ? testExpression : operation).Syntax; 3532SyntaxNode testExpressionSyntax = testExpression.Syntax; 3572return FinishVisitingStatement(operation, new ExpressionStatementOperation(underlying, semanticModel: null, operation.Syntax, IsImplicit(operation))); 3792SyntaxNode syntax = exceptionDeclarationOrExpression.Syntax; 3837AddStatement(new ReturnOperation(returnedValue, OperationKind.YieldReturn, semanticModel: null, operation.Syntax, IsImplicit(operation))); 3934return new NoneOperation(children: ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, constantValue: null, isImplicit: true, type: null); 4021processResource(new LocalReferenceOperation(localSymbol, isDeclaration: false, semanticModel: null, declarator.Syntax, localSymbol.Type, 4083AddStatement(new FlowCaptureOperation(captureId, resource.Syntax, resource)); 4131AddStatement(new FlowCaptureOperation(captureId, resource.Syntax, resource)); 4192args, semanticModel: null, value.Syntax, 4197return new AwaitOperation(invocation, semanticModel: null, value.Syntax, _compilation.GetSpecialType(SpecialType.System_Void), isImplicit: true); 4217semanticModel: null, operand.Syntax, iDisposable, constantValue, isImplicit: true); 4249syntax: lockObject.Syntax, 4265operation.Syntax, 4352lockedValue.Syntax, 4354semanticModel: null, lockedValue.Syntax, 4370lockTaken = new LocalReferenceOperation(lockStatement.LockTakenSymbol, isDeclaration: true, semanticModel: null, lockedValue.Syntax, 4380lockedValue.Syntax, 4388lockedValue.Syntax, 4390semanticModel: null, lockedValue.Syntax, 4411IOperation condition = new LocalReferenceOperation(lockStatement.LockTakenSymbol, isDeclaration: false, semanticModel: null, lockedValue.Syntax, 4435lockedValue.Syntax, 4437semanticModel: null, lockedValue.Syntax, 4566operand.Syntax, targetType, constantValue: null, isImplicit: true); 4587AddStatement(new FlowCaptureOperation(localCopyCaptureId, operation.Collection.Syntax, collection)); 4589collection = new FlowCaptureReferenceOperation(localCopyCaptureId, operation.Collection.Syntax, collection.Type, constantValue: null); 4595IOperation invocation = makeInvocation(operation.Collection.Syntax, 4601AddStatement(new FlowCaptureOperation(enumeratorCaptureId, operation.Collection.Syntax, invocation)); 4603result = new FlowCaptureReferenceOperation(enumeratorCaptureId, operation.Collection.Syntax, info.GetEnumeratorMethod.ReturnType, constantValue: null); 4609result = new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Collection.Syntax, 4624return new AwaitOperation(moveNext, semanticModel: null, operation.Syntax, _compilation.GetSpecialType(SpecialType.System_Boolean), isImplicit: true); 4646operation.LoopControlVariable.Syntax, 4669declarator.Syntax, 4675declarator.Syntax, 4686operation.LoopControlVariable.Syntax, operation.LoopControlVariable.Type, 4691current, semanticModel: null, operation.LoopControlVariable.Syntax, 4699return makeInvocation(instance.Syntax, method, method.IsStatic ? null : instance, arguments); 4787operation.LoopControlVariable.Syntax, loopObject.Type, 4804return MakeInvalidOperation(operation.LimitValue.Syntax, booleanType, builder.ToImmutableAndFree()); 4829semanticModel: null, isInitialization ? value.Syntax : syntax, isImplicit: true); 4836semanticModel: null, operation.LimitValue.Syntax, method.ReturnType, 4875IOperation condition = tryCallObjectForLoopControlHelper(operation.LoopControlVariable.Syntax, 4950isUp = new LiteralOperation(semanticModel: null, stepValue.Syntax, booleanType, constantValue: ConstantValue.Create(false), isImplicit: true); 4952AddStatement(new FlowCaptureOperation(positiveFlagId, isUp.Syntax, isUp)); 4958IOperation literal = new LiteralOperation(semanticModel: null, stepValue.Syntax, stepValue.Type, 4972stepValue.Syntax, 4977AddStatement(new FlowCaptureOperation(positiveFlagId, isUp.Syntax, isUp)); 4994semanticModel: null, operation.InitialValue.Syntax, type: null, 5030IOperation condition = tryCallObjectForLoopControlHelper(operation.LimitValue.Syntax, 5126operation.LimitValue.Syntax, 5141condition = MakeInvalidOperation(operation.LimitValue.Syntax, booleanType, PopOperand(), limitReference); 5163operation.StepValue.Syntax, 5204operation.LimitValue.Syntax, 5224operation.LimitValue.Syntax, 5245var shiftConst = new LiteralOperation(semanticModel: null, operand.Syntax, _compilation.GetSpecialType(SpecialType.System_Int32), 5258operand.Syntax, 5273operand.Syntax, 5311controlVariableReferenceForAssignment.Syntax, 5346operation.StepValue.Syntax, 5362controlVariableReferenceForAssignment.Syntax, 5367controlVariableReferenceForAssignment.Syntax, 5397operation.StepValue.Syntax, 5414controlVariableReferenceForAssignment.Syntax, 5434declarator.Syntax, local.Type, constantValue: null, isImplicit: true); 5448return new FlowCaptureReferenceOperation(id, underlying.Syntax, underlying.Type, underlying.GetConstantValue()); 5591compareWith.Syntax, 5612patternClause.Pattern.Syntax, booleanType, isImplicit: true); 5835var initializationSemaphore = new StaticLocalInitializationSemaphoreOperation(localSymbol, declarator.Syntax, booleanType); 5849assignmentSyntax = declarator.Syntax; 5855assignmentSyntax = declaration.Syntax; 5860declaration.Syntax, 5878var localRef = new LocalReferenceOperation(localSymbol, isDeclaration: true, semanticModel: null, declarator.Syntax, localSymbol.Type, constantValue: null, isImplicit: true); 5935return new InvocationOperation(operation.TargetMethod, operation.ConstrainedToType, visitedInstance, operation.IsVirtual, visitedArguments, semanticModel: null, operation.Syntax, 5945return new FunctionPointerInvocationOperation(visitedPointer, visitedArguments, semanticModel: null, operation.Syntax, 5978IOperation initializedInstance = new NoPiaObjectCreationOperation(initializer: null, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 5990operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 5998var initializedInstance = new TypeParameterObjectCreationOperation(initializer: null, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6011hasDynamicArguments.ArgumentRefKinds, semanticModel: null, operation.Syntax, 6098result = new SimpleAssignmentOperation(assignmentOperation.IsRef, left, right, semanticModel: null, assignmentOperation.Syntax, 6236fieldReference.Syntax, fieldReference.Type, fieldReference.GetConstantValue(), IsImplicit(fieldReference)); 6240return new EventReferenceOperation(eventReference.Event, eventReference.ConstrainedToType, instance, semanticModel: null, eventReference.Syntax, 6246return new PropertyReferenceOperation(propertyReference.Property, propertyReference.ConstrainedToType, propertyArguments, instance, semanticModel: null, propertyReference.Syntax, 6252return new ArrayElementReferenceOperation(instance, indices, semanticModel: null, originalTarget.Syntax, originalTarget.Type, IsImplicit(originalTarget)); 6259semanticModel: null, originalTarget.Syntax, originalTarget.Type, IsImplicit(originalTarget)); 6271dynamicReference.ContainingType, semanticModel: null, dynamicReference.Syntax, 6362return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6368return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6376operation.Syntax, operation.Type, IsImplicit(operation)); 6401propertyReference.Instance.Syntax, propertyReference.Instance.Type, IsImplicit(propertyReference.Instance)); 6403semanticModel: null, propertyReference.Syntax, propertyReference.Type, IsImplicit(propertyReference)); 6406semanticModel: null, simpleAssignment.Syntax, simpleAssignment.Type, simpleAssignment.GetConstantValue(), IsImplicit(simpleAssignment)); 6420operation.Syntax, operation.Type, IsImplicit(operation)); 6494operation.Syntax, operation.Type, IsImplicit(operation)); 6540return new ArrayInitializerOperation(builder.ToImmutableAndFree(), semanticModel: null, initializer.Syntax, IsImplicit(initializer)); 6580spread.Syntax, 6594operation.Syntax, 6620return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6625return new FlowCaptureReferenceOperation(_currentInterpolatedStringHandlerCreationContext.HandlerPlaceholder, operation.Syntax, operation.Type, operation.GetConstantValue()); 6628return new InstanceReferenceOperation(operation.ReferenceKind, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6657dynamicMemberReference.ContainingType, semanticModel: null, dynamicMemberReference.Syntax, dynamicMemberReference.Type, IsImplicit(dynamicMemberReference)); 6666((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6677((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6683operation.ContainingType, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6689return new DeconstructionAssignmentOperation(visitedTarget, visitedValue, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6727return new TupleOperation(elementBuilder.ToImmutableAndFree(), tuple.NaturalType, semanticModel: null, tuple.Syntax, tuple.Type, IsImplicit(tuple)); 6737return new DeclarationExpressionOperation(VisitPreservingTupleOperations(operation.Expression), semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6785return new NoneOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 6791new NoneOperation(VisitArray(((Operation)operation).ChildOperations.ToImmutableArray()), semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation))); 6867ConditionalBranch(new FlowCaptureReferenceOperation(outParameterFlowCapture, outParameterPlaceholder.Syntax, outParameterPlaceholder.Type, constantValue: null), jumpIfTrue: false, resultBlock); 6914return new FlowCaptureReferenceOperation(handlerCaptureId, operation.Syntax, operation.Type, operation.GetConstantValue()); 6995return new FlowCaptureReferenceOperation(_currentInterpolatedStringHandlerCreationContext.OutPlaceholder, operation.Syntax, operation.Type, operation.GetConstantValue(), isInitialization: true); 7007return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), isImplicit: true); 7020return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), isImplicit: true); 7090rewrittenElement = new InterpolationOperation(rewrittenExpression, rewrittenAlignment, rewrittenFormatString, semanticModel: null, element.Syntax, IsImplicit(element)); 7095rewrittenElement = new InterpolatedStringTextOperation(rewrittenInterpolationText, semanticModel: null, element.Syntax, IsImplicit(element)); 7107return new InterpolatedStringOperation(partsBuilder.ToImmutableAndFree(), semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7123return new LiteralOperation(semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7128return new LiteralOperation(semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7133return new Utf8StringOperation(operation.Value, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7138return new LocalReferenceOperation(operation.Local, operation.IsDeclaration, semanticModel: null, operation.Syntax, 7144return new ParameterReferenceOperation(operation.Parameter, semanticModel: null, operation.Syntax, 7152operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7159operation.Syntax, operation.Type, IsImplicit(operation)); 7179return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 7188operation.Syntax, operation.Type, IsImplicit(operation)); 7195operation.Syntax, operation.Type, IsImplicit(operation)); 7200return new TypeOfOperation(operation.TypeOperand, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7205return new ParenthesizedOperation(VisitRequired(operation.Operand), semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7210return new AwaitOperation(VisitRequired(operation.Operation), semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7215return new SizeOfOperation(operation.TypeOperand, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7220return new StopOperation(semanticModel: null, operation.Syntax, IsImplicit(operation)); 7225return new IsTypeOperation(VisitRequired(operation.ValueOperand), operation.TypeOperand, operation.IsNegated, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7233operation.Syntax, operation.Parameter.Type, isImplicit: true); 7247operation.Syntax, fieldSymbol.ContainingType, isImplicit: true); 7249operation.Syntax, fieldSymbol.Type, constantValue: null, isImplicit: true); 7265operation.Syntax, propertySymbol.ContainingType, isImplicit: true); 7275operation.Syntax, parameter.Type, constantValue: null, isImplicit: true); 7279semanticModel: null, operation.Syntax, isImplicit: true); 7291semanticModel: null, operation.Syntax, propertySymbol.Type, isImplicit: true); 7304initializer.Syntax, rewrittenTarget.Type, constantValue: null, isImplicit: true); 7332semanticModel: null, operation.EventReference.Syntax, operation.EventReference.Type, IsImplicit(operation.EventReference)); 7345operation.Syntax, operation.Type, IsImplicit(operation)); 7378semanticModel: null, operation.EventReference.Syntax, operation.EventReference.Type, IsImplicit(operation.EventReference)); 7382operation.Syntax, IsImplicit(operation))); 7387return new AddressOfOperation(VisitRequired(operation.Reference), semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7394operation.Kind, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7399return new DiscardOperation(operation.DiscardSymbol, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7404return new DiscardPatternOperation(pat.InputType, pat.NarrowedType, semanticModel: null, pat.Syntax, IsImplicit(pat)); 7409return new OmittedArgumentOperation(semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7443return new PlaceholderOperation(operation.PlaceholderKind, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7449return new CollectionExpressionElementsPlaceholderOperation(semanticModel: null, operation.Syntax, operation.Type, operation.IsImplicit); 7454return new ConversionOperation(VisitRequired(operation.Operand), ((ConversionOperation)operation).ConversionConvertible, operation.IsTryCast, operation.IsChecked, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7459return new DefaultValueOperation(semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7470operation.Syntax, operation.Type, IsImplicit(operation)); 7502IOperation initializedInstance = new InvalidOperation(children.ToImmutableAndFree(), semanticModel: null, operation.Syntax, operation.Type, 7526return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, invalidOperation.Syntax, invalidOperation.Type, invalidOperation.GetConstantValue(), IsImplicit(invalidOperation)); 7533invalidOperation.Syntax, invalidOperation.Type, invalidOperation.GetConstantValue(), IsImplicit(operation))); 7552semanticModel: null, operation.Syntax, isImplicit); 7564return new ReDimClauseOperation(visitedOperand, visitedDimensionSizes, semanticModel: null, clause.Syntax, IsImplicit(clause)); 7575return new TranslatedQueryOperation(VisitRequired(operation.Operation), semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7581syntax: operation.Syntax, isImplicit: IsImplicit(operation)); 7592syntax: operation.Syntax, 7632syntax: operation.Syntax, 7644syntax: operation.Syntax, 7655syntax: operation.Syntax, 7668operation.Syntax, 7680operation.Syntax, 7694operation.Syntax, 7709operation.Syntax, 7719syntax: operation.Syntax, 7726operation.Syntax, operation.Type, IsImplicit(operation)); 7744return new RangeOperation(visitedLeftOperand, visitedRightOperand, operation.IsLifted, operation.Method, semanticModel: null, operation.Syntax, operation.Type, isImplicit: IsImplicit(operation)); 7790arm.Syntax, booleanType, IsImplicit(arm)); 7825? MakeInvalidOperation(operation.Syntax, type: _compilation.GetSpecialType(SpecialType.System_Object), ImmutableArray<IOperation>.Empty) 7827matchFailureCtor, initializer: null, ImmutableArray<IArgumentOperation>.Empty, semanticModel: null, operation.Syntax, 7863BlockOperation logicalBlock = BlockOperation.CreateTemporaryBlock(statementsBuilder.ToImmutableAndFree(), ((Operation)operation).OwningSemanticModel!, operation.Syntax); 7966semanticModel: null, operation.Syntax, operation.Type, isImplicit: true); 8042var valueCaptureRef = new FlowCaptureReferenceOperation(valueCaptureId, operation.Operand.Syntax, 8063var oldInstance = new FlowCaptureReferenceOperation(oldValueCaptureId, operation.Operand.Syntax, 8073var extraValueCaptureRef = new FlowCaptureReferenceOperation(extraValueCaptureId, operation.Operand.Syntax, 8127return new AttributeOperation(Visit(operation.Operation, captureIdForResult)!, semanticModel: null, operation.Syntax, IsImplicit(operation));

21return new NoneOperation(VisitArray(((Operation)operation).ChildOperations.ToImmutableArray()), ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.GetConstantValue(), operation.IsImplicit); 32return new DynamicObjectCreationOperation(Visit(operation.Initializer), VisitArray(operation.Arguments), ((HasDynamicArgumentsExpression)operation).ArgumentNames, ((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.IsImplicit); 37return new DynamicInvocationOperation(Visit(operation.Operation), VisitArray(operation.Arguments), ((HasDynamicArgumentsExpression)operation).ArgumentNames, ((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.IsImplicit); 42return new DynamicIndexerAccessOperation(Visit(operation.Operation), VisitArray(operation.Arguments), ((HasDynamicArgumentsExpression)operation).ArgumentNames, ((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.IsImplicit); 47return new InvalidOperation(VisitArray(((InvalidOperation)operation).Children), ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.GetConstantValue(), operation.IsImplicit);

41if (operation.Syntax == null) 51if (model is null || model.SyntaxTree != operation.Syntax.SyntaxTree) 53model = compilation.GetSemanticModel(operation.Syntax.SyntaxTree); 63return model.GetDiagnostics(operation.Syntax.Span, cancellationToken).Any(static d => d.DefaultSeverity == DiagnosticSeverity.Error);

113!argument.ContainsKey(operation.Syntax), 114$"Duplicate operation node for {operation.Syntax}. Existing node is {(argument.TryGetValue(operation.Syntax, out var original) ? (OperationKind?)original.Kind : null)}, new node is {operation.Kind}."); 115argument.Add(operation.Syntax, operation);

156base(semanticModel: null, original.Syntax, isImplicit)

163context.ReportDiagnostic(binary.Syntax.GetLocation().CreateDiagnostic(s_equalityRule, s_EqualityRuleProperties)); 195context.ReportDiagnostic(invocationOperation.Syntax.GetLocation().CreateDiagnostic(s_equalityRule, s_EqualityRuleProperties));

898fieldReferenceOperation.Syntax.SyntaxTree == argumentValueOperation.Syntax.SyntaxTree && 901fieldDeclaration.SyntaxTree == argumentValueOperation.Syntax.SyntaxTree && 918valueLocation = valueOperation.Syntax.GetLocation(); 1213var location = argument.Value.Syntax.GetLocation(); 1252operationAnalysisContext.ReportDiagnostic(argument.Value.Syntax.CreateDiagnostic(DoNotUseReservedDiagnosticIdRule, ruleId));

68operationContext.ReportDiagnostic(invocation.Syntax.CreateDiagnostic(Rule));

97document, objectCreation.Syntax, objectCreation.Constructor, objectCreation.Arguments, isUsedAsExtensionMethod: false, 103document, invocation.Syntax, invocation.TargetMethod, invocation.Arguments, IsExtensionMethodUsedAsSuch(invocation), 129var syntaxArguments = arguments.Skip(extensionMethodShift).Select(x => x.Syntax).ToList(); 205conditionalAccessMembers.Add(conditionalAccess.Operation.Syntax); 211var nodeToReplace = currentOperation.Syntax; 220var arguments = invocationOperation.Arguments.Select(argument => argument.Syntax); 229return new[] { instance.Syntax }.Concat(arguments); 259var expression = binaryOperation.Syntax; 268binaryOperation.LeftOperand.Syntax.WithoutLeadingTrivia(), 269binaryOperation.RightOperand.Syntax.WithoutTrailingTrivia()), 276binaryOperation.LeftOperand.Syntax.WithoutLeadingTrivia(), 277binaryOperation.RightOperand.Syntax.WithoutTrailingTrivia())

166var newLiteral = generator.LiteralExpression(fixInfo.FixValue).WithTriviaFrom(literal.Syntax); 167var newRoot = root.ReplaceNode(literal.Syntax, newLiteral);

78VerifySymbol(context.ReportDiagnostic, objectCreation.Constructor, context.Operation.Syntax); 79VerifyType(context.ReportDiagnostic, objectCreation.Type, context.Operation.Syntax); 83VerifySymbol(context.ReportDiagnostic, invocation.TargetMethod, context.Operation.Syntax); 84VerifyType(context.ReportDiagnostic, invocation.TargetMethod.ContainingType, context.Operation.Syntax); 88VerifySymbol(context.ReportDiagnostic, memberReference.Member, context.Operation.Syntax); 89VerifyType(context.ReportDiagnostic, memberReference.Member.ContainingType, context.Operation.Syntax); 93VerifyType(context.ReportDiagnostic, arrayCreation.Type, context.Operation.Syntax); 97VerifyType(context.ReportDiagnostic, addressOf.Type, context.Operation.Syntax); 103VerifySymbol(context.ReportDiagnostic, conversion.OperatorMethod, context.Operation.Syntax); 104VerifyType(context.ReportDiagnostic, conversion.OperatorMethod.ContainingType, context.Operation.Syntax); 112VerifySymbol(context.ReportDiagnostic, unary.OperatorMethod, context.Operation.Syntax); 113VerifyType(context.ReportDiagnostic, unary.OperatorMethod.ContainingType, context.Operation.Syntax); 121VerifySymbol(context.ReportDiagnostic, binary.OperatorMethod, context.Operation.Syntax); 122VerifyType(context.ReportDiagnostic, binary.OperatorMethod.ContainingType, context.Operation.Syntax); 130VerifySymbol(context.ReportDiagnostic, incrementOrDecrement.OperatorMethod, context.Operation.Syntax); 131VerifyType(context.ReportDiagnostic, incrementOrDecrement.OperatorMethod.ContainingType, context.Operation.Syntax); 136VerifyType(context.ReportDiagnostic, typeOfOperation.TypeOperand, context.Operation.Syntax);

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

176return statement.Syntax; 181return statementIndex > 0 && blockStatement.Operations[statementIndex - 1] is { IsImplicit: false, Syntax: var priorSyntax }

43semanticFacts, semanticModel, rootOperation, declaredSymbol, rootOperation.Syntax.Span, includeDeclaration: true, cancellationToken) == true; 67if (!span.IntersectsWith(operation.Syntax.Span)) 70if (span.Contains(operation.Syntax.Span) && 76assignmentOperation.Syntax.RawKind == semanticFacts.SyntaxFacts.SyntaxKinds.SimpleAssignmentExpression) 83var typeInfo = semanticModel.GetTypeInfo(assignmentOperation.Value.Syntax, cancellationToken); 99var foreachInfo = semanticFacts.GetForEachSymbols(semanticModel, forEachLoop.Syntax); 111var syntax = variableDeclarator.GetVariableInitializer()!.Value.Syntax; 120var typeInfo = semanticModel.GetTypeInfo(operation.Syntax, cancellationToken);

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

28if (cfg.OriginalOperation.Syntax.GetDiagnostics().Any(d => d.DefaultSeverity == DiagnosticSeverity.Error) ||

51var performCopyAnalysis = analyzerOptions.GetCopyAnalysisOption(rule, topmostBlock.Syntax.SyntaxTree, compilation, defaultValue: false); 52var nullCheckValidationMethods = analyzerOptions.GetNullCheckValidationMethodsOption(rule, topmostBlock.Syntax.SyntaxTree, compilation); 53var pointsToAnalysisKind = analyzerOptions.GetPointsToAnalysisKindOption(rule, topmostBlock.Syntax.SyntaxTree, compilation, defaultPointsToAnalysisKind);

184HandleHazardousOperation(operation.Syntax, nonValidatedLocations);

203operation.Syntax, 399assignmentOperation.Syntax, 423assignmentOperation.Syntax, 468visitedArgument.Value.Syntax, 492originalOperation.Syntax, 661returnValue.Syntax,

237return TaintedDataAbstractValue.CreateTainted(propertyReferenceOperation.Member, propertyReferenceOperation.Syntax, this.OwningSymbol); 324this.CacheAbstractValue(argumentOperation, TaintedDataAbstractValue.CreateTainted(argumentOperation.Parameter, argumentOperation.Syntax, method)); 333result = TaintedDataAbstractValue.CreateTainted(method, originalOperation.Syntax, this.OwningSymbol); 509TaintedDataAbstractValue taintedDataAbstractValue = TaintedDataAbstractValue.CreateTainted(arrayTypeSymbol, arrayCreationOperation.Syntax, this.OwningSymbol); 573this.TrackTaintedDataEnteringSink(targetMethod, originalOperation.Syntax.GetLocation(), sinkKinds, abstractValue.SourceOrigins); 609propertyReferenceOperation.Syntax.GetLocation(),

70pointsToAnalysisResult[o.Kind, o.Syntax]))); 93arguments.SelectAsArray(o => pointsToAnalysisResult[o.Kind, o.Syntax]), 94arguments.SelectAsArray(o => valueContentAnalysisResult[o.Kind, o.Syntax])));

151return Creation?.Syntax; 188return operation.Syntax;

76: this(symbol: null, indices: ImmutableArray<AbstractIndex>.Empty, instanceReferenceOperationSyntax: instanceReferenceOperation.Syntax,

130if (kvp.Key.Kind == operationKind && kvp.Key.Syntax == syntax)

1302Debug.Fail($"Unexpected 'null' target type for '{operation.Syntax}'");

49=> Create(analyzerOptions, rule, cfg.OriginalOperation.Syntax.SyntaxTree, compilation, defaultInterproceduralAnalysisKind, 101var tree = operation.Syntax.SyntaxTree;

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

101VerifySymbol(symbol, context.Operation.Syntax,

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

176return statement.Syntax; 181return statementIndex > 0 && blockStatement.Operations[statementIndex - 1] is { IsImplicit: false, Syntax: var priorSyntax }

43semanticFacts, semanticModel, rootOperation, declaredSymbol, rootOperation.Syntax.Span, includeDeclaration: true, cancellationToken) == true; 67if (!span.IntersectsWith(operation.Syntax.Span)) 70if (span.Contains(operation.Syntax.Span) && 76assignmentOperation.Syntax.RawKind == semanticFacts.SyntaxFacts.SyntaxKinds.SimpleAssignmentExpression) 83var typeInfo = semanticModel.GetTypeInfo(assignmentOperation.Value.Syntax, cancellationToken); 99var foreachInfo = semanticFacts.GetForEachSymbols(semanticModel, forEachLoop.Syntax); 111var syntax = variableDeclarator.GetVariableInitializer()!.Value.Syntax; 120var typeInfo = semanticModel.GetTypeInfo(operation.Syntax, cancellationToken);

78VerifySymbol(context.ReportDiagnostic, objectCreation.Constructor, context.Operation.Syntax); 79VerifyType(context.ReportDiagnostic, objectCreation.Type, context.Operation.Syntax); 83VerifySymbol(context.ReportDiagnostic, invocation.TargetMethod, context.Operation.Syntax); 84VerifyType(context.ReportDiagnostic, invocation.TargetMethod.ContainingType, context.Operation.Syntax); 88VerifySymbol(context.ReportDiagnostic, memberReference.Member, context.Operation.Syntax); 89VerifyType(context.ReportDiagnostic, memberReference.Member.ContainingType, context.Operation.Syntax); 93VerifyType(context.ReportDiagnostic, arrayCreation.Type, context.Operation.Syntax); 97VerifyType(context.ReportDiagnostic, addressOf.Type, context.Operation.Syntax); 103VerifySymbol(context.ReportDiagnostic, conversion.OperatorMethod, context.Operation.Syntax); 104VerifyType(context.ReportDiagnostic, conversion.OperatorMethod.ContainingType, context.Operation.Syntax); 112VerifySymbol(context.ReportDiagnostic, unary.OperatorMethod, context.Operation.Syntax); 113VerifyType(context.ReportDiagnostic, unary.OperatorMethod.ContainingType, context.Operation.Syntax); 121VerifySymbol(context.ReportDiagnostic, binary.OperatorMethod, context.Operation.Syntax); 122VerifyType(context.ReportDiagnostic, binary.OperatorMethod.ContainingType, context.Operation.Syntax); 130VerifySymbol(context.ReportDiagnostic, incrementOrDecrement.OperatorMethod, context.Operation.Syntax); 131VerifyType(context.ReportDiagnostic, incrementOrDecrement.OperatorMethod.ContainingType, context.Operation.Syntax); 136VerifyType(context.ReportDiagnostic, typeOfOperation.TypeOperand, context.Operation.Syntax);

100=> GetAnalyzerOptions(context.Options, context.Operation.Syntax.SyntaxTree);

34var node = context.Operation.Syntax;

51if (switchOperation.Syntax is not TSwitchSyntax switchBlock || IsSwitchTypeUnknown(switchOperation))

95if (!CanMemberAccessBeQualified(context.ContainingSymbol, instanceOperation.Syntax)) 103if (instanceOperation.Syntax is not TSimpleNameSyntax simpleName)

34var syntax = context.Operation.Syntax; 56var syntax = context.Operation.Syntax;

112reportDiagnostic(Diagnostic.Create(LegacyFormatTargetDescriptor, targetValueOperation.Syntax.GetLocation(), properties, targetSymbolString));

364var methods = _analyzer.SemanticFacts.GetDeconstructionAssignmentMethods(operation.SemanticModel!, operation.Syntax); 457if (value is null || value.Syntax is null) 465AnalyzeDefaultValueSyntax(semanticModel, value.Syntax, operationContext.CancellationToken); 539var symbols = _analyzer.SemanticFacts.GetForEachSymbols(operation.SemanticModel!, loopOperation.Syntax); 583var symbolInfo = nameofArgument.SemanticModel!.GetSymbolInfo(nameofArgument.Syntax, operationContext.CancellationToken);

99if (!symbolStartAnalyzer._compilationAnalyzer.TryGetOptions(firstBlock.Syntax.SyntaxTree, 116firstBlock.Syntax.SyntaxTree != filterTree) 126var root = firstBlock.Syntax.SyntaxTree.GetRoot(context.CancellationToken); 127var spanStart = firstBlock.Syntax.SpanStart; 140if (operationBlock.Syntax.GetDiagnostics().ToImmutableArrayOrEmpty().HasAnyErrors()) 151if (operationBlock.Syntax.DescendantNodes(descendIntoTrivia: true) 216value.Syntax.GetLocation(),

93additionalLocations: [interpolation.Syntax.GetLocation()],

93.SelectAsArray(interpolation.Syntax.SyntaxTree.GetLocation); 133!syntaxFacts.IsBaseExpression(instance.Syntax)) 150unnecessarySpans.AddRange(invocation.Syntax.Span 152.Subtract(GetSpanWithinLiteralQuotes(virtualCharService, literal.Syntax.GetFirstToken()))); 165unnecessarySpans.AddRange(invocation.Syntax.Span 178unnecessarySpans.AddRange(invocation.Syntax.Span 289var alignmentSyntax = alignmentOp.Syntax; 295unnecessarySpans.AddRange(invocation.Syntax.Span

128if (context.Operation.Syntax.GetDiagnostics().Any(diagnostic => diagnostic.Severity == DiagnosticSeverity.Error)) 151if (nextInvocation.Syntax is not TInvocationExpressionSyntax nextInvocationNode || 190nextInvocation.Syntax.GetLocation(), 208if (invocation.Syntax is not TInvocationExpressionSyntax invocationNode ||

41if (ifOperation.Syntax is not TIfStatementSyntax ifStatement)

53!syntaxFacts.AreEquivalent(trueAssignment.Target.Syntax, falseAssignment.Target.Syntax)) 94if (ContainsReference(nullCheckedExpression.Syntax, trueAssignment?.Target.Syntax) || 95ContainsReference(nullCheckedExpression.Syntax, falseAssignment?.Target.Syntax))

41if (syntaxFacts.SpansPreprocessorDirective(ifOperation.Syntax, whenFalse.Syntax)) 47if (HasRegularComments(syntaxFacts, whenTrue.Syntax) || 48HasRegularComments(syntaxFacts, whenFalse.Syntax)) 58var whenTrueSymbols = semanticModel.GetAllDeclaredSymbols(whenTrue.Syntax, cancellationToken, n => !syntaxFacts.IsAnonymousOrLocalFunction(n)); 59var whenFalseSymbols = semanticModel.GetAllDeclaredSymbols(whenFalse.Syntax, cancellationToken, n => !syntaxFacts.IsAnonymousOrLocalFunction(n)); 106if (!syntaxFacts.SupportsThrowExpression(anyThrow.Syntax.SyntaxTree.Options))

57var memberAccessSyntax = fieldReferenceOperation.Syntax;

72var option = context.Options.GetAnalyzerOptions(operation.Syntax.SyntaxTree).PreferSystemHashCode; 77var operationLocation = operation.Syntax.GetLocation();

77var throwStatementSyntax = throwOperation.Syntax; 129ifOperation.Syntax.GetLocation(), 130throwOperation.Exception.Syntax.GetLocation(), 131assignmentExpression.Value.Syntax.GetLocation(), 132expressionStatement.Syntax.GetLocation()); 149statements[ifOperationIndex + 1].Syntax, 150statements[expressionStatementIndex - 1].Syntax); 161var exprDataFlow = semanticModel.AnalyzeDataFlow(assignmentExpression.Target.Syntax); 272var throwStatement = throwOperation.Syntax;

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

64if (interpolation?.Syntax is TInterpolationSyntax interpolationSyntax &&

118trueValue.Syntax, falseValue.Syntax, formattingOptions, cancellationToken).ConfigureAwait(false); 143=> (TExpressionSyntax)operation.Condition.Syntax; 181var sourceSyntax = value.Syntax;

109var ifStatement = (TIfStatementSyntax)ifOperation.Syntax; 110var assignment = generator.AssignmentStatement(assignmentOperation.Target.Syntax, conditionalExpression); 115conditionalAccess.Operation.Syntax, 122ifOperation.Syntax, 140var localDeclaration = localDeclarationOperation.Syntax; 154editor.RemoveNode(ifOperation.Syntax, GetRemoveOptions(syntaxFacts, ifOperation.Syntax));

90editor.RemoveNode(falseStatement.Syntax, GetRemoveOptions(syntaxFacts, falseStatement.Syntax));

176return statement.Syntax; 181return statementIndex > 0 && blockStatement.Operations[statementIndex - 1] is { IsImplicit: false, Syntax: var priorSyntax }

43semanticFacts, semanticModel, rootOperation, declaredSymbol, rootOperation.Syntax.Span, includeDeclaration: true, cancellationToken) == true; 67if (!span.IntersectsWith(operation.Syntax.Span)) 70if (span.Contains(operation.Syntax.Span) && 76assignmentOperation.Syntax.RawKind == semanticFacts.SyntaxFacts.SyntaxKinds.SimpleAssignmentExpression) 83var typeInfo = semanticModel.GetTypeInfo(assignmentOperation.Value.Syntax, cancellationToken); 99var foreachInfo = semanticFacts.GetForEachSymbols(semanticModel, forEachLoop.Syntax); 111var syntax = variableDeclarator.GetVariableInitializer()!.Value.Syntax; 120var typeInfo = semanticModel.GetTypeInfo(operation.Syntax, cancellationToken);

1065Debug.Assert(isImplicit || target.Syntax != syntax || target.IsImplicit || boundConversion.ConversionGroupOpt != null); 1067isImplicit = isImplicit || (target.Syntax == syntax && !target.IsImplicit); 2410Debug.Assert(valueOperation.Syntax != part.Syntax);

40(SyntaxNode syntax, bool isImplicit) = expression.Syntax is { Parent: ArgumentSyntax or AttributeArgumentSyntax } ? (expression.Syntax.Parent, expression.WasCompilerGenerated) : (value.Syntax, true); 446syntax: value.Syntax, 464var assignmentSyntax = value.Syntax?.Parent ?? syntax;

23=> ((InvocationExpressionSyntax)invocationOperation.Syntax).Expression;

115=> GetCSharpAnalyzerOptions(context.Options, context.Operation.Syntax.SyntaxTree);

23var node = context.Operation.Syntax;

64if (conversionOperation.GetConversion().IsExplicit && conversionOperation.Syntax == castExpression)

269CSharpSemanticFacts.Instance.IsWrittenTo(semanticModel, instanceOperation.Syntax, cancellationToken)) 291if (CSharpSemanticFacts.Instance.IsWrittenTo(semanticModel, fieldReference.Syntax, cancellationToken)) 302if (CSharpSemanticFacts.Instance.IsWrittenTo(semanticModel, propertyReference.Syntax, cancellationToken)) 337if (CSharpSemanticFacts.Instance.IsWrittenTo(semanticModel, operation.Syntax, cancellationToken))

67protected override Location GetLocation(IOperation operation) => operation.Syntax.GetLocation();

69var statementAncestor = unusedSymbolWriteOperation.Syntax.FirstAncestorOrSelf<StatementSyntax>()?.Parent; 79!blockOperation.Syntax.IsKind(SyntaxKind.Block); 83switch (unusedDefinition.Syntax) 103if (unusedDefinition.Syntax.Parent is ForEachStatementSyntax forEachStatement && 104forEachStatement.Type == unusedDefinition.Syntax) 109return unusedDefinition.Syntax.GetLocation();

21return operation.Syntax switch

39if (block.Syntax.Parent is UnsafeStatementSyntax or CheckedStatementSyntax)

175if (subtraction.Syntax is not BinaryExpressionSyntax binaryExpression) 200if (CSharpSemanticFacts.Instance.IsInExpressionTree(semanticModel, instance.Syntax, infoCache.ExpressionOfTType, cancellationToken))

85if (CSharpSemanticFacts.Instance.IsInExpressionTree(semanticModel, operation.Syntax, infoCache.ExpressionOfTType, context.CancellationToken)) 95if (invocation.Syntax is not InvocationExpressionSyntax invocationSyntax || 191if (!CSharpSyntaxFacts.Instance.AreEquivalent(lengthOperation.Syntax, subtraction.RightOperand.Syntax)) 207if (!CSharpSyntaxFacts.Instance.AreEquivalent(startOperation.Syntax, subtraction.RightOperand.Syntax)) 245if (CSharpSyntaxFacts.Instance.AreEquivalent(startOperation.Syntax, subtraction.RightOperand.Syntax)) 307return !invocation.Syntax.IsLeftSideOfAnyAssignExpression() || indexer == null || !IsWriteableIndexer(invocation, indexer);

47CSharpSyntaxFacts.Instance.AreEquivalent(instance.Syntax, propertyRef.Instance.Syntax);

60context.Operation.Syntax is not UnaryPatternSyntax) 80Descriptor, context.Operation.Syntax.GetLocation(), notificationOption, context.Options, additionalLocations: null, properties: null)); 88var syntax = operation.Syntax;

154if (!AreEquivalent(target.Syntax, compareTarget.Syntax)) 167if (target.Syntax.DescendantNodesAndSelf().OfType<ArgumentSyntax>().Any(a => a.RefKindKeyword.Kind() is SyntaxKind.RefKeyword))

18return pattern?.Target.Syntax is ExpressionSyntax ? pattern : null; 49case IBinaryOperation { OperatorKind: ConditionalOr, Syntax: BinaryExpressionSyntax syntax } op: 52case IBinaryOperation { OperatorKind: ConditionalAnd, Syntax: BinaryExpressionSyntax syntax } op: 61case IIsTypeOperation { Syntax: BinaryExpressionSyntax binaryExpression } op: 64case IIsPatternOperation { Pattern.Syntax: PatternSyntax pattern } op: 101ConstantResult.Left when op.LeftOperand.Syntax is ExpressionSyntax left 106ConstantResult.Right when op.RightOperand.Syntax is ExpressionSyntax right 116ConstantResult.Left when op.LeftOperand.Syntax is ExpressionSyntax left 118ConstantResult.Right when op.RightOperand.Syntax is ExpressionSyntax right

512operation is IParameterReferenceOperation { Syntax: IdentifierNameSyntax parameterName } parameterReference) 574var symbols = semanticModel.LookupSymbols(operation.Syntax.SpanStart, name: parameter.Name);

185if (lockOperation.Syntax.ContainsYield())

81if (arrayCreationOperation.Syntax.Ancestors().OfType<AttributeSyntax>().Any()) 87if (arrayCreationOperation.Syntax.IsInExpressionTree(semanticModel, expressionType, context.CancellationToken)) 100if (arrayCreationOperation.Syntax is ImplicitArrayCreationExpressionSyntax or ArrayCreationExpressionSyntax) 102ReportArrayCreationDiagnostic(context, arrayCreationOperation.Syntax, option.Notification); 104else if (elements is [{ Syntax.Parent: ArgumentSyntax }, ..]) 107ReportParameterArrayDiagnostic(context, arrayCreationOperation.Syntax, elements, option.Notification, ArrayCreationOperationLocation.Descendants); 109else if (elements is [{ Syntax.Parent: (kind: SyntaxKind.CollectionInitializerExpression) }, ..]) 113ReportParameterArrayDiagnostic(context, arrayCreationOperation.Syntax, elements, option.Notification, ArrayCreationOperationLocation.Ancestors); 123var span = TextSpan.FromBounds(elements[0].Syntax.SpanStart, elements[^1].Syntax.Span.End);

279conversionOperation.Syntax == castNode && 1078if (IsExplicitCast(conversionOperation.Syntax)) 1597var argumentSyntax = argument?.Syntax as ArgumentSyntax;

223var argumentOp = invocationOp.Arguments.FirstOrDefault(a => a.Syntax == argument);

295? assignment.Syntax as ExpressionSyntax 305if (arg is { Parameter: IParameterSymbol param, Value.Syntax: ExpressionSyntax captured }) 385Value: IOperation { Syntax: ExpressionSyntax syntax }

157syntaxEditor.ReplaceNode(instanceReference.Syntax, IdentifierName("@this")); 159else if (instanceReference.Syntax is SimpleNameSyntax name)

38=> (VariableDeclaratorSyntax)declarator.Syntax;

46if (operation.Syntax is IfStatementSyntax { Condition: CheckedExpressionSyntax exp }) 54if (returnOperation.Syntax is ReturnStatementSyntax { Expression: CheckedExpressionSyntax exp })

20var throwStatement = (ThrowStatementSyntax)throwOperation.Syntax; 29var ifStatement = (IfStatementSyntax)originalIfStatement.Syntax;

165return (startExpr: null, startFromEnd: false, (ExpressionSyntax)subtraction.RightOperand.Syntax, endFromEnd: true); 170return (startExpr: null, startFromEnd: false, (ExpressionSyntax)result.InvocationOperation.Arguments[0].Value.Syntax, endFromEnd: false); 179return ((ExpressionSyntax)subtraction.RightOperand.Syntax, startFromEnd: true, endExpr: null, endFromEnd: false); 184return ((ExpressionSyntax)result.InvocationOperation.Arguments[1].Value.Syntax, startFromEnd: false, endExpr: null, endFromEnd: false); 200var startExpr = (ExpressionSyntax)startOperation.Syntax; 215endExpr = (ExpressionSyntax)endOperation.Syntax; 246return RangeExpression(leftOperand: null, WalkUpCheckedExpressions((ExpressionSyntax)result.Op1.Syntax)); 251return RangeExpression(leftOperand: null, IndexExpression(WalkUpCheckedExpressions((ExpressionSyntax)result.Op1.Syntax))); 265constant1 == 0 ? null : WalkUpCheckedExpressions((ExpressionSyntax)result.Op1.Syntax),

84editor.ReplaceNode(expression, IsPatternExpression((ExpressionSyntax)pattern.Target.Syntax, patternSyntax)); 139var governingType = semanticModel.GetTypeInfo(p.Target.Syntax).Type.RemoveNullableIfPresent();

119.Where(a => a.Initializer?.ElementValues.FirstOrDefault()?.Syntax.SpanStart == diagnostic.Location.SourceSpan.Start)

51if (tupleLeft.Syntax is TupleExpressionSyntax tupleLeftSyntax && 52tupleRight.Syntax is TupleExpressionSyntax tupleRightSyntax)

158=> blockStatement?.Syntax is BlockSyntax block 160: blockStatement?.Syntax;

2349ReportDiagnosticsCore(addDiagnostic, operation.Syntax.Location, $"Operation: {name}"); 3864context => context.ReportDiagnostic(CodeAnalysis.Diagnostic.Create(Rule, context.Operation.Syntax.GetLocation())), 3870context => context.ReportDiagnostic(CodeAnalysis.Diagnostic.Create(Rule, context.Operation.Syntax.GetLocation())),

1108context => analyzeNode(context.Operation.Syntax, context.ContainingSymbol, context.ReportDiagnostic), 1115blockEndContext.ReportDiagnostic(CodeAnalysis.Diagnostic.Create(DescriptorForBlockEnd, operationBlock.Syntax.GetLocation())); 1117if (operationBlock.Syntax is PropertyDeclarationSyntax or IndexerDeclarationSyntax) 1118throw new Exception($"Unexpected topmost node for operation block '{operationBlock.Syntax.Kind()}'"); 1826AssertEx.SetEqual(expectedOperationCallbacks, analyzer.AnalyzedOperations.Select(op => op.Syntax.ToString()).ToHashSet()); 1830AssertEx.SetEqual(expectedOperationInsideBlockCallbacks, analyzer.AnalyzedOperationsInsideOperationBlock.Select(op => op.Syntax.ToString()).ToHashSet());

12961context.ReportDiagnostic(CodeAnalysis.Diagnostic.Create(Descriptor_Field, walker.FieldReference.Syntax.Location)); 12964context.ReportDiagnostic(CodeAnalysis.Diagnostic.Create(Descriptor_Invalid, walker.Invalid.Syntax.Location));

52626_results.Enqueue($"{context.Operation.Syntax.ToString()} -> {context.ContainingSymbol.ToTestDisplayString()}");

1288VerifyFlowGraph(comp, operation.Parent.Parent.Syntax, @" 4469Assert.Equal(SyntaxKind.ClassDeclaration, context.Operation.Syntax.Kind()); 4473Assert.Equal(SyntaxKind.ClassDeclaration, context.Operation.Syntax.Kind()); 4477Assert.Equal(SyntaxKind.ConstructorDeclaration, context.Operation.Syntax.Kind()); 4491Assert.Equal(SyntaxKind.PrimaryConstructorBaseType, context.Operation.Syntax.Kind()); 4506Assert.Equal(SyntaxKind.BaseConstructorInitializer, context.Operation.Syntax.Kind()); 4527switch (context.Operation.Syntax.ToString()) 4573switch (context.Operation.Syntax.ToString()) 4657Assert.Equal("= 0", context.OperationBlocks[0].Syntax.ToString()); 4660Assert.Equal("Attr1(100)", context.OperationBlocks[1].Syntax.ToString()); 4668Assert.Equal("= 1", context.OperationBlocks[0].Syntax.ToString()); 4671Assert.Equal("Attr2(200)", context.OperationBlocks[1].Syntax.ToString()); 4674Assert.Equal("A(2)", context.OperationBlocks[2].Syntax.ToString()); 4682Assert.Equal("= 4", context.OperationBlocks[0].Syntax.ToString()); 4685Assert.Equal("Attr3(300)", context.OperationBlocks[1].Syntax.ToString()); 4690Assert.Equal(": base(5)", context.OperationBlocks[3].Syntax.ToString()); 4791Assert.Equal("= 0", context.OperationBlocks[0].Syntax.ToString()); 4794Assert.Equal("Attr1(100)", context.OperationBlocks[1].Syntax.ToString()); 4804Assert.Equal("= 1", context.OperationBlocks[0].Syntax.ToString()); 4807Assert.Equal("Attr2(200)", context.OperationBlocks[1].Syntax.ToString()); 4810Assert.Equal("A(2)", context.OperationBlocks[2].Syntax.ToString()); 4820Assert.Equal("= 4", context.OperationBlocks[0].Syntax.ToString()); 4823Assert.Equal("Attr3(300)", context.OperationBlocks[1].Syntax.ToString()); 4828Assert.Equal(": base(5)", context.OperationBlocks[3].Syntax.ToString()); 4865Assert.Equal("= 0", context.OperationBlocks[0].Syntax.ToString()); 4868Assert.Equal("Attr1(100)", context.OperationBlocks[1].Syntax.ToString()); 4876Assert.Equal("= 1", context.OperationBlocks[0].Syntax.ToString()); 4879Assert.Equal("Attr2(200)", context.OperationBlocks[1].Syntax.ToString()); 4882Assert.Equal("A(2)", context.OperationBlocks[2].Syntax.ToString()); 4890Assert.Equal("= 4", context.OperationBlocks[0].Syntax.ToString()); 4893Assert.Equal("Attr3(300)", context.OperationBlocks[1].Syntax.ToString()); 4898Assert.Equal(": base(5)", context.OperationBlocks[3].Syntax.ToString()); 5837Assert.Equal(SyntaxKind.RecordDeclaration, context.Operation.Syntax.Kind()); 5854switch (context.Operation.Syntax.ToString()) 5872switch (context.Operation.Syntax.ToString()) 5932Assert.Equal("= 0", context.OperationBlocks[0].Syntax.ToString()); 5935Assert.Equal("Attr1(100)", context.OperationBlocks[1].Syntax.ToString());

21317VerifyFlowGraph(comp, operation.Parent.Parent.Syntax, @" 26878Assert.Equal(SyntaxKind.RecordDeclaration, context.Operation.Syntax.Kind()); 26882Assert.Equal(SyntaxKind.RecordDeclaration, context.Operation.Syntax.Kind()); 26886Assert.Equal(SyntaxKind.ConstructorDeclaration, context.Operation.Syntax.Kind()); 26900Assert.Equal(SyntaxKind.PrimaryConstructorBaseType, context.Operation.Syntax.Kind()); 26915Assert.Equal(SyntaxKind.BaseConstructorInitializer, context.Operation.Syntax.Kind()); 26936switch (context.Operation.Syntax.ToString()) 26982switch (context.Operation.Syntax.ToString()) 27066Assert.Equal("= 0", context.OperationBlocks[0].Syntax.ToString()); 27069Assert.Equal("Attr1(100)", context.OperationBlocks[1].Syntax.ToString()); 27077Assert.Equal("= 1", context.OperationBlocks[0].Syntax.ToString()); 27080Assert.Equal("Attr2(200)", context.OperationBlocks[1].Syntax.ToString()); 27083Assert.Equal("A(2)", context.OperationBlocks[2].Syntax.ToString()); 27091Assert.Equal("= 4", context.OperationBlocks[0].Syntax.ToString()); 27094Assert.Equal("Attr3(300)", context.OperationBlocks[1].Syntax.ToString()); 27099Assert.Equal(": base(5)", context.OperationBlocks[3].Syntax.ToString()); 27200Assert.Equal("= 0", context.OperationBlocks[0].Syntax.ToString()); 27203Assert.Equal("Attr1(100)", context.OperationBlocks[1].Syntax.ToString()); 27213Assert.Equal("= 1", context.OperationBlocks[0].Syntax.ToString()); 27216Assert.Equal("Attr2(200)", context.OperationBlocks[1].Syntax.ToString()); 27219Assert.Equal("A(2)", context.OperationBlocks[2].Syntax.ToString()); 27229Assert.Equal("= 4", context.OperationBlocks[0].Syntax.ToString()); 27232Assert.Equal("Attr3(300)", context.OperationBlocks[1].Syntax.ToString()); 27237Assert.Equal(": base(5)", context.OperationBlocks[3].Syntax.ToString()); 27274Assert.Equal("= 0", context.OperationBlocks[0].Syntax.ToString()); 27277Assert.Equal("Attr1(100)", context.OperationBlocks[1].Syntax.ToString()); 27285Assert.Equal("= 1", context.OperationBlocks[0].Syntax.ToString()); 27288Assert.Equal("Attr2(200)", context.OperationBlocks[1].Syntax.ToString()); 27291Assert.Equal("A(2)", context.OperationBlocks[2].Syntax.ToString()); 27299Assert.Equal("= 4", context.OperationBlocks[0].Syntax.ToString()); 27302Assert.Equal("Attr3(300)", context.OperationBlocks[1].Syntax.ToString()); 27307Assert.Equal(": base(5)", context.OperationBlocks[3].Syntax.ToString());

19=> !operation.SemanticModel.AnalyzeControlFlow(operation.Syntax).EndPointIsReachable; 32=> !operation.SemanticModel.AnalyzeControlFlow(operation.Syntax).ExitPoints.Any(static n => n.IsKind(SyntaxKind.BreakStatement));

61IReturnOperation { ReturnedValue.Syntax: ExpressionSyntax value } => value, 62IThrowOperation { Exception.Syntax: ExpressionSyntax exception } => ThrowExpression(exception), 124var node = operation.Syntax;

58Syntax: var throwSyntax 65throwOperation.Syntax.GetLocation())); 106operation.Syntax.Parent is not ArrowExpressionClauseSyntax { Parent: PropertyDeclarationSyntax })

1101if (!ReturnOperationBelongsToMethod(returnOperation.Syntax, methodOperation.Syntax)) 1104var syntax = returnOperation.ReturnedValue?.Syntax ?? returnOperation.Syntax;

137instance.Syntax, (current, g) =>

115=> GetCSharpAnalyzerOptions(context.Options, context.Operation.Syntax.SyntaxTree);

23var node = context.Operation.Syntax;

64if (conversionOperation.GetConversion().IsExplicit && conversionOperation.Syntax == castExpression)

269CSharpSemanticFacts.Instance.IsWrittenTo(semanticModel, instanceOperation.Syntax, cancellationToken)) 291if (CSharpSemanticFacts.Instance.IsWrittenTo(semanticModel, fieldReference.Syntax, cancellationToken)) 302if (CSharpSemanticFacts.Instance.IsWrittenTo(semanticModel, propertyReference.Syntax, cancellationToken)) 337if (CSharpSemanticFacts.Instance.IsWrittenTo(semanticModel, operation.Syntax, cancellationToken))

67protected override Location GetLocation(IOperation operation) => operation.Syntax.GetLocation();

69var statementAncestor = unusedSymbolWriteOperation.Syntax.FirstAncestorOrSelf<StatementSyntax>()?.Parent; 79!blockOperation.Syntax.IsKind(SyntaxKind.Block); 83switch (unusedDefinition.Syntax) 103if (unusedDefinition.Syntax.Parent is ForEachStatementSyntax forEachStatement && 104forEachStatement.Type == unusedDefinition.Syntax) 109return unusedDefinition.Syntax.GetLocation();

21return operation.Syntax switch

39if (block.Syntax.Parent is UnsafeStatementSyntax or CheckedStatementSyntax)

175if (subtraction.Syntax is not BinaryExpressionSyntax binaryExpression) 200if (CSharpSemanticFacts.Instance.IsInExpressionTree(semanticModel, instance.Syntax, infoCache.ExpressionOfTType, cancellationToken))

85if (CSharpSemanticFacts.Instance.IsInExpressionTree(semanticModel, operation.Syntax, infoCache.ExpressionOfTType, context.CancellationToken)) 95if (invocation.Syntax is not InvocationExpressionSyntax invocationSyntax || 191if (!CSharpSyntaxFacts.Instance.AreEquivalent(lengthOperation.Syntax, subtraction.RightOperand.Syntax)) 207if (!CSharpSyntaxFacts.Instance.AreEquivalent(startOperation.Syntax, subtraction.RightOperand.Syntax)) 245if (CSharpSyntaxFacts.Instance.AreEquivalent(startOperation.Syntax, subtraction.RightOperand.Syntax)) 307return !invocation.Syntax.IsLeftSideOfAnyAssignExpression() || indexer == null || !IsWriteableIndexer(invocation, indexer);

47CSharpSyntaxFacts.Instance.AreEquivalent(instance.Syntax, propertyRef.Instance.Syntax);

60context.Operation.Syntax is not UnaryPatternSyntax) 80Descriptor, context.Operation.Syntax.GetLocation(), notificationOption, context.Options, additionalLocations: null, properties: null)); 88var syntax = operation.Syntax;

154if (!AreEquivalent(target.Syntax, compareTarget.Syntax)) 167if (target.Syntax.DescendantNodesAndSelf().OfType<ArgumentSyntax>().Any(a => a.RefKindKeyword.Kind() is SyntaxKind.RefKeyword))

18return pattern?.Target.Syntax is ExpressionSyntax ? pattern : null; 49case IBinaryOperation { OperatorKind: ConditionalOr, Syntax: BinaryExpressionSyntax syntax } op: 52case IBinaryOperation { OperatorKind: ConditionalAnd, Syntax: BinaryExpressionSyntax syntax } op: 61case IIsTypeOperation { Syntax: BinaryExpressionSyntax binaryExpression } op: 64case IIsPatternOperation { Pattern.Syntax: PatternSyntax pattern } op: 101ConstantResult.Left when op.LeftOperand.Syntax is ExpressionSyntax left 106ConstantResult.Right when op.RightOperand.Syntax is ExpressionSyntax right 116ConstantResult.Left when op.LeftOperand.Syntax is ExpressionSyntax left 118ConstantResult.Right when op.RightOperand.Syntax is ExpressionSyntax right

512operation is IParameterReferenceOperation { Syntax: IdentifierNameSyntax parameterName } parameterReference) 574var symbols = semanticModel.LookupSymbols(operation.Syntax.SpanStart, name: parameter.Name);

185if (lockOperation.Syntax.ContainsYield())

81if (arrayCreationOperation.Syntax.Ancestors().OfType<AttributeSyntax>().Any()) 87if (arrayCreationOperation.Syntax.IsInExpressionTree(semanticModel, expressionType, context.CancellationToken)) 100if (arrayCreationOperation.Syntax is ImplicitArrayCreationExpressionSyntax or ArrayCreationExpressionSyntax) 102ReportArrayCreationDiagnostic(context, arrayCreationOperation.Syntax, option.Notification); 104else if (elements is [{ Syntax.Parent: ArgumentSyntax }, ..]) 107ReportParameterArrayDiagnostic(context, arrayCreationOperation.Syntax, elements, option.Notification, ArrayCreationOperationLocation.Descendants); 109else if (elements is [{ Syntax.Parent: (kind: SyntaxKind.CollectionInitializerExpression) }, ..]) 113ReportParameterArrayDiagnostic(context, arrayCreationOperation.Syntax, elements, option.Notification, ArrayCreationOperationLocation.Ancestors); 123var span = TextSpan.FromBounds(elements[0].Syntax.SpanStart, elements[^1].Syntax.Span.End);

295? assignment.Syntax as ExpressionSyntax 305if (arg is { Parameter: IParameterSymbol param, Value.Syntax: ExpressionSyntax captured }) 385Value: IOperation { Syntax: ExpressionSyntax syntax }

157syntaxEditor.ReplaceNode(instanceReference.Syntax, IdentifierName("@this")); 159else if (instanceReference.Syntax is SimpleNameSyntax name)

38=> (VariableDeclaratorSyntax)declarator.Syntax;

46if (operation.Syntax is IfStatementSyntax { Condition: CheckedExpressionSyntax exp }) 54if (returnOperation.Syntax is ReturnStatementSyntax { Expression: CheckedExpressionSyntax exp })

20var throwStatement = (ThrowStatementSyntax)throwOperation.Syntax; 29var ifStatement = (IfStatementSyntax)originalIfStatement.Syntax;

165return (startExpr: null, startFromEnd: false, (ExpressionSyntax)subtraction.RightOperand.Syntax, endFromEnd: true); 170return (startExpr: null, startFromEnd: false, (ExpressionSyntax)result.InvocationOperation.Arguments[0].Value.Syntax, endFromEnd: false); 179return ((ExpressionSyntax)subtraction.RightOperand.Syntax, startFromEnd: true, endExpr: null, endFromEnd: false); 184return ((ExpressionSyntax)result.InvocationOperation.Arguments[1].Value.Syntax, startFromEnd: false, endExpr: null, endFromEnd: false); 200var startExpr = (ExpressionSyntax)startOperation.Syntax; 215endExpr = (ExpressionSyntax)endOperation.Syntax; 246return RangeExpression(leftOperand: null, WalkUpCheckedExpressions((ExpressionSyntax)result.Op1.Syntax)); 251return RangeExpression(leftOperand: null, IndexExpression(WalkUpCheckedExpressions((ExpressionSyntax)result.Op1.Syntax))); 265constant1 == 0 ? null : WalkUpCheckedExpressions((ExpressionSyntax)result.Op1.Syntax),

84editor.ReplaceNode(expression, IsPatternExpression((ExpressionSyntax)pattern.Target.Syntax, patternSyntax)); 139var governingType = semanticModel.GetTypeInfo(p.Target.Syntax).Type.RemoveNullableIfPresent();

119.Where(a => a.Initializer?.ElementValues.FirstOrDefault()?.Syntax.SpanStart == diagnostic.Location.SourceSpan.Start)

690Assert.Same(expectedRootSyntax, operation.Syntax);

363Assert.Equal(expected.Syntax, actual.Syntax); 370Assert.Equal(expected.Syntax, actual.Syntax);

6494Assert.Equal(SyntaxKind.RecordDeclaration, context.Operation.Syntax.Kind()); 6511switch (context.Operation.Syntax.ToString()) 6529switch (context.Operation.Syntax.ToString()) 6589Assert.Equal("= 0", context.OperationBlocks[0].Syntax.ToString()); 6592Assert.Equal("Attr1(100)", context.OperationBlocks[1].Syntax.ToString());

6811Assert.Same(context.ContainingSymbol.DeclaringSyntaxReferences.Single().SyntaxTree, context.Operation.Syntax.SyntaxTree); 6813Assert.Equal(SyntaxKind.InvocationExpression, context.Operation.Syntax.Kind()); 6815switch (context.Operation.Syntax.ToString()) 6832Assert.Same(context.ContainingSymbol.DeclaringSyntaxReferences.Single().GetSyntax(), context.Operation.Syntax); 6833Assert.Equal(SyntaxKind.CompilationUnit, context.Operation.Syntax.Kind()); 6835switch (context.Operation.Syntax.ToString()) 6891Assert.Equal(SyntaxKind.CompilationUnit, context.OperationBlocks.Single().Syntax.Kind()); 6893switch (context.OperationBlocks.Single().Syntax.ToString()) 6949Assert.Equal(SyntaxKind.CompilationUnit, context.OperationBlocks.Single().Syntax.Kind()); 6951switch (context.OperationBlocks.Single().Syntax.ToString()) 7443Assert.Equal(SyntaxKind.CompilationUnit, context.OperationBlocks.Single().Syntax.Kind()); 7445switch (context.OperationBlocks.Single().Syntax.ToString()) 7510Assert.Same(context.ContainingSymbol.DeclaringSyntaxReferences.Single().GetSyntax(), context.Operation.Syntax); 7511Assert.Equal(SyntaxKind.CompilationUnit, context.Operation.Syntax.Kind()); 7513switch (context.Operation.Syntax.ToString())

279conversionOperation.Syntax == castNode && 1078if (IsExplicitCast(conversionOperation.Syntax)) 1597var argumentSyntax = argument?.Syntax as ArgumentSyntax;

223var argumentOp = invocationOp.Arguments.FirstOrDefault(a => a.Syntax == argument);

51if (tupleLeft.Syntax is TupleExpressionSyntax tupleLeftSyntax && 52tupleRight.Syntax is TupleExpressionSyntax tupleRightSyntax)

158=> blockStatement?.Syntax is BlockSyntax block 160: blockStatement?.Syntax;

1169=> variableDeclarations.Add(context.Operation.Syntax), OperationKind.VariableDeclaration); 1189context.ReportDiagnostic(Diagnostic.Create(Descriptor, context.Operation.Syntax.GetLocation())),

83sections.Add(new AnalyzedSwitchSection(labels: default, defaultBodyOpt, defaultBodyOpt.Syntax)); 198return new AnalyzedSwitchSection(labels.ToImmutable(), operation.WhenTrue, operation.Syntax); 289ConstantResult.Left when op.LeftOperand.Syntax is TExpressionSyntax left 291ConstantResult.Right when op.RightOperand.Syntax is TExpressionSyntax right 324if (Supports(Feature.CaseGuard) && op.RightOperand.Syntax is TExpressionSyntax node) 334when Supports(Feature.IsTypePattern) && CheckTargetExpression(op.ValueOperand, out _) && op.Syntax is TIsExpressionSyntax node: 338when Supports(Feature.SourcePattern) && CheckTargetExpression(op.Value, out _) && op.Pattern.Syntax is TPatternSyntax pattern: 352ConstantResult.Left when op.LeftOperand.Syntax is TExpressionSyntax left 354ConstantResult.Right when op.RightOperand.Syntax is TExpressionSyntax right 387when CheckTargetExpression(low.Expression, high.Expression) => (low.Value.Syntax, high.Value.Syntax), 389when CheckTargetExpression(low.Expression, high.Expression) => (low.Value.Syntax, high.Value.Syntax), 394=> _syntaxFacts.AreEquivalent(left.Syntax, right.Syntax) && this.CheckTargetExpression(left, out _); 455if (operation.Syntax is not TExpressionSyntax expression) 478return CanImplicitlyConvert(operation.SemanticModel, operation.Syntax, switchTargetType);

243var syntax = statement.Syntax; 250syntaxFacts.IsThrowExpression(coalesceExpression.WhenNull.Syntax)) 368if (!CanOffer(blockStatement.Syntax)) 404if (!CanOffer(blockStatement.Syntax)) 448if (!CanOffer(blockStatement.Syntax)) 810return checkStatement.Syntax; 822return statementIndex > 0 && blockStatement.Operations[statementIndex - 1] is { IsImplicit: false, Syntax: var priorSyntax } 924assignmentExpression.Value.Syntax, 928var newRoot = root.ReplaceNode(assignmentExpression.Value.Syntax, coalesce);

374nodesToTrack.Add(blockStatement.Syntax); 396currentBlockStatement = (IBlockOperation?)currentSemanticModel.GetOperation(currentRoot.GetCurrentNode(blockStatement.Syntax)!, cancellationToken);

186foreach (var child in condition.Syntax.DescendantNodes().OfType<TExpressionSyntax>())

193_syntaxFacts.IsIdentifierName(argument.Value.Syntax) && argument.ArgumentKind == ArgumentKind.Explicit); 214_syntaxFacts.IsDeclarationExpression(argument.Value.Syntax) && argument.ArgumentKind == ArgumentKind.Explicit); 238_syntaxFacts.IsLiteralExpression(argument.Value.Syntax) && argument.ArgumentKind == ArgumentKind.Explicit); 291.WhereAsArray(argument => argument.Value.Syntax is TExpressionSyntax); 356callerSemanticModel.GetSymbolInfo(argument.Value.Syntax, cancellationToken).GetAnySymbol()?.Name)) 379.Where(argument => argument.Value.Syntax is TExpressionSyntax 380&& !_syntaxFacts.IsDeclarationExpression(argument.Value.Syntax)) 514initializer.ElementValues.SelectAsArray(op => op.Syntax))); 524return (TExpressionSyntax)syntaxGenerator.AddParentheses(argumentExpressionOperation.Syntax);

100=> GetAnalyzerOptions(context.Options, context.Operation.Syntax.SyntaxTree);

34var node = context.Operation.Syntax;

51if (switchOperation.Syntax is not TSwitchSyntax switchBlock || IsSwitchTypeUnknown(switchOperation))

95if (!CanMemberAccessBeQualified(context.ContainingSymbol, instanceOperation.Syntax)) 103if (instanceOperation.Syntax is not TSimpleNameSyntax simpleName)

34var syntax = context.Operation.Syntax; 56var syntax = context.Operation.Syntax;

112reportDiagnostic(Diagnostic.Create(LegacyFormatTargetDescriptor, targetValueOperation.Syntax.GetLocation(), properties, targetSymbolString));

364var methods = _analyzer.SemanticFacts.GetDeconstructionAssignmentMethods(operation.SemanticModel!, operation.Syntax); 457if (value is null || value.Syntax is null) 465AnalyzeDefaultValueSyntax(semanticModel, value.Syntax, operationContext.CancellationToken); 539var symbols = _analyzer.SemanticFacts.GetForEachSymbols(operation.SemanticModel!, loopOperation.Syntax); 583var symbolInfo = nameofArgument.SemanticModel!.GetSymbolInfo(nameofArgument.Syntax, operationContext.CancellationToken);

99if (!symbolStartAnalyzer._compilationAnalyzer.TryGetOptions(firstBlock.Syntax.SyntaxTree, 116firstBlock.Syntax.SyntaxTree != filterTree) 126var root = firstBlock.Syntax.SyntaxTree.GetRoot(context.CancellationToken); 127var spanStart = firstBlock.Syntax.SpanStart; 140if (operationBlock.Syntax.GetDiagnostics().ToImmutableArrayOrEmpty().HasAnyErrors()) 151if (operationBlock.Syntax.DescendantNodes(descendIntoTrivia: true) 216value.Syntax.GetLocation(),

93additionalLocations: [interpolation.Syntax.GetLocation()],

93.SelectAsArray(interpolation.Syntax.SyntaxTree.GetLocation); 133!syntaxFacts.IsBaseExpression(instance.Syntax)) 150unnecessarySpans.AddRange(invocation.Syntax.Span 152.Subtract(GetSpanWithinLiteralQuotes(virtualCharService, literal.Syntax.GetFirstToken()))); 165unnecessarySpans.AddRange(invocation.Syntax.Span 178unnecessarySpans.AddRange(invocation.Syntax.Span 289var alignmentSyntax = alignmentOp.Syntax; 295unnecessarySpans.AddRange(invocation.Syntax.Span

128if (context.Operation.Syntax.GetDiagnostics().Any(diagnostic => diagnostic.Severity == DiagnosticSeverity.Error)) 151if (nextInvocation.Syntax is not TInvocationExpressionSyntax nextInvocationNode || 190nextInvocation.Syntax.GetLocation(), 208if (invocation.Syntax is not TInvocationExpressionSyntax invocationNode ||

41if (ifOperation.Syntax is not TIfStatementSyntax ifStatement)

53!syntaxFacts.AreEquivalent(trueAssignment.Target.Syntax, falseAssignment.Target.Syntax)) 94if (ContainsReference(nullCheckedExpression.Syntax, trueAssignment?.Target.Syntax) || 95ContainsReference(nullCheckedExpression.Syntax, falseAssignment?.Target.Syntax))

41if (syntaxFacts.SpansPreprocessorDirective(ifOperation.Syntax, whenFalse.Syntax)) 47if (HasRegularComments(syntaxFacts, whenTrue.Syntax) || 48HasRegularComments(syntaxFacts, whenFalse.Syntax)) 58var whenTrueSymbols = semanticModel.GetAllDeclaredSymbols(whenTrue.Syntax, cancellationToken, n => !syntaxFacts.IsAnonymousOrLocalFunction(n)); 59var whenFalseSymbols = semanticModel.GetAllDeclaredSymbols(whenFalse.Syntax, cancellationToken, n => !syntaxFacts.IsAnonymousOrLocalFunction(n)); 106if (!syntaxFacts.SupportsThrowExpression(anyThrow.Syntax.SyntaxTree.Options))

57var memberAccessSyntax = fieldReferenceOperation.Syntax;

72var option = context.Options.GetAnalyzerOptions(operation.Syntax.SyntaxTree).PreferSystemHashCode; 77var operationLocation = operation.Syntax.GetLocation();

77var throwStatementSyntax = throwOperation.Syntax; 129ifOperation.Syntax.GetLocation(), 130throwOperation.Exception.Syntax.GetLocation(), 131assignmentExpression.Value.Syntax.GetLocation(), 132expressionStatement.Syntax.GetLocation()); 149statements[ifOperationIndex + 1].Syntax, 150statements[expressionStatementIndex - 1].Syntax); 161var exprDataFlow = semanticModel.AnalyzeDataFlow(assignmentExpression.Target.Syntax); 272var throwStatement = throwOperation.Syntax;

64if (interpolation?.Syntax is TInterpolationSyntax interpolationSyntax &&

118trueValue.Syntax, falseValue.Syntax, formattingOptions, cancellationToken).ConfigureAwait(false); 143=> (TExpressionSyntax)operation.Condition.Syntax; 181var sourceSyntax = value.Syntax;

109var ifStatement = (TIfStatementSyntax)ifOperation.Syntax; 110var assignment = generator.AssignmentStatement(assignmentOperation.Target.Syntax, conditionalExpression); 115conditionalAccess.Operation.Syntax, 122ifOperation.Syntax, 140var localDeclaration = localDeclarationOperation.Syntax; 154editor.RemoveNode(ifOperation.Syntax, GetRemoveOptions(syntaxFacts, ifOperation.Syntax));

90editor.RemoveNode(falseStatement.Syntax, GetRemoveOptions(syntaxFacts, falseStatement.Syntax));

80var symbolInfo = semanticModel.GetSymbolInfo(operation.Syntax, cancellationToken); 177operation.Syntax.GetLocation(),

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

176return statement.Syntax; 181return statementIndex > 0 && blockStatement.Operations[statementIndex - 1] is { IsImplicit: false, Syntax: var priorSyntax }

43semanticFacts, semanticModel, rootOperation, declaredSymbol, rootOperation.Syntax.Span, includeDeclaration: true, cancellationToken) == true; 67if (!span.IntersectsWith(operation.Syntax.Span)) 70if (span.Contains(operation.Syntax.Span) && 76assignmentOperation.Syntax.RawKind == semanticFacts.SyntaxFacts.SyntaxKinds.SimpleAssignmentExpression) 83var typeInfo = semanticModel.GetTypeInfo(assignmentOperation.Value.Syntax, cancellationToken); 99var foreachInfo = semanticFacts.GetForEachSymbols(semanticModel, forEachLoop.Syntax); 111var syntax = variableDeclarator.GetVariableInitializer()!.Value.Syntax; 120var typeInfo = semanticModel.GetTypeInfo(operation.Syntax, cancellationToken);

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

686VerifyOperationTreeSpine(semanticModel, set, child.Syntax); 690Assert.True(semanticModel.Root.FullSpan.Contains(child.Syntax.FullSpan));

304Assert.True(node == operation.Syntax, $"Expected : {node} - Actual : {operation.Syntax}"); 316roots.Add((operation, semanticModel.GetDeclaredSymbol(operation.Syntax))); 337explicitNodeMap.Add(operation.Syntax, operation); 341Assert.False(true, $"Duplicate explicit node for syntax ({operation.Syntax.RawKind}): {operation.Syntax.ToString()}"); 371if (blockOperation.Syntax.SyntaxTree.Options.Kind != SourceCodeKind.Script)

78var declaredSymbol = model.GetDeclaredSymbol(operationRoot.Syntax); 349var model = compilation.GetSemanticModel(graph.OriginalOperation.Syntax.SyntaxTree); 350if (model.GetDiagnostics(graph.OriginalOperation.Syntax.Span). 525referencesAfter.All(r => isLongLivedCaptureReferenceSyntax(r.Syntax)), 545VisualBasicSyntaxNode syntax = applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)candidate.Syntax); 572VisualBasicSyntaxNode syntax = applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)candidate.Syntax); 597return reference.Syntax is CSharp.Syntax.SwitchExpressionSyntax switchExpr && switchExpr.Arms.Count == 0; 610CSharpSyntaxNode syntax = applyParenthesizedOrNullSuppressionIfAnyCS((CSharpSyntaxNode)candidate.Syntax); 626VisualBasicSyntaxNode syntax = applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)candidate.Syntax); 653CSharpSyntaxNode syntax = applyParenthesizedOrNullSuppressionIfAnyCS((CSharpSyntaxNode)candidate.Syntax); 664VisualBasicSyntaxNode syntax = applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)candidate.Syntax); 692VisualBasicSyntaxNode syntax = applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)candidate.Syntax); 696if (query.Syntax is VisualBasic.Syntax.QueryExpressionSyntax querySyntax && 698aggregate.AggregateKeyword.SpanStart < candidate.Syntax.SpanStart && 699aggregate.IntoKeyword.SpanStart > candidate.Syntax.SpanStart && 829SyntaxNode captureReferenceSyntax = reference.Syntax; 867CSharpSyntaxNode referenceSyntax = applyParenthesizedOrNullSuppressionIfAnyCS((CSharpSyntaxNode)reference.Syntax); 880CSharpSyntaxNode referenceSyntax = applyParenthesizedOrNullSuppressionIfAnyCS((CSharpSyntaxNode)reference.Syntax); 911Syntax: CSharpSyntaxNode syntax 954if (binOp.Syntax is CSharp.Syntax.BinaryExpressionSyntax binOpSyntax && 956binOpSyntax.Left == applyParenthesizedOrNullSuppressionIfAnyCS((CSharpSyntaxNode)reference.Syntax) && 957binOpSyntax.Right == applyParenthesizedOrNullSuppressionIfAnyCS((CSharpSyntaxNode)binOp.RightOperand.Syntax)) 964var referenceSyntax = applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)reference.Syntax); 965if (binOp.Syntax is VisualBasic.Syntax.BinaryExpressionSyntax binOpSyntax && 968binOpSyntax.Right == applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)binOp.RightOperand.Syntax)) 972else if (binOp.Syntax is VisualBasic.Syntax.RangeCaseClauseSyntax range && 975range.UpperBound == applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)binOp.RightOperand.Syntax)) 979else if (binOp.Syntax is VisualBasic.Syntax.CaseStatementSyntax caseStmt && 983caseStmt.Cases.Contains(applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)binOp.RightOperand.Syntax) as CaseClauseSyntax)) 1000assignment.Syntax.Parent is VisualBasic.Syntax.ForStatementSyntax forStmt && 1001assignment.Syntax == forStmt.ControlVariable && 1002reference.Syntax == assignment.Syntax && 1003assignment.Value.Syntax == forStmt.StepClause.StepValue) 1013if (isLongLivedCaptureReferenceSyntax(reference.Syntax)) 1048CSharpSyntaxNode syntax = applyParenthesizedOrNullSuppressionIfAnyCS((CSharpSyntaxNode)isNull.Operand.Syntax); 1059VisualBasicSyntaxNode syntax = applyParenthesizedIfAnyVB((VisualBasicSyntaxNode)isNull.Operand.Syntax); 1080if (whenNotNull.Contains(candidate.Syntax))

131Assert.NotNull(operation.Syntax); 132LogString($" (Syntax: {GetSnippetFromSyntax(operation.Syntax)})"); 300_explicitNodeMap.Add(operation.Syntax, operation); 304Assert.False(true, $"Duplicate explicit node for syntax ({operation.Syntax.RawKind}): {operation.Syntax.ToString()}"); 321Assert.True(operation.Syntax.Language == operation.Language);

47var syntax = operation.Syntax; 201explicitNodeMap.Add(descendant.Syntax, descendant); 205Assert.False(true, $"Duplicate explicit node for syntax ({descendant.Syntax.RawKind}): {descendant.Syntax.ToString()}"); 559Assert.False(operation.Instance.IsImplicit, $"Implicit {nameof(IInstanceReferenceOperation)} on {operation.Syntax}"); 589Assert.True(operation.Descendants().All(n => n.IsImplicit), $"Explicit node in default argument value ({operation.Syntax.RawKind}): {operation.Syntax.ToString()}"); 669Assert.False(operation.Instance.IsImplicit, $"Implicit {nameof(IInstanceReferenceOperation)} on {operation.Syntax}"); 764CheckOperators(operation.SemanticModel, operation.Syntax); 799CheckOperators(operation.SemanticModel, operation.Syntax); 1183if (operation.Syntax.Language == LanguageNames.CSharp) 1422if (operation.Syntax.IsKind(CSharp.SyntaxKind.VarPattern) || 1424operation.Syntax.IsKind(CSharp.SyntaxKind.SingleVariableDesignation)) 1436(operation.Syntax as CSharp.Syntax.DeclarationPatternSyntax)?.Designation ?? 1437(operation.Syntax as CSharp.Syntax.VarPatternSyntax)?.Designation ?? 1438(operation.Syntax as CSharp.Syntax.VariableDesignationSyntax); 1470var designation = (operation.Syntax as CSharp.Syntax.ListPatternSyntax)?.Designation; 1507var designation = (operation.Syntax as CSharp.Syntax.RecursivePatternSyntax)?.Designation;

53Report(operationContext, conversion.Syntax); 66Report(operationContext, invocation.Instance.Syntax);

1258return _controlFlowGraphMapOpt.Values.OrderBy(flowGraphAndSymbol => flowGraphAndSymbol.Graph.OriginalOperation.Syntax.SpanStart).ToImmutableArray(); 1353ReportDiagnostic(operationContext.ReportDiagnostic, operationContext.Operation.Syntax.GetLocation()); 1365ReportDiagnostic(operationContext.ReportDiagnostic, operationContext.Operation.Syntax.GetLocation()); 1445var diagnostic = Diagnostic.Create(Descriptor, operation.Syntax.GetLocation(), operation.Field.Name, operation.Field.ConstantValue); 1466var diagnostic = Diagnostic.Create(Descriptor, operationContext.Operation.Syntax.GetLocation(), operationContext.ContainingSymbol.Name); 2074operationContext.ReportDiagnostic(Diagnostic.Create(OperationRule, Location.None, symbolStartContext.Symbol.Name, operationContext.ContainingSymbol.Name, operationContext.Operation.Syntax.ToString(), _analyzerId)); 2149diagnostics.Add(Diagnostic.Create(OperationOrderingRule, Location.None, symbolStartContext.Symbol, operationContext.Operation.Syntax.ToString(), _analyzerId)); 2761ReportDiagnostics($"RegisterOperationAction({operationContext.Operation.Syntax}) in RegisterSymbolStartAction", operationContext.Operation.Syntax.SyntaxTree, operationContext.ContainingSymbol, operationContext.ReportDiagnostic), 2775ReportDiagnostics($"RegisterOperationAction({operationContext.Operation.Syntax})", operationContext.Operation.Syntax.SyntaxTree, operationContext.ContainingSymbol, operationContext.ReportDiagnostic), 2788ReportDiagnostics($"RegisterOperationAction({operationContext.Operation.Syntax}) in RegisterOperationBlockStartAction", operationContext.Operation.Syntax.SyntaxTree, operationContext.ContainingSymbol, operationContext.ReportDiagnostic), 2891context => context.ReportDiagnostic(Diagnostic.Create(Descriptor, context.Operation.Syntax.GetLocation())), 2946context.RegisterOperationAction(context => HandleCallback(context.Operation.Syntax.GetLocation(), context.Compilation, context.ReportDiagnostic, context.CancellationToken), OperationKind.VariableDeclaration);

66SyntaxNode syntax = increment.Syntax;

83Report(operationContext, arrayCreation.Syntax);

59operationContext.ReportDiagnostic(Diagnostic.Create(InvalidStatementDescriptor, operationContext.Operation.Syntax.GetLocation())); 63operationContext.ReportDiagnostic(Diagnostic.Create(InvalidExpressionDescriptor, operationContext.Operation.Syntax.GetLocation())); 73operationContext.ReportDiagnostic(Diagnostic.Create(IsInvalidDescriptor, operationContext.Operation.Syntax.GetLocation())); 109operationContext.ReportDiagnostic(Diagnostic.Create(ExpressionDescriptor, operationContext.Operation.Syntax.GetLocation())); 213Report(operationContext, forLoop.Syntax, BigForDescriptor); 453Report(operationContext, switchOperation.Value.Syntax, SparseSwitchDescriptor); 457Report(operationContext, switchOperation.Value.Syntax, NoDefaultSwitchDescriptor); 461Report(operationContext, switchOperation.Value.Syntax, OnlyDefaultSwitchDescriptor); 549operationContext.ReportDiagnostic(Diagnostic.Create(InvalidArgumentDescriptor, argument.Syntax.GetLocation())); 555operationContext.ReportDiagnostic(Diagnostic.Create(UseDefaultArgumentDescriptor, invocation.Syntax.GetLocation(), argument.Parameter.Name)); 569Report(operationContext, invocation.Syntax, BigParamArrayArgumentsDescriptor); 592Report(operationContext, argument.Syntax, OutOfNumericalOrderArgumentsDescriptor); 635operationContext.ReportDiagnostic(Diagnostic.Create(SeventeenDescriptor, literal.Syntax.GetLocation())); 670Report(operationContext, argument.Syntax, NullArgumentsDescriptor); 716Report(operationContext, initializer.Syntax, initializer.Kind == OperationKind.FieldReference ? DoNotUseFieldInitializerDescriptor : DoNotUsePropertyInitializerDescriptor); 757Report(operationContext, assignment.Syntax, DoNotUseMemberAssignmentDescriptor); 797Report(operationContext, initializer.Syntax, DoNotUseLargeListOfArrayInitializersDescriptor); 845Report(operationContext, declarationStatement.Syntax, TooManyLocalVarDeclarationsDescriptor); 905Report(operationContext, caseClause.Syntax, HasDefaultCaseDescriptor); 912Report(operationContext, switchSection.Syntax, MultipleCaseClausesDescriptor); 955instanceReference.Syntax.GetLocation())); 1034operationContext.ReportDiagnostic(Diagnostic.Create(EventReferenceDescriptor, operationContext.Operation.Syntax.GetLocation())); 1042operationContext.ReportDiagnostic(Diagnostic.Create(eventAssignment.Adds ? HandlerAddedDescriptor : HandlerRemovedDescriptor, operationContext.Operation.Syntax.GetLocation())); 1046operationContext.ReportDiagnostic(Diagnostic.Create(InvalidEventDescriptor, eventAssignment.Syntax.GetLocation())); 1054operationContext.ReportDiagnostic(Diagnostic.Create(PropertyReferenceDescriptor, operationContext.Operation.Syntax.GetLocation())); 1061operationContext.ReportDiagnostic(Diagnostic.Create(FieldReferenceDescriptor, operationContext.Operation.Syntax.GetLocation())); 1068operationContext.ReportDiagnostic(Diagnostic.Create(MethodBindingDescriptor, operationContext.Operation.Syntax.GetLocation())); 1111operationContext.ReportDiagnostic(Diagnostic.Create(LongParamsDescriptor, argument.Value.Syntax.GetLocation())); 1126operationContext.ReportDiagnostic(Diagnostic.Create(InvalidConstructorDescriptor, creation.Syntax.GetLocation())); 1138operationContext.ReportDiagnostic(Diagnostic.Create(LongParamsDescriptor, argument.Value.Syntax.GetLocation())); 1184operationContext.ReportDiagnostic(Diagnostic.Create(EqualsValueDescriptor, equalsValue.Syntax.GetLocation())); 1195operationContext.ReportDiagnostic(Diagnostic.Create(EqualsValueDescriptor, equalsValue.Syntax.GetLocation())); 1226operationContext.ReportDiagnostic(Diagnostic.Create(NoneOperationDescriptor, operationContext.Operation.Syntax.GetLocation())); 1262operationContext.ReportDiagnostic(Diagnostic.Create(AddressOfDescriptor, addressOfOperation.Syntax.GetLocation())); 1266operationContext.ReportDiagnostic(Diagnostic.Create(InvalidAddressOfReferenceDescriptor, addressOfOperation.Reference.Syntax.GetLocation())); 1314operationContext.ReportDiagnostic(Diagnostic.Create(LambdaExpressionDescriptor, operationContext.Operation.Syntax.GetLocation())); 1323operationContext.ReportDiagnostic(Diagnostic.Create(TooManyStatementsInLambdaExpressionDescriptor, operationContext.Operation.Syntax.GetLocation())); 1336operationContext.ReportDiagnostic(Diagnostic.Create(NoneOperationInLambdaExpressionDescriptor, operationContext.Operation.Syntax.GetLocation())); 1408operationContext.ReportDiagnostic(Diagnostic.Create(StaticMemberDescriptor, operation.Syntax.GetLocation())); 1412operationContext.ReportDiagnostic(Diagnostic.Create(StaticMemberWithInstanceDescriptor, operation.Syntax.GetLocation())); 1452operationContext.ReportDiagnostic(Diagnostic.Create(LabelDescriptor, operationContext.Operation.Syntax.GetLocation())); 1466operationContext.ReportDiagnostic(Diagnostic.Create(GotoDescriptor, branch.Syntax.GetLocation())); 1518operationContext.ReportDiagnostic(Diagnostic.Create(OperatorAddMethodDescriptor, binary.Syntax.GetLocation())); 1523operationContext.ReportDiagnostic(Diagnostic.Create(DoubleMultiplyDescriptor, binary.Syntax.GetLocation())); 1534operationContext.ReportDiagnostic(Diagnostic.Create(OperatorMinusMethodDescriptor, unary.Syntax.GetLocation())); 1539operationContext.ReportDiagnostic(Diagnostic.Create(BooleanNotDescriptor, unary.Syntax.GetLocation())); 1544operationContext.ReportDiagnostic(Diagnostic.Create(BooleanNotDescriptor, unary.Syntax.GetLocation())); 1574binary.Syntax.GetLocation(), 1627binary.Syntax.GetLocation(), 1651unary.Syntax.GetLocation(), 1707paramsarrayArgumentOperation.Syntax.GetLocation())); 1731if (operation.Syntax == null) 1791operationContext.ReportDiagnostic(Diagnostic.Create(InvalidBinaryDescriptor, binary.Syntax.GetLocation())); 1799operationContext.ReportDiagnostic(Diagnostic.Create(InvalidUnaryDescriptor, unary.Syntax.GetLocation())); 1807operationContext.ReportDiagnostic(Diagnostic.Create(InvalidIncrementDescriptor, inc.Syntax.GetLocation())); 1848operationContext.ReportDiagnostic(Diagnostic.Create(ConditionalAccessOperationDescriptor, conditionalAccess.Syntax.GetLocation())); 1857operationContext.ReportDiagnostic(Diagnostic.Create(ConditionalAccessInstanceOperationDescriptor, conditionalAccessInstance.Syntax.GetLocation())); 1897operationContext.ReportDiagnostic(Diagnostic.Create(InvalidConversionExpressionDescriptor, conversion.Syntax.GetLocation())); 1935operationContext.ReportDiagnostic(Diagnostic.Create(ForLoopConditionCrashDescriptor, forLoop.LimitValue.Syntax.GetLocation())); 1974operationContext.ReportDiagnostic(Diagnostic.Create(UnaryTrueDescriptor, unary.Syntax.GetLocation())); 1978operationContext.ReportDiagnostic(Diagnostic.Create(UnaryFalseDescriptor, unary.Syntax.GetLocation())); 2015operationContext.ReportDiagnostic(Diagnostic.Create(AssignmentOperationDescriptor, operationContext.Operation.Syntax.GetLocation())); 2052operationContext.ReportDiagnostic(Diagnostic.Create(LiteralDescriptor, literal.Syntax.GetLocation(), literal.Syntax.ToString())); 2080Diagnostic.Create(OperationActionDescriptor, operationContext.Operation.Syntax.GetLocation(), "Operation", "Analysis")); 2111Diagnostic.Create(OperationActionDescriptor, operationContext.Operation.Syntax.GetLocation(), "Operation", "CompilationStart within Analysis"));

260syntax = value.Syntax 336value.Syntax, 348Dim syntax As SyntaxNode = If(value.Syntax?.Parent, expression.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

176return statement.Syntax; 181return statementIndex > 0 && blockStatement.Operations[statementIndex - 1] is { IsImplicit: false, Syntax: var priorSyntax }

43semanticFacts, semanticModel, rootOperation, declaredSymbol, rootOperation.Syntax.Span, includeDeclaration: true, cancellationToken) == true; 67if (!span.IntersectsWith(operation.Syntax.Span)) 70if (span.Contains(operation.Syntax.Span) && 76assignmentOperation.Syntax.RawKind == semanticFacts.SyntaxFacts.SyntaxKinds.SimpleAssignmentExpression) 83var typeInfo = semanticModel.GetTypeInfo(assignmentOperation.Value.Syntax, cancellationToken); 99var foreachInfo = semanticFacts.GetForEachSymbols(semanticModel, forEachLoop.Syntax); 111var syntax = variableDeclarator.GetVariableInitializer()!.Value.Syntax; 120var typeInfo = semanticModel.GetTypeInfo(operation.Syntax, cancellationToken);

123operation.TargetMethod.ToMinimalDisplayString(operation.SemanticModel, operation.Syntax.SpanStart), 124targetType.ToMinimalDisplayString(operation.SemanticModel, operation.Syntax.SpanStart))); 163operation.Syntax.GetLocation())); 183operation.Syntax.GetLocation())); 193operation.Syntax.GetLocation())); 202IConversionOperation conversion => (conversion.Operand.Type, conversion.Operand.Syntax.GetLocation()), 203IOperation op => (op.Type, op.Syntax.GetLocation()) 210var invocationSyntax = (InvocationExpressionSyntax)invocation.Syntax; 237ITypeOfOperation typeOf => (typeOf.TypeOperand, ((TypeOfExpressionSyntax)typeOf.Syntax).Type.GetLocation()),

652DiagnosticReporter managedTypeReporter = DiagnosticReporter.CreateForLocation(managedTypeArgument.Value.Syntax.GetLocation(), context.ReportDiagnostic); 657DiagnosticReporter managedTypeReporter = DiagnosticReporter.CreateForLocation(((TypeOfExpressionSyntax)managedTypeOfOp.Syntax).Type.GetLocation(), context.ReportDiagnostic); 673DiagnosticReporter marshallerTypeReporter = DiagnosticReporter.CreateForLocation(marshallerTypeArgument.Value.Syntax.GetLocation(), context.ReportDiagnostic); 678DiagnosticReporter marshallerTypeReporter = DiagnosticReporter.CreateForLocation(((TypeOfExpressionSyntax)marshallerTypeOfOp.Syntax).Type.GetLocation(), context.ReportDiagnostic); 692DiagnosticReporter marshalModeReporter = DiagnosticReporter.CreateForLocation(marshalModeArgument.Syntax.GetLocation(), context.ReportDiagnostic);

93DiagnosticReporter diagnosticFactory = DiagnosticReporter.CreateForLocation(marshallerEntryPointTypeArgument.Value.Syntax.GetLocation(), context.ReportDiagnostic); 102DiagnosticReporter.CreateForLocation(((TypeOfExpressionSyntax)typeOfOp.Syntax).Type.GetLocation(), context.ReportDiagnostic),

332AnalyzerAssert.DiagnosticLocation(testSource.MarkerLocations["MM1"], metadata.ReturnOperation.Syntax.GetLocation()); 337AnalyzerAssert.DiagnosticLocation(testSource.MarkerLocations["MM2"], metadata.ReturnOperation.Syntax.GetLocation());

1569_context.ReportDiagnostic(operation.Syntax.CreateDiagnostic(AvoidNullableWrapperRule, type, operation.Kind)); 1643var node = operation.Syntax;

57context.ReportDiagnostic(memberReference.Syntax.CreateDiagnostic(DoNotCallGetTestAccessorRule)); 67context.ReportDiagnostic(invocation.Syntax.CreateDiagnostic(DoNotCallGetTestAccessorRule)); 72context.ReportDiagnostic(invocation.Syntax.CreateDiagnostic(DoNotCallGetTestAccessorRule)); 82context.ReportDiagnostic(objectCreation.Syntax.CreateDiagnostic(DoNotCallGetTestAccessorRule));

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

176return statement.Syntax; 181return statementIndex > 0 && blockStatement.Operations[statementIndex - 1] is { IsImplicit: false, Syntax: var priorSyntax }

43semanticFacts, semanticModel, rootOperation, declaredSymbol, rootOperation.Syntax.Span, includeDeclaration: true, cancellationToken) == true; 67if (!span.IntersectsWith(operation.Syntax.Span)) 70if (span.Contains(operation.Syntax.Span) && 76assignmentOperation.Syntax.RawKind == semanticFacts.SyntaxFacts.SyntaxKinds.SimpleAssignmentExpression) 83var typeInfo = semanticModel.GetTypeInfo(assignmentOperation.Value.Syntax, cancellationToken); 99var foreachInfo = semanticFacts.GetForEachSymbols(semanticModel, forEachLoop.Syntax); 111var syntax = variableDeclarator.GetVariableInitializer()!.Value.Syntax; 120var typeInfo = semanticModel.GetTypeInfo(operation.Syntax, cancellationToken);

60context.ReportDiagnostic(Diagnostic.Create(Rule, operation.Syntax.GetLocation(), operation.Parameter.Name));

35if (operation.Syntax is CommonForEachStatementSyntax syntax

279conversionOperation.Syntax == castNode && 1078if (IsExplicitCast(conversionOperation.Syntax)) 1597var argumentSyntax = argument?.Syntax as ArgumentSyntax;

223var argumentOp = invocationOp.Arguments.FirstOrDefault(a => a.Syntax == argument);

51if (tupleLeft.Syntax is TupleExpressionSyntax tupleLeftSyntax && 52tupleRight.Syntax is TupleExpressionSyntax tupleRightSyntax)

158=> blockStatement?.Syntax is BlockSyntax block 160: blockStatement?.Syntax;

546context.ReportDiagnostic(Diagnostic.Create(RuleAttributeNotSpecificEnough, operation.Syntax.GetLocation(), attributeExplicitlyAllowsRelatedSymbol.ToDisplayString())); 566var ancestorNodes = operation.Syntax.AncestorsAndSelf(true); 613context.ReportDiagnostic(Diagnostic.Create(RuleCantParse, operation.Syntax.GetLocation())); 686context.ReportDiagnostic(Diagnostic.Create(Rule, operation.Syntax.GetLocation(), symbol.ContainingSymbol.ToDisplayString())); 688context.ReportDiagnostic(Diagnostic.Create(RuleHelper, operation.Syntax.GetLocation(), symbol.ToDisplayString()));

113SyntaxNode? syntaxNodeForDiagnostic = invocationOperation.Syntax; 146SyntaxNode? syntaxNodeForDiagnostic = operation.Syntax;

145select arg.Syntax); 383return argument.Value.Syntax; 405return argument.Syntax;

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

82operationBlockAnalysisContext.ReportDiagnostic(CreateDiagnostic(method, catchClause.Syntax.GetFirstToken()));

57return operation.Syntax.CreateDiagnostic(rule, properties, args); 67return operation.Syntax.CreateDiagnostic(rule, additionalLocations, properties, args);

33GetReceiverType(invocation.Instance.Syntax, compilation, cancellationToken) : 42GetReceiverType(firstArg.Value.Syntax, compilation, cancellationToken) : 196return operation.GetAncestor(OperationKind.ConditionalAccess, (IConditionalAccessOperation c) => c.Operation.Syntax == operation.Syntax); 224if (current.Syntax == operation.Syntax)

186=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 192=> operationBlock.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie); 198=> context.Operation.Syntax.FindNode(context.FilterSpan, findInTrivia, getInnermostNodeForTie);

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

176return statement.Syntax; 181return statementIndex > 0 && blockStatement.Operations[statementIndex - 1] is { IsImplicit: false, Syntax: var priorSyntax }

43semanticFacts, semanticModel, rootOperation, declaredSymbol, rootOperation.Syntax.Span, includeDeclaration: true, cancellationToken) == true; 67if (!span.IntersectsWith(operation.Syntax.Span)) 70if (span.Contains(operation.Syntax.Span) && 76assignmentOperation.Syntax.RawKind == semanticFacts.SyntaxFacts.SyntaxKinds.SimpleAssignmentExpression) 83var typeInfo = semanticModel.GetTypeInfo(assignmentOperation.Value.Syntax, cancellationToken); 99var foreachInfo = semanticFacts.GetForEachSymbols(semanticModel, forEachLoop.Syntax); 111var syntax = variableDeclarator.GetVariableInitializer()!.Value.Syntax; 120var typeInfo = semanticModel.GetTypeInfo(operation.Syntax, cancellationToken);