26public interface IFlowCaptureOperation : IOperation 50public interface IFlowCaptureReferenceOperation : IOperation 76public interface IIsNullOperation : IOperation 95public interface ICaughtExceptionOperation : IOperation 112public interface IStaticLocalInitializationSemaphoreOperation : IOperation 139public interface IFlowAnonymousFunctionOperation : IOperation

36public interface IInvalidOperation : IOperation 57public interface IBlockOperation : IOperation 90public interface IVariableDeclarationGroupOperation : IOperation 118public interface ISwitchOperation : IOperation 151public interface ILoopOperation : IOperation 339public interface ILabeledOperation : IOperation 368public interface IBranchOperation : IOperation 396public interface IEmptyOperation : IOperation 419public interface IReturnOperation : IOperation 444public interface ILockOperation : IOperation 473public interface ITryOperation : IOperation 510public interface IUsingOperation : IOperation 548public interface IExpressionStatementOperation : IOperation 572public interface ILocalFunctionOperation : IOperation 610public interface IStopOperation : IOperation 630public interface IEndOperation : IOperation 650public interface IRaiseEventOperation : IOperation 683public interface ILiteralOperation : IOperation 704public interface IConversionOperation : IOperation 771public interface IInvocationOperation : IOperation 817public interface IArrayElementReferenceOperation : IOperation 846public interface ILocalReferenceOperation : IOperation 876public interface IParameterReferenceOperation : IOperation 897public interface IMemberReferenceOperation : IOperation 1052public interface IUnaryOperation : IOperation 1102public interface IBinaryOperation : IOperation 1165public interface IConditionalOperation : IOperation 1209public interface ICoalesceOperation : IOperation 1245public interface IAnonymousFunctionOperation : IOperation 1274public interface IObjectCreationOperation : IOperation 1311public interface ITypeParameterObjectCreationOperation : IOperation 1336public interface IArrayCreationOperation : IOperation 1367public interface IInstanceReferenceOperation : IOperation 1392public interface IIsTypeOperation : IOperation 1427public interface IAwaitOperation : IOperation 1448public interface IAssignmentOperation : IOperation 1552public interface IParenthesizedOperation : IOperation 1577public interface IEventAssignmentOperation : IOperation 1611public interface IConditionalAccessOperation : IOperation 1642public interface IConditionalAccessInstanceOperation : IOperation 1661public interface IInterpolatedStringOperation : IOperation 1686public interface IAnonymousObjectCreationOperation : IOperation 1719public interface IObjectOrCollectionInitializerOperation : IOperation 1750public interface IMemberInitializerOperation : IOperation 1778public interface ICollectionElementInitializerOperation : IOperation 1802public interface INameOfOperation : IOperation 1827public interface ITupleOperation : IOperation 1858public interface IDynamicObjectCreationOperation : IOperation 1887public interface IDynamicMemberReferenceOperation : IOperation 1939public interface IDynamicInvocationOperation : IOperation 1967public interface IDynamicIndexerAccessOperation : IOperation 2001public interface ITranslatedQueryOperation : IOperation 2026public interface IDelegateCreationOperation : IOperation 2050public interface IDefaultValueOperation : IOperation 2071public interface ITypeOfOperation : IOperation 2095public interface ISizeOfOperation : IOperation 2119public interface IAddressOfOperation : IOperation 2143public interface IIsPatternOperation : IOperation 2174public interface IIncrementOrDecrementOperation : IOperation 2224public interface IThrowOperation : IOperation 2277public interface IDeclarationExpressionOperation : IOperation 2301public interface IOmittedArgumentOperation : IOperation 2318public interface ISymbolInitializerOperation : IOperation 2443public interface IArrayInitializerOperation : IOperation 2472public interface IVariableDeclaratorOperation : IOperation 2517public interface IVariableDeclarationOperation : IOperation 2558public interface IArgumentOperation : IOperation 2599public interface ICatchClauseOperation : IOperation 2644public interface ISwitchCaseOperation : IOperation 2673public interface ICaseClauseOperation : IOperation 2810public interface IInterpolatedStringContentOperation : IOperation 2884public interface IPatternOperation : IOperation 2971public interface ITupleBinaryOperation : IOperation 2999public interface IMethodBodyBaseOperation : IOperation 3077public interface IDiscardOperation : IOperation 3126public interface IRangeOperation : IOperation 3166public interface IReDimOperation : IOperation 3194public interface IReDimClauseOperation : IOperation 3278public interface ISwitchExpressionOperation : IOperation 3304public interface ISwitchExpressionArmOperation : IOperation 3335public interface IPropertySubpatternOperation : IOperation 3354internal interface IAggregateQueryOperation : IOperation 3366internal interface IFixedOperation : IOperation 3395internal interface INoPiaObjectCreationOperation : IOperation 3410internal interface IPlaceholderOperation : IOperation 3427internal interface IPointerIndirectionReferenceOperation : IOperation 3447internal interface IWithStatementOperation : IOperation 3476public interface IUsingDeclarationOperation : IOperation 3612public interface IWithOperation : IOperation 3638public interface IInterpolatedStringHandlerCreationOperation : IOperation 3679public interface IInterpolatedStringAdditionOperation : IOperation 3724public interface IInterpolatedStringHandlerArgumentPlaceholderOperation : IOperation 3747public interface IFunctionPointerInvocationOperation : IOperation 3829public interface IImplicitIndexerReferenceOperation : IOperation 3865public interface IUtf8StringOperation : IOperation 3890public interface IAttributeOperation : IOperation 3914public interface IInlineArrayAccessOperation : IOperation 3942public interface ICollectionExpressionOperation : IOperation 3980public interface ISpreadOperation : IOperation

18internal abstract partial class Operation : IOperation

68(IOperation? operation, SemanticModel? model, SyntaxNode? syntaxNode) = GetOperationAndSyntaxForTest<BlockSyntax>((CSharpCompilation)compilation); 1275protected static (IOperation? operation, SemanticModel? model, SyntaxNode? node) GetOperationAndSyntaxForTest<TSyntaxNode>(CSharpCompilation compilation) 1286var operation = model.GetOperation(syntaxNode);

103static ITypeSymbol? ResolveType(IOperation conversionOperation) =>

75foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

46this IOperation operation, 52this IOperation operation, 61this IOperation operation,

461var operation = semanticModel.GetOperation(descendant, cancellationToken);

62public static bool HasNullConstantValue(this IOperation operation) 67public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 84public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 91var builder = ImmutableArray.CreateBuilder<IOperation>(); 92var operationsToProcess = new Queue<IOperation>(); 105foreach (var child in operation.Children) 121public static bool IsOperationNoneRoot(this IOperation operation) 132public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 133where TOperation : class, IOperation 140var ancestor = root; 167public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 174var ancestor = root; 209public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 216for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 259public static IOperation GetRoot(this IOperation operation) 274private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 277public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 294private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 332this IOperation operation, IMethodSymbol lambdaOrLocalFunction, out PooledHashSet<ISymbol> builder) 343foreach (var child in operation.Descendants()) 385public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 411[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 416IOperation previousOperation = tupleOperation; 417var currentOperation = tupleOperation.Parent; 449public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 452public static IOperation? GetThrownException(this IThrowOperation operation) 454var thrownObject = operation.Exception; 478IOperation potentialLeftSide = operation;

20where TOperation : IOperation

185public static SyntaxNode GetAnalysisRoot(this OperationBlockStartAnalysisContext context, IOperation operationBlock, bool findInTrivia, bool getInnermostNodeForTie = false) 191public static SyntaxNode GetAnalysisRoot(this OperationBlockAnalysisContext context, IOperation operationBlock, bool findInTrivia, bool getInnermostNodeForTie = false)

12public static IEnumerable<IOperation> DescendantOperations(this BasicBlock basicBlock) 14foreach (var statement in basicBlock.Operations) 16foreach (var operation in statement.DescendantsAndSelf()) 24foreach (var operation in basicBlock.BranchValue.DescendantsAndSelf())

27public static IEnumerable<IOperation> DescendantOperations(this ControlFlowGraph cfg) 31where T : IOperation

18public static bool IsTargetOfObjectMemberInitializer(this IOperation operation) 34public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 239public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 259public static bool IsInLeftOfDeconstructionAssignment(this IOperation operation, [NotNullWhen(true)] out IDeconstructionAssignmentOperation? deconstructionAssignment) 263var previousOperation = operation; 264var current = operation.Parent; 295public static bool IsAnyCompoundAssignment(this IOperation operation) 308public static bool IsInsideCatchRegion(this IOperation operation, ControlFlowGraph cfg) 328foreach (var descendant in block.DescendantOperations()) 341public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, Func<IOperation, bool> predicate) 343foreach (var operationBlock in operationBlocks) 354public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate) 357public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate, [NotNullWhen(true)] out IOperation? foundOperation) 361foreach (var descendant in operationBlock.DescendantsAndSelf()) 374public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, OperationKind kind) 377public static bool IsNumericLiteral(this IOperation operation) 380public static bool IsNullLiteral(this IOperation operand) 389public static IOperation? WalkDownConversion(this IOperation? operation) 399public static bool IsSingleThrowNotImplementedOperation([NotNullWhen(true)] this IOperation? firstBlock) 415var firstOp = block.Operations.Length == 1 437static IOperation? TryGetSingleExplicitStatement(ImmutableArray<IOperation> operations) 439IOperation? firstOp = null; 440foreach (var operation in operations) 454static bool IsThrowNotImplementedOperation(INamedTypeSymbol notImplementedExceptionType, IOperation? operation) 461public static IOperation? UnwrapImplicitConversion(this IOperation? value)

86var originalOperation = semanticModel1.GetOperation(node1); 89var currentOperation = semanticModel2.GetOperation(node2); 125private static bool IsInstanceMemberReference(IOperation operation)

54public static IOperation GetRequiredOperation(this SemanticModel semanticModel, SyntaxNode node, CancellationToken cancellationToken)

138var operation = semanticModel.GetOperation(node, cancellationToken); 200var operation = semanticModel.GetOperation(node, cancellationToken);

61protected abstract PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 132public abstract void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId); 137public abstract void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol); 138public abstract void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget); 139public abstract void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget); 140public abstract void SetEmptyInvocationTargetsForDelegate(IOperation write); 141public abstract bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets); 143protected static PooledDictionary<(ISymbol Symbol, IOperation Write), bool> CreateSymbolsWriteMap( 146var symbolsWriteMap = PooledDictionary<(ISymbol Symbol, IOperation Write), bool>.GetInstance(); 150protected static PooledDictionary<(ISymbol Symbol, IOperation Write), bool> UpdateSymbolsWriteMap( 151PooledDictionary<(ISymbol Symbol, IOperation Write), bool> symbolsWriteMap, 158(ISymbol, IOperation) key = (parameter, null); 201public void OnWriteReferenceFound(ISymbol symbol, IOperation operation, bool maybeWritten, bool isRef)

28private readonly Dictionary<ISymbol, PooledHashSet<IOperation>> _reachingWrites; 74public void ForEachCurrentWrite<TArg>(ISymbol symbol, Action<IOperation, TArg> action, TArg arg) 86public bool ForEachCurrentWrite<TArg>(ISymbol symbol, Func<IOperation, TArg, bool> action, TArg arg) 90foreach (var value in values) 104public void OnWriteReferenceFound(ISymbol symbol, IOperation operation, bool maybeWritten) 108values = PooledHashSet<IOperation>.GetInstance(); 223private static void AddEntries(Dictionary<ISymbol, PooledHashSet<IOperation>> result, BasicBlockAnalysisData source) 231values = PooledHashSet<IOperation>.GetInstance(); 240foreach (var operation in operations)

33public static SymbolUsageResult Run(IOperation rootOperation, ISymbol owningSymbol, CancellationToken cancellationToken) 46var localFunctionOperation = rootOperation.Descendants()

41private readonly PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>> _lValueFlowCapturesMap; 48private readonly PooledDictionary<IOperation, PooledHashSet<IOperation>> _reachingDelegateCreationTargets; 69private readonly PooledDictionary<(int firstBlockOrdinal, int lastBlockOrdinal), PooledHashSet<(ISymbol, IOperation)>> _symbolWritesInsideBlockRangeMap; 77PooledDictionary<(ISymbol symbol, IOperation operation), bool> symbolsWriteMap, 81PooledDictionary<IOperation, PooledHashSet<IOperation>> reachingDelegateCreationTargets, 99_lValueFlowCapturesMap = PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 103_symbolWritesInsideBlockRangeMap = PooledDictionary<(int firstBlockOrdinal, int lastBlockOrdinal), PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 110protected override PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 134reachingDelegateCreationTargets: PooledDictionary<IOperation, PooledHashSet<IOperation>>.GetInstance(), 189foreach (var operation in cfg.OriginalOperation.Descendants()) 215private PooledHashSet<(ISymbol, IOperation)> GetOrCreateSymbolWritesInBlockRange(int firstBlockOrdinal, int lastBlockOrdinal, CancellationToken cancellationToken) 220var operations = PooledHashSet<IOperation>.GetInstance(); 224writesInBlockRange = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 241PooledHashSet<IOperation> operationsBuilder, 248foreach (var operation in cfg.Blocks[i].DescendantOperations()) 273void AddDescendantOperationsFromDelegateCreationTargets(PooledHashSet<IOperation> targets) 275foreach (var target in targets) 462public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 466captures = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 514public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 522var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 544foreach (var target in targetsBuilderForSymbolWrite) 561public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 571public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 583public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 586private void SetReachingDelegateTargetCore(IOperation write, IOperation targetOpt) 588var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 597public override bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets)

21PooledDictionary<(ISymbol symbol, IOperation operation), bool> symbolsWriteMap, 34protected override PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 63public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 69public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 71public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 73public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 75public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 77public override bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets)

27private IOperation _currentRootOperation; 29private PooledDictionary<IAssignmentOperation, PooledHashSet<(ISymbol, IOperation)>> _pendingWritesMap; 36IEnumerable<IOperation> operations, 51private void Visit(ISymbol containingSymbol, IEnumerable<IOperation> operations, AnalysisData analysisData, CancellationToken cancellationToken) 58_pendingWritesMap = PooledDictionary<IAssignmentOperation, PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 65foreach (var operation in operations) 93private void OnWriteReferenceFound(ISymbol symbol, IOperation operation, ValueUsageInfo valueUsageInfo) 101private void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 107private void OnReferenceFound(ISymbol symbol, IOperation operation) 159private bool MakePendingWrite(IOperation operation, ISymbol symbolOpt) 166var set = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 175set = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 407private void ProcessPossibleDelegateCreationAssignment(ISymbol symbol, IOperation write) 415IOperation initializerValue = null; 431private void ProcessPossibleDelegateCreation(IOperation creation, IOperation write) 433var currentOperation = creation; 497private void AnalyzePossibleDelegateInvocation(IOperation operation) 534foreach (var target in targets) 549void AnalyzeDelegateInvocation(IOperation target)

13ImmutableDictionary<(ISymbol symbol, IOperation write), bool> symbolWritesMap, 33public ImmutableDictionary<(ISymbol symbol, IOperation write), bool> SymbolWritesMap { get; } = symbolWritesMap; 47public ImmutableArray<(ISymbol Symbol, IOperation WriteOperation)> GetUnreadSymbolWrites()

148var operation = semanticModel.GetOperation(expressionNode, cancellationToken); 273var operation = semanticModel.GetOperation(isExpression, cancellationToken); 415var rightOperand = RemoveImplicitConversion(binaryOperation.RightOperand); 416var leftOperand = RemoveImplicitConversion(binaryOperation.LeftOperand); 428private static IOperation RemoveImplicitConversion(IOperation operation) 436IOperation variableExpression, ILiteralOperation numericLiteralExpression) 474var operation = semanticModel.GetOperation(expression);

57var operation = semanticModel.GetOperation( 171var statement = TryFindFieldOrPropertyAssignmentStatement(sibling, blockStatement); 211var operation = semanticModel.GetOperation(accessorBody, cancellationToken);

38public static bool IsParameterReference(IOperation? operation, IParameterSymbol parameter) 43IOperation? value, IParameterSymbol parameter) 76public static IOperation? TryFindFieldOrPropertyAssignmentStatement(IParameterSymbol parameter, IBlockOperation? blockStatement) 79private static IOperation? TryFindFieldOrPropertyAssignmentStatement( 85foreach (var statement in blockStatement.Operations) 99var target = targetTuple.Elements[i]; 100var value = valueTuple.Elements[i]; 117IOperation operation, 146IOperation? operation, INamedTypeSymbol containingType, 163public static bool IsFieldOrPropertyAssignment(IOperation statement, INamedTypeSymbol containingType, [NotNullWhen(true)] out IAssignmentOperation? assignmentExpression) 167IOperation statement, INamedTypeSymbol containingType,

30var declaredOperation = semanticModel.GetRequiredOperation(declarationSyntax, cancellationToken); 32var rootOperation = declaredOperation; 54IOperation rootOperation, 62using var _ = ArrayBuilder<IOperation>.GetInstance(out var stack); 65while (stack.TryPop(out var operation)) 128foreach (var childOperation in operation.ChildOperations.Reverse()) 142bool IsSymbolReferencedByOperation(IOperation operation)

12public static IEnumerable<IOperation> DescendantOperations(this BasicBlock basicBlock) 14foreach (var statement in basicBlock.Operations) 16foreach (var operation in statement.DescendantsAndSelf()) 24foreach (var operation in basicBlock.BranchValue.DescendantsAndSelf())

13public readonly IOperation Reference; 15public CapturedReferenceValue(IOperation operation)

29public static IEnumerable<IOperation> DescendantOperations(this ControlFlowGraph cfg) 33where T : IOperation

35public override FeatureChecksValue DefaultVisit(IOperation operation, StateValue state) 81public static bool? GetLiteralBool(IOperation operation)

39private readonly IOperation OperationBlock; 56IOperation operationBlock,

82foreach (IOperation operation in block.Block.Operations) 86IOperation? branchValueOperation = block.Block.BranchValue; 129IOperation branchValueOperation, 141IOperation operation, 144public abstract TValue HandleArrayElementRead(TValue arrayValue, TValue indexValue, IOperation operation); 146public abstract void HandleArrayElementWrite(TValue arrayValue, TValue indexValue, TValue valueToWrite, IOperation operation, bool merge); 152IOperation operation, 157IOperation branchValueOperation); 169IOperation operation, 177private TValue ProcessBinderCall(IOperation operation, string methodName, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 241IOperation targetOperation, 251IOperation targetOperation, 252IOperation valueOperation, 253IOperation assignmentOperation, 472var targetOperation = operation.Target; 699public abstract TValue HandleDelegateCreation(IMethodSymbol methodReference, IOperation operation, in TContext context); 841IOperation operation, 918IOperation operation, 920IOperation? instance,

14private void VisitChildOperations(IOperation operation, TArgument argument) 16foreach (var child in operation.ChildOperations) 20public override TResult? Visit(IOperation? operation, TArgument argument) 38public override TResult? DefaultVisit(IOperation operation, TArgument argument)

18public static void Handle(IOperation operation) 37foreach (var descendant in operation.Descendants())

112foreach (var operationBlock in context.OperationBlocks)

17public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 213public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 233public static bool IsInLeftOfDeconstructionAssignment(this IOperation operation, out IDeconstructionAssignmentOperation? deconstructionAssignment) 237var previousOperation = operation; 238var current = operation.Parent; 269public static bool IsAnyCompoundAssignment(this IOperation operation) 289public static ISymbol FindContainingSymbol(this IOperation operation, ISymbol owningSymbol) 291var parent = operation.Parent;

200var parent = operationContext.Operation.Parent; 344IOperation operation,

18public IOperation Operation { get; init; } 24IOperation operation,

26private readonly IOperation _operation; 36IOperation operation,

21public IOperation Operation { get; init; } 28IOperation operation,

17public IOperation Operation { get; init; } 23IOperation operation,

21public IOperation Operation { get; init; } 29IOperation operation,

15private readonly Dictionary<IOperation, TrimAnalysisAssignmentPattern> AssignmentPatterns; 16private readonly Dictionary<IOperation, TrimAnalysisFieldAccessPattern> FieldAccessPatterns; 17private readonly Dictionary<IOperation, TrimAnalysisBackingFieldAccessPattern> BackingFieldAccessPatterns; 18private readonly Dictionary<IOperation, TrimAnalysisGenericInstantiationPattern> GenericInstantiationPatterns; 19private readonly Dictionary<IOperation, TrimAnalysisMethodCallPattern> MethodCallPatterns; 20private readonly Dictionary<IOperation, TrimAnalysisReflectionAccessPattern> ReflectionAccessPatterns; 21private readonly Dictionary<IOperation, FeatureCheckReturnValuePattern> FeatureCheckReturnValuePatterns; 29AssignmentPatterns = new Dictionary<IOperation, TrimAnalysisAssignmentPattern>(); 30FieldAccessPatterns = new Dictionary<IOperation, TrimAnalysisFieldAccessPattern>(); 31BackingFieldAccessPatterns = new Dictionary<IOperation, TrimAnalysisBackingFieldAccessPattern>(); 32GenericInstantiationPatterns = new Dictionary<IOperation, TrimAnalysisGenericInstantiationPattern>(); 33MethodCallPatterns = new Dictionary<IOperation, TrimAnalysisMethodCallPattern>(); 34ReflectionAccessPatterns = new Dictionary<IOperation, TrimAnalysisReflectionAccessPattern>(); 35FeatureCheckReturnValuePatterns = new Dictionary<IOperation, FeatureCheckReturnValuePattern>();

15public IOperation Operation { get; init; } 21IOperation operation,

67public override FeatureChecksValue GetConditionValue(IOperation branchValueOperation, StateValue state) 83public override MultiValue DefaultVisit(IOperation operation, StateValue argument) 264public override void HandleAssignment(MultiValue source, MultiValue target, IOperation operation, in FeatureContext featureContext) 276public override MultiValue HandleArrayElementRead(MultiValue arrayValue, MultiValue indexValue, IOperation operation) 297public override void HandleArrayElementWrite(MultiValue arrayValue, MultiValue indexValue, MultiValue valueToWrite, IOperation operation, bool merge) 328IOperation operation, 372IOperation operation, 394public override void HandleReturnValue(MultiValue returnValue, IOperation operation, in FeatureContext featureContext) 410public override void HandleReturnConditionValue(FeatureChecksValue returnConditionValue, IOperation operation) 433public override MultiValue HandleDelegateCreation(IMethodSymbol method, IOperation operation, in FeatureContext featureContext) 447private void ProcessGenericArgumentDataFlow(IMethodSymbol method, IOperation operation, in FeatureContext featureContext) 465private void ProcessGenericArgumentDataFlow(IFieldSymbol field, IOperation operation, in FeatureContext featureContext) 482private void ProcessGenericArgumentDataFlow(IPropertySymbol property, IOperation operation, in FeatureContext featureContext) 497private static bool TryGetConstantValue(IOperation operation, out MultiValue constValue)

43IOperation operationBlock) 94if (block.Block.Operations.FirstOrDefault() is not IOperation op) 116if (block.Block.Operations.FirstOrDefault() is IOperation firstBlockOp) 120else if (block.Block.BranchValue is IOperation branchOp)

88/// The count is based on the executable <see cref="IOperation"/>s in code and is therefore not the exact number of lines in the source code file.

88public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 109foreach (var operation in operationBlock.Descendants()) 297static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 326static bool hasAnyExplicitExpression(IOperation operation) 332void countOperator(IOperation operation) 349void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 356void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

258var operationBlock = model.GetOperation(node, context.CancellationToken); 283foreach (var operation in operationBlock.DescendantsAndSelf()) 325static bool hasConditionalLogic(IOperation operation)

75foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

46this IOperation operation, 52this IOperation operation, 61this IOperation operation,

461var operation = semanticModel.GetOperation(descendant, cancellationToken);

62public static bool HasNullConstantValue(this IOperation operation) 67public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 84public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 91var builder = ImmutableArray.CreateBuilder<IOperation>(); 92var operationsToProcess = new Queue<IOperation>(); 105foreach (var child in operation.Children) 121public static bool IsOperationNoneRoot(this IOperation operation) 132public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 133where TOperation : class, IOperation 140var ancestor = root; 167public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 174var ancestor = root; 209public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 216for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 259public static IOperation GetRoot(this IOperation operation) 274private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 277public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 294private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 332this IOperation operation, IMethodSymbol lambdaOrLocalFunction, out PooledHashSet<ISymbol> builder) 343foreach (var child in operation.Descendants()) 385public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 411[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 416IOperation previousOperation = tupleOperation; 417var currentOperation = tupleOperation.Parent; 449public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 452public static IOperation? GetThrownException(this IThrowOperation operation) 454var thrownObject = operation.Exception; 478IOperation potentialLeftSide = operation;

20where TOperation : IOperation

185public static SyntaxNode GetAnalysisRoot(this OperationBlockStartAnalysisContext context, IOperation operationBlock, bool findInTrivia, bool getInnermostNodeForTie = false) 191public static SyntaxNode GetAnalysisRoot(this OperationBlockAnalysisContext context, IOperation operationBlock, bool findInTrivia, bool getInnermostNodeForTie = false)

12public static IEnumerable<IOperation> DescendantOperations(this BasicBlock basicBlock) 14foreach (var statement in basicBlock.Operations) 16foreach (var operation in statement.DescendantsAndSelf()) 24foreach (var operation in basicBlock.BranchValue.DescendantsAndSelf())

27public static IEnumerable<IOperation> DescendantOperations(this ControlFlowGraph cfg) 31where T : IOperation

18public static bool IsTargetOfObjectMemberInitializer(this IOperation operation) 34public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 239public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 259public static bool IsInLeftOfDeconstructionAssignment(this IOperation operation, [NotNullWhen(true)] out IDeconstructionAssignmentOperation? deconstructionAssignment) 263var previousOperation = operation; 264var current = operation.Parent; 295public static bool IsAnyCompoundAssignment(this IOperation operation) 308public static bool IsInsideCatchRegion(this IOperation operation, ControlFlowGraph cfg) 328foreach (var descendant in block.DescendantOperations()) 341public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, Func<IOperation, bool> predicate) 343foreach (var operationBlock in operationBlocks) 354public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate) 357public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate, [NotNullWhen(true)] out IOperation? foundOperation) 361foreach (var descendant in operationBlock.DescendantsAndSelf()) 374public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, OperationKind kind) 377public static bool IsNumericLiteral(this IOperation operation) 380public static bool IsNullLiteral(this IOperation operand) 389public static IOperation? WalkDownConversion(this IOperation? operation) 399public static bool IsSingleThrowNotImplementedOperation([NotNullWhen(true)] this IOperation? firstBlock) 415var firstOp = block.Operations.Length == 1 437static IOperation? TryGetSingleExplicitStatement(ImmutableArray<IOperation> operations) 439IOperation? firstOp = null; 440foreach (var operation in operations) 454static bool IsThrowNotImplementedOperation(INamedTypeSymbol notImplementedExceptionType, IOperation? operation) 461public static IOperation? UnwrapImplicitConversion(this IOperation? value)

86var originalOperation = semanticModel1.GetOperation(node1); 89var currentOperation = semanticModel2.GetOperation(node2); 125private static bool IsInstanceMemberReference(IOperation operation)

54public static IOperation GetRequiredOperation(this SemanticModel semanticModel, SyntaxNode node, CancellationToken cancellationToken)

138var operation = semanticModel.GetOperation(node, cancellationToken); 200var operation = semanticModel.GetOperation(node, cancellationToken);

61protected abstract PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 132public abstract void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId); 137public abstract void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol); 138public abstract void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget); 139public abstract void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget); 140public abstract void SetEmptyInvocationTargetsForDelegate(IOperation write); 141public abstract bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets); 143protected static PooledDictionary<(ISymbol Symbol, IOperation Write), bool> CreateSymbolsWriteMap( 146var symbolsWriteMap = PooledDictionary<(ISymbol Symbol, IOperation Write), bool>.GetInstance(); 150protected static PooledDictionary<(ISymbol Symbol, IOperation Write), bool> UpdateSymbolsWriteMap( 151PooledDictionary<(ISymbol Symbol, IOperation Write), bool> symbolsWriteMap, 158(ISymbol, IOperation) key = (parameter, null); 201public void OnWriteReferenceFound(ISymbol symbol, IOperation operation, bool maybeWritten, bool isRef)

28private readonly Dictionary<ISymbol, PooledHashSet<IOperation>> _reachingWrites; 74public void ForEachCurrentWrite<TArg>(ISymbol symbol, Action<IOperation, TArg> action, TArg arg) 86public bool ForEachCurrentWrite<TArg>(ISymbol symbol, Func<IOperation, TArg, bool> action, TArg arg) 90foreach (var value in values) 104public void OnWriteReferenceFound(ISymbol symbol, IOperation operation, bool maybeWritten) 108values = PooledHashSet<IOperation>.GetInstance(); 223private static void AddEntries(Dictionary<ISymbol, PooledHashSet<IOperation>> result, BasicBlockAnalysisData source) 231values = PooledHashSet<IOperation>.GetInstance(); 240foreach (var operation in operations)

33public static SymbolUsageResult Run(IOperation rootOperation, ISymbol owningSymbol, CancellationToken cancellationToken) 46var localFunctionOperation = rootOperation.Descendants()

41private readonly PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>> _lValueFlowCapturesMap; 48private readonly PooledDictionary<IOperation, PooledHashSet<IOperation>> _reachingDelegateCreationTargets; 69private readonly PooledDictionary<(int firstBlockOrdinal, int lastBlockOrdinal), PooledHashSet<(ISymbol, IOperation)>> _symbolWritesInsideBlockRangeMap; 77PooledDictionary<(ISymbol symbol, IOperation operation), bool> symbolsWriteMap, 81PooledDictionary<IOperation, PooledHashSet<IOperation>> reachingDelegateCreationTargets, 99_lValueFlowCapturesMap = PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 103_symbolWritesInsideBlockRangeMap = PooledDictionary<(int firstBlockOrdinal, int lastBlockOrdinal), PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 110protected override PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 134reachingDelegateCreationTargets: PooledDictionary<IOperation, PooledHashSet<IOperation>>.GetInstance(), 189foreach (var operation in cfg.OriginalOperation.Descendants()) 215private PooledHashSet<(ISymbol, IOperation)> GetOrCreateSymbolWritesInBlockRange(int firstBlockOrdinal, int lastBlockOrdinal, CancellationToken cancellationToken) 220var operations = PooledHashSet<IOperation>.GetInstance(); 224writesInBlockRange = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 241PooledHashSet<IOperation> operationsBuilder, 248foreach (var operation in cfg.Blocks[i].DescendantOperations()) 273void AddDescendantOperationsFromDelegateCreationTargets(PooledHashSet<IOperation> targets) 275foreach (var target in targets) 462public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 466captures = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 514public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 522var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 544foreach (var target in targetsBuilderForSymbolWrite) 561public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 571public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 583public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 586private void SetReachingDelegateTargetCore(IOperation write, IOperation targetOpt) 588var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 597public override bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets)

21PooledDictionary<(ISymbol symbol, IOperation operation), bool> symbolsWriteMap, 34protected override PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 63public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 69public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 71public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 73public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 75public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 77public override bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets)

27private IOperation _currentRootOperation; 29private PooledDictionary<IAssignmentOperation, PooledHashSet<(ISymbol, IOperation)>> _pendingWritesMap; 36IEnumerable<IOperation> operations, 51private void Visit(ISymbol containingSymbol, IEnumerable<IOperation> operations, AnalysisData analysisData, CancellationToken cancellationToken) 58_pendingWritesMap = PooledDictionary<IAssignmentOperation, PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 65foreach (var operation in operations) 93private void OnWriteReferenceFound(ISymbol symbol, IOperation operation, ValueUsageInfo valueUsageInfo) 101private void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 107private void OnReferenceFound(ISymbol symbol, IOperation operation) 159private bool MakePendingWrite(IOperation operation, ISymbol symbolOpt) 166var set = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 175set = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 407private void ProcessPossibleDelegateCreationAssignment(ISymbol symbol, IOperation write) 415IOperation initializerValue = null; 431private void ProcessPossibleDelegateCreation(IOperation creation, IOperation write) 433var currentOperation = creation; 497private void AnalyzePossibleDelegateInvocation(IOperation operation) 534foreach (var target in targets) 549void AnalyzeDelegateInvocation(IOperation target)

13ImmutableDictionary<(ISymbol symbol, IOperation write), bool> symbolWritesMap, 33public ImmutableDictionary<(ISymbol symbol, IOperation write), bool> SymbolWritesMap { get; } = symbolWritesMap; 47public ImmutableArray<(ISymbol Symbol, IOperation WriteOperation)> GetUnreadSymbolWrites()

88/// The count is based on the executable <see cref="IOperation"/>s in code and is therefore not the exact number of lines in the source code file.

88public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 109foreach (var operation in operationBlock.Descendants()) 297static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 326static bool hasAnyExplicitExpression(IOperation operation) 332void countOperator(IOperation operation) 349void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 356void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

258var operationBlock = model.GetOperation(node, context.CancellationToken); 283foreach (var operation in operationBlock.DescendantsAndSelf()) 325static bool hasConditionalLogic(IOperation operation)

75foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

46this IOperation operation, 52this IOperation operation, 61this IOperation operation,

461var operation = semanticModel.GetOperation(descendant, cancellationToken);

62public static bool HasNullConstantValue(this IOperation operation) 67public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 84public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 91var builder = ImmutableArray.CreateBuilder<IOperation>(); 92var operationsToProcess = new Queue<IOperation>(); 105foreach (var child in operation.Children) 121public static bool IsOperationNoneRoot(this IOperation operation) 132public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 133where TOperation : class, IOperation 140var ancestor = root; 167public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 174var ancestor = root; 209public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 216for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 259public static IOperation GetRoot(this IOperation operation) 274private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 277public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 294private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 332this IOperation operation, IMethodSymbol lambdaOrLocalFunction, out PooledHashSet<ISymbol> builder) 343foreach (var child in operation.Descendants()) 385public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 411[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 416IOperation previousOperation = tupleOperation; 417var currentOperation = tupleOperation.Parent; 449public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 452public static IOperation? GetThrownException(this IThrowOperation operation) 454var thrownObject = operation.Exception; 478IOperation potentialLeftSide = operation;

20where TOperation : IOperation

185public static SyntaxNode GetAnalysisRoot(this OperationBlockStartAnalysisContext context, IOperation operationBlock, bool findInTrivia, bool getInnermostNodeForTie = false) 191public static SyntaxNode GetAnalysisRoot(this OperationBlockAnalysisContext context, IOperation operationBlock, bool findInTrivia, bool getInnermostNodeForTie = false)

12public static IEnumerable<IOperation> DescendantOperations(this BasicBlock basicBlock) 14foreach (var statement in basicBlock.Operations) 16foreach (var operation in statement.DescendantsAndSelf()) 24foreach (var operation in basicBlock.BranchValue.DescendantsAndSelf())

27public static IEnumerable<IOperation> DescendantOperations(this ControlFlowGraph cfg) 31where T : IOperation

18public static bool IsTargetOfObjectMemberInitializer(this IOperation operation) 34public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 239public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 259public static bool IsInLeftOfDeconstructionAssignment(this IOperation operation, [NotNullWhen(true)] out IDeconstructionAssignmentOperation? deconstructionAssignment) 263var previousOperation = operation; 264var current = operation.Parent; 295public static bool IsAnyCompoundAssignment(this IOperation operation) 308public static bool IsInsideCatchRegion(this IOperation operation, ControlFlowGraph cfg) 328foreach (var descendant in block.DescendantOperations()) 341public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, Func<IOperation, bool> predicate) 343foreach (var operationBlock in operationBlocks) 354public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate) 357public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate, [NotNullWhen(true)] out IOperation? foundOperation) 361foreach (var descendant in operationBlock.DescendantsAndSelf()) 374public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, OperationKind kind) 377public static bool IsNumericLiteral(this IOperation operation) 380public static bool IsNullLiteral(this IOperation operand) 389public static IOperation? WalkDownConversion(this IOperation? operation) 399public static bool IsSingleThrowNotImplementedOperation([NotNullWhen(true)] this IOperation? firstBlock) 415var firstOp = block.Operations.Length == 1 437static IOperation? TryGetSingleExplicitStatement(ImmutableArray<IOperation> operations) 439IOperation? firstOp = null; 440foreach (var operation in operations) 454static bool IsThrowNotImplementedOperation(INamedTypeSymbol notImplementedExceptionType, IOperation? operation) 461public static IOperation? UnwrapImplicitConversion(this IOperation? value)

86var originalOperation = semanticModel1.GetOperation(node1); 89var currentOperation = semanticModel2.GetOperation(node2); 125private static bool IsInstanceMemberReference(IOperation operation)

54public static IOperation GetRequiredOperation(this SemanticModel semanticModel, SyntaxNode node, CancellationToken cancellationToken)

138var operation = semanticModel.GetOperation(node, cancellationToken); 200var operation = semanticModel.GetOperation(node, cancellationToken);

61protected abstract PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 132public abstract void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId); 137public abstract void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol); 138public abstract void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget); 139public abstract void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget); 140public abstract void SetEmptyInvocationTargetsForDelegate(IOperation write); 141public abstract bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets); 143protected static PooledDictionary<(ISymbol Symbol, IOperation Write), bool> CreateSymbolsWriteMap( 146var symbolsWriteMap = PooledDictionary<(ISymbol Symbol, IOperation Write), bool>.GetInstance(); 150protected static PooledDictionary<(ISymbol Symbol, IOperation Write), bool> UpdateSymbolsWriteMap( 151PooledDictionary<(ISymbol Symbol, IOperation Write), bool> symbolsWriteMap, 158(ISymbol, IOperation) key = (parameter, null); 201public void OnWriteReferenceFound(ISymbol symbol, IOperation operation, bool maybeWritten, bool isRef)

28private readonly Dictionary<ISymbol, PooledHashSet<IOperation>> _reachingWrites; 74public void ForEachCurrentWrite<TArg>(ISymbol symbol, Action<IOperation, TArg> action, TArg arg) 86public bool ForEachCurrentWrite<TArg>(ISymbol symbol, Func<IOperation, TArg, bool> action, TArg arg) 90foreach (var value in values) 104public void OnWriteReferenceFound(ISymbol symbol, IOperation operation, bool maybeWritten) 108values = PooledHashSet<IOperation>.GetInstance(); 223private static void AddEntries(Dictionary<ISymbol, PooledHashSet<IOperation>> result, BasicBlockAnalysisData source) 231values = PooledHashSet<IOperation>.GetInstance(); 240foreach (var operation in operations)

33public static SymbolUsageResult Run(IOperation rootOperation, ISymbol owningSymbol, CancellationToken cancellationToken) 46var localFunctionOperation = rootOperation.Descendants()

41private readonly PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>> _lValueFlowCapturesMap; 48private readonly PooledDictionary<IOperation, PooledHashSet<IOperation>> _reachingDelegateCreationTargets; 69private readonly PooledDictionary<(int firstBlockOrdinal, int lastBlockOrdinal), PooledHashSet<(ISymbol, IOperation)>> _symbolWritesInsideBlockRangeMap; 77PooledDictionary<(ISymbol symbol, IOperation operation), bool> symbolsWriteMap, 81PooledDictionary<IOperation, PooledHashSet<IOperation>> reachingDelegateCreationTargets, 99_lValueFlowCapturesMap = PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 103_symbolWritesInsideBlockRangeMap = PooledDictionary<(int firstBlockOrdinal, int lastBlockOrdinal), PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 110protected override PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 134reachingDelegateCreationTargets: PooledDictionary<IOperation, PooledHashSet<IOperation>>.GetInstance(), 189foreach (var operation in cfg.OriginalOperation.Descendants()) 215private PooledHashSet<(ISymbol, IOperation)> GetOrCreateSymbolWritesInBlockRange(int firstBlockOrdinal, int lastBlockOrdinal, CancellationToken cancellationToken) 220var operations = PooledHashSet<IOperation>.GetInstance(); 224writesInBlockRange = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 241PooledHashSet<IOperation> operationsBuilder, 248foreach (var operation in cfg.Blocks[i].DescendantOperations()) 273void AddDescendantOperationsFromDelegateCreationTargets(PooledHashSet<IOperation> targets) 275foreach (var target in targets) 462public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 466captures = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 514public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 522var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 544foreach (var target in targetsBuilderForSymbolWrite) 561public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 571public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 583public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 586private void SetReachingDelegateTargetCore(IOperation write, IOperation targetOpt) 588var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 597public override bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets)

21PooledDictionary<(ISymbol symbol, IOperation operation), bool> symbolsWriteMap, 34protected override PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 63public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 69public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 71public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 73public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 75public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 77public override bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets)

27private IOperation _currentRootOperation; 29private PooledDictionary<IAssignmentOperation, PooledHashSet<(ISymbol, IOperation)>> _pendingWritesMap; 36IEnumerable<IOperation> operations, 51private void Visit(ISymbol containingSymbol, IEnumerable<IOperation> operations, AnalysisData analysisData, CancellationToken cancellationToken) 58_pendingWritesMap = PooledDictionary<IAssignmentOperation, PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 65foreach (var operation in operations) 93private void OnWriteReferenceFound(ISymbol symbol, IOperation operation, ValueUsageInfo valueUsageInfo) 101private void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 107private void OnReferenceFound(ISymbol symbol, IOperation operation) 159private bool MakePendingWrite(IOperation operation, ISymbol symbolOpt) 166var set = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 175set = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 407private void ProcessPossibleDelegateCreationAssignment(ISymbol symbol, IOperation write) 415IOperation initializerValue = null; 431private void ProcessPossibleDelegateCreation(IOperation creation, IOperation write) 433var currentOperation = creation; 497private void AnalyzePossibleDelegateInvocation(IOperation operation) 534foreach (var target in targets) 549void AnalyzeDelegateInvocation(IOperation target)

13ImmutableDictionary<(ISymbol symbol, IOperation write), bool> symbolWritesMap, 33public ImmutableDictionary<(ISymbol symbol, IOperation write), bool> SymbolWritesMap { get; } = symbolWritesMap; 47public ImmutableArray<(ISymbol Symbol, IOperation WriteOperation)> GetUnreadSymbolWrites()

73IOperation block) 153private static bool IsTaskAwaited(IOperation block, ILocalSymbol taskSymbol) 182private static bool ReferencesSymbol(IOperation? operation, ILocalSymbol symbol)

41internal Func<SemanticModel, SyntaxNode, CancellationToken, IOperation?> GetOperation = (sm, sn, t) => sm.GetOperation(sn, t); 392foreach (var o in details.InterpolationArgs) 402foreach (var e in arrayCreation.Initializer!.ElementValues) 441foreach (var a in details.InterpolationArgs) 451foreach (var e in arrayCreation.Initializer!.ElementValues) 453foreach (var d in e.Descendants()) 500foreach (var a in details.InterpolationArgs) 507foreach (var e in arrayCreation.Initializer!.ElementValues)

32public IReadOnlyList<IOperation>? InterpolationArgs { get; } 54var interpolationArgs = new List<IOperation>(); 61foreach (var o in children[0].ChildOperations) 70var operation = intOp.ChildOperations.First(); 106var op = invocationOp.Arguments[LogLevelParamIndex].Descendants().SingleOrDefault(x => x.Kind == OperationKind.Literal || x.Kind == OperationKind.FieldReference);

17public static IEnumerable<IOperation> Ancestors(this IOperation operationToStart, IOperation parent)

42var operation = semanticModel.GetOperation(syntax, cancellationToken);

143private static bool DoesOperationInvolveAuthorizationOptions(IOperation operation, AuthorizationOptionsTypes authorizationOptionsTypes) 172private static bool UsesAuthorizationOptionsSpecificGetters(IOperation operation, AuthorizationOptionsTypes authorizationOptionsTypes) 204private static bool UsesAuthorizationOptionsGetPolicy(IOperation operation, AuthorizationOptionsTypes authorizationOptionsTypes)

53foreach (var item in anonymousFunction.Body.Descendants()) 58var resolvedOperation = WalkDownConversion(returnedValue); 84private static IOperation WalkDownConversion(IOperation operation)

41var nodeOperation = context.SemanticModel.GetOperation(context.Node, context.CancellationToken); 108private static bool IsKestrelServerOptionsType(IOperation? operation, out IInvocationOperation? kestrelOptionsListenInvocation)

48private static IOperation? ResolveOperation(IOperation operation, WellKnownTypes wellKnownTypes) 61var current = operation; 146public IOperation? ParentOperation { get; } 147public IOperation? Builder { get; } 151public MapOperationGroupKey(IOperation? builder, IOperation parentOperation, RoutePatternTree routePattern, ImmutableArray<string> httpMethods) 180static bool AreBuildersEqual(IOperation builder, IOperation? other) 239var argument1 = GetParameterArgument(method.Parameters[i], arguments1); 240var argument2 = GetParameterArgument(method.Parameters[i], arguments2); 271static IOperation? GetParameterArgument(IParameterSymbol parameter, ImmutableArray<IArgumentOperation> arguments) 285private static IOperation WalkDownConversion(IOperation operation)

73foreach (var op in Enumerable.Reverse(blockOperation.ChildOperations))

61var returnedValue = returnOperation.ReturnedValue;

128var methodOperation = syntaxNode.SyntaxTree == invocation.SemanticModel!.SyntaxTree 221private record struct MapOperation(IOperation? Builder, IInvocationOperation Operation, RouteUsageModel RouteUsageModel) 225IOperation? builder = null; 236private static IOperation WalkDownConversion(IOperation operation)

41IOperation leftHandSide;

41IOperation leftHandSide;

26var operation = context.SemanticModel.GetOperation(context.Node, token);

71var operation = semanticModel.GetOperation(node, context.CancellationToken);

26public static bool IsValidOperation(this IOperation? operation, WellKnownTypes wellKnownTypes, [NotNullWhen(true)] out IInvocationOperation? invocationOperation) 83private static IMethodSymbol? ResolveMethodFromOperation(IOperation operation, SemanticModel semanticModel) => operation switch 88IFieldReferenceOperation { Field.IsReadOnly: true } f when ResolveDeclarationOperation(f.Field, semanticModel) is IOperation op => 97private static IOperation? ResolveDeclarationOperation(ISymbol symbol, SemanticModel? semanticModel) 113var operation = targetSemanticModel?.GetOperation(expr);

60var parent = context.Operation.Parent; 113private static bool IsParentMethod(IOperation operation)

64var returnedValue = armOperation?.Value ?? returnOperation.ReturnedValue; 162foreach (var child in initializer.Initializers) 209var operation = argument.Value; 225IOperation operation, 305var parent = operation.Parent;

51var parent = ifOperation.Parent; 69var trueStatement = UnwrapSingleStatementBlock(ifOperation.WhenTrue); 95var returnValue = returnOperation.ReturnedValue; 129private static bool IsModelStateIsValidCheck(in ApiControllerSymbolCache symbolCache, IOperation condition) 134var operation = ((IUnaryOperation)condition).Operand; 160IOperation operation, 161IOperation otherOperation, 180private static bool IsModelStateIsValidPropertyAccessor(in ApiControllerSymbolCache symbolCache, IOperation operation) 213private static IOperation UnwrapSingleStatementBlock(IOperation statement)

1760internal abstract IConvertibleConversion ClassifyConvertibleConversion(IOperation source, ITypeSymbol destination, out ConstantValue? constantValue);

76public IOperation? GetOperation(SyntaxNode node, CancellationToken cancellationToken = default(CancellationToken)) 81protected abstract IOperation? GetOperationCore(SyntaxNode node, CancellationToken cancellationToken);

17private readonly IOperation? _operation; 47public AnalysisContextInfo(Compilation compilation, IOperation operation) : 59IOperation? operation, 85sb.AppendLine($"{nameof(IOperation)}: {_operation.Kind}");

2749ImmutableArray<IOperation> getOperationsToAnalyzeWithStackGuard(ImmutableArray<IOperation> operationBlocksToAnalyze) 2761return ImmutableArray<IOperation>.Empty; 2765void executeOperationsActions(ImmutableArray<IOperation> operationsToAnalyze) 2774void executeOperationsActionsByKind(ImmutableArray<IOperation> operationsToAnalyze, GroupedAnalyzerActions groupedActions, bool arePerSymbolActions) 2800void executeOperationsBlockActions(ImmutableArray<IOperation> operationBlocksToAnalyze, ImmutableArray<IOperation> operationsToAnalyze, ArrayBuilder<ExecutableCodeBlockAnalyzerActions> codeBlockActions) 2948private static ImmutableArray<IOperation> GetOperationBlocksToAnalyze( 2953ArrayBuilder<IOperation> operationBlocksToAnalyze = ArrayBuilder<IOperation>.GetInstance(); 2966private static ImmutableArray<IOperation> GetOperationsToAnalyze( 2967ImmutableArray<IOperation> operationBlocks) 2969ArrayBuilder<IOperation> operationsToAnalyze = ArrayBuilder<IOperation>.GetInstance(); 2972foreach (IOperation operationBlock in operationBlocks)

65private Func<IOperation, ControlFlowGraph>? _lazyGetControlFlowGraph; 67private ConcurrentDictionary<IOperation, ControlFlowGraph>? _lazyControlFlowGraphMap; 69private Func<IOperation, ControlFlowGraph> GetControlFlowGraph 778IOperation operation, 930ImmutableArray<IOperation> operationBlocks, 931ImmutableArray<IOperation> operations, 1190ImmutableArray<IOperation> operationsToAnalyze, 1225ImmutableArray<IOperation> operationsToAnalyze, 1238foreach (var operation in operationsToAnalyze) 1654private bool ShouldExecuteOperation(IOperation operation, DiagnosticAnalyzer analyzer, CancellationToken cancellationToken) 1677private ControlFlowGraph GetControlFlowGraphImpl(IOperation operation) 1683Interlocked.CompareExchange(ref _lazyControlFlowGraphMap, new ConcurrentDictionary<IOperation, ControlFlowGraph>(), null); 1703public void OnOperationBlockActionsExecuted(ImmutableArray<IOperation> operationBlocks) 1712foreach (var operationBlock in operationBlocks) 1714var root = operationBlock.GetRootOperation();

177/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 178/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 181/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 182/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 189/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 190/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 193/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 194/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 472/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 473/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 476/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 477/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 484/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 485/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 488/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 489/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 984/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 985/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 988/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 989/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 996/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 997/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 1000/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 1001/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 1236private readonly ImmutableArray<IOperation> _operationBlocks; 1240private readonly Func<IOperation, ControlFlowGraph>? _getControlFlowGraph; 1249public ImmutableArray<IOperation> OperationBlocks => _operationBlocks; 1290ImmutableArray<IOperation> operationBlocks, 1301ImmutableArray<IOperation> operationBlocks, 1305Func<IOperation, ControlFlowGraph>? getControlFlowGraph, 1331/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 1334/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 1335/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 1342/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 1343/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 1346/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 1347/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 1354public ControlFlowGraph GetControlFlowGraph(IOperation operationBlock) 1376private readonly ImmutableArray<IOperation> _operationBlocks; 1382private readonly Func<IOperation, ControlFlowGraph>? _getControlFlowGraph; 1391public ImmutableArray<IOperation> OperationBlocks => _operationBlocks; 1432ImmutableArray<IOperation> operationBlocks, 1445ImmutableArray<IOperation> operationBlocks, 1451Func<IOperation, ControlFlowGraph>? getControlFlowGraph, 1487public ControlFlowGraph GetControlFlowGraph(IOperation operationBlock) 1766/// An operation action can use an <see cref="OperationAnalysisContext"/> to report <see cref="Diagnostic"/>s for an <see cref="IOperation"/>. 1770private readonly IOperation _operation; 1776private readonly Func<IOperation, ControlFlowGraph>? _getControlFlowGraph; 1780/// <see cref="IOperation"/> that is the subject of the analysis. 1782public IOperation Operation => _operation; 1790/// <see cref="CodeAnalysis.Compilation"/> containing the <see cref="IOperation"/>. 1823IOperation operation, 1835IOperation operation, 1841Func<IOperation, ControlFlowGraph>? getControlFlowGraph,

171internal static ControlFlowGraph GetControlFlowGraph(IOperation operation, Func<IOperation, ControlFlowGraph>? getControlFlowGraph, CancellationToken cancellationToken) 173IOperation rootOperation = operation.GetRootOperation();

337ImmutableArray<IOperation> operationBlocks, 341Func<IOperation, ControlFlowGraph> getControlFlowGraph,

35IOperation Value { get; } 81IOperation Operand { get; }

17/// <summary>Indicates an <see cref="IOperation"/> for a construct that is not implemented yet.</summary>

62ImmutableArray<IOperation> Operations { get; } 127IOperation Value { get; } 160IOperation Body { get; } 193IOperation LoopControlVariable { get; } 197IOperation Collection { get; } 202ImmutableArray<IOperation> NextVariables { get; } 227ImmutableArray<IOperation> Before { get; } 237IOperation? Condition { get; } 241ImmutableArray<IOperation> AtLoopBottom { get; } 261IOperation LoopControlVariable { get; } 265IOperation InitialValue { get; } 269IOperation LimitValue { get; } 274IOperation StepValue { get; } 282ImmutableArray<IOperation> NextVariables { get; } 303IOperation? Condition { get; } 319IOperation? IgnoredCondition { get; } 348IOperation? Operation { get; } 424IOperation? ReturnedValue { get; } 449IOperation LockedValue { get; } 453IOperation Body { get; } 515IOperation Resources { get; } 519IOperation Body { get; } 553IOperation Operation { get; } 709IOperation Operand { get; } 785IOperation? Instance { get; } 822IOperation ArrayReference { get; } 826ImmutableArray<IOperation> Indices { get; } 902IOperation? Instance { get; } 1061IOperation Operand { get; } 1111IOperation LeftOperand { get; } 1115IOperation RightOperand { get; } 1170IOperation Condition { get; } 1174IOperation WhenTrue { get; } 1178IOperation? WhenFalse { get; } 1214IOperation Value { get; } 1218IOperation WhenNull { get; } 1341ImmutableArray<IOperation> DimensionSizes { get; } 1397IOperation ValueOperand { get; } 1432IOperation Operation { get; } 1453IOperation Target { get; } 1457IOperation Value { get; } 1557IOperation Operand { get; } 1582IOperation EventReference { get; } 1586IOperation HandlerValue { get; } 1616IOperation Operation { get; } 1620IOperation WhenNotNull { get; } 1693ImmutableArray<IOperation> Initializers { get; } 1724ImmutableArray<IOperation> Initializers { get; } 1755IOperation InitializedMember { get; } 1781ImmutableArray<IOperation> Arguments { get; } 1807IOperation Argument { get; } 1832ImmutableArray<IOperation> Elements { get; } 1835/// Natural type can be different from <see cref="IOperation.Type" /> depending on the 1867ImmutableArray<IOperation> Arguments { get; } 1892IOperation? Instance { get; } 1944IOperation Operation { get; } 1948ImmutableArray<IOperation> Arguments { get; } 1972IOperation Operation { get; } 1976ImmutableArray<IOperation> Arguments { get; } 2006IOperation Operation { get; } 2031IOperation Target { get; } 2124IOperation Reference { get; } 2148IOperation Value { get; } 2194IOperation Target { get; } 2229IOperation? Exception { get; } 2282IOperation Expression { get; } 2327IOperation Value { get; } 2448ImmutableArray<IOperation> ElementValues { get; } 2491ImmutableArray<IOperation> IgnoredArguments { get; } 2538ImmutableArray<IOperation> IgnoredDimensions { get; } 2571IOperation Value { get; } 2608IOperation? ExceptionDeclarationOrExpression { get; } 2620IOperation? Filter { get; } 2653ImmutableArray<IOperation> Body { get; } 2725IOperation? Guard { get; } 2745IOperation MinimumValue { get; } 2749IOperation MaximumValue { get; } 2769IOperation Value { get; } 2794IOperation Value { get; } 2836IOperation Text { get; } 2861IOperation Expression { get; } 2865IOperation? Alignment { get; } 2869IOperation? FormatString { get; } 2917IOperation Value { get; } 2980IOperation LeftOperand { get; } 2984IOperation RightOperand { get; } 3058IOperation? Initializer { get; } 3131IOperation? LeftOperand { get; } 3135IOperation? RightOperand { get; } 3199IOperation Operand { get; } 3203ImmutableArray<IOperation> DimensionSizes { get; } 3283IOperation Value { get; } 3313IOperation? Guard { get; } 3317IOperation Value { get; } 3341IOperation Member { get; } 3356IOperation Group { get; } 3357IOperation Aggregation { get; } 3379IOperation Body { get; } 3432IOperation Pointer { get; } 3452IOperation Body { get; } 3456IOperation Value { get; } 3593IOperation Value { get; } 3617IOperation Operand { get; } 3644IOperation HandlerCreation { get; } 3666IOperation Content { get; } 3685IOperation Left { get; } 3690IOperation Right { get; } 3711IOperation AppendCall { get; } 3752IOperation Target { get; } 3834IOperation Instance { get; } 3838IOperation Argument { get; } 3895IOperation Operation { get; } 3919IOperation Instance { get; } 3923IOperation Argument { get; } 3961ImmutableArray<IOperation> Elements { get; } 3985IOperation Operand { get; } 4001internal BlockOperation(ImmutableArray<IOperation> operations, ImmutableArray<ILocalSymbol> locals, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4007public ImmutableArray<IOperation> Operations { get; } 4011internal override IOperation GetCurrent(int slot, int index) 4066internal override IOperation GetCurrent(int slot, int index) 4113internal SwitchOperation(ImmutableArray<ILocalSymbol> locals, IOperation value, ImmutableArray<ISwitchCaseOperation> cases, ILabelSymbol exitLabel, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4122public IOperation Value { get; } 4128internal override IOperation GetCurrent(int slot, int index) 4183protected BaseLoopOperation(IOperation body, ImmutableArray<ILocalSymbol> locals, ILabelSymbol continueLabel, ILabelSymbol exitLabel, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4192public IOperation Body { get; } 4199internal ForEachLoopOperation(IOperation loopControlVariable, IOperation collection, ImmutableArray<IOperation> nextVariables, ForEachLoopOperationInfo? info, bool isAsynchronous, IOperation body, ImmutableArray<ILocalSymbol> locals, ILabelSymbol continueLabel, ILabelSymbol exitLabel, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4208public IOperation LoopControlVariable { get; } 4209public IOperation Collection { get; } 4210public ImmutableArray<IOperation> NextVariables { get; } 4218internal override IOperation GetCurrent(int slot, int index) 4289internal ForLoopOperation(ImmutableArray<IOperation> before, ImmutableArray<ILocalSymbol> conditionLocals, IOperation? condition, ImmutableArray<IOperation> atLoopBottom, IOperation body, ImmutableArray<ILocalSymbol> locals, ILabelSymbol continueLabel, ILabelSymbol exitLabel, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4297public ImmutableArray<IOperation> Before { get; } 4299public IOperation? Condition { get; } 4300public ImmutableArray<IOperation> AtLoopBottom { get; } 4306internal override IOperation GetCurrent(int slot, int index) 4381internal ForToLoopOperation(IOperation loopControlVariable, IOperation initialValue, IOperation limitValue, IOperation stepValue, bool isChecked, ImmutableArray<IOperation> nextVariables, (ILocalSymbol LoopObject, ForToLoopOperationUserDefinedInfo UserDefinedInfo) info, IOperation body, ImmutableArray<ILocalSymbol> locals, ILabelSymbol continueLabel, ILabelSymbol exitLabel, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4392public IOperation LoopControlVariable { get; } 4393public IOperation InitialValue { get; } 4394public IOperation LimitValue { get; } 4395public IOperation StepValue { get; } 4397public ImmutableArray<IOperation> NextVariables { get; } 4406internal override IOperation GetCurrent(int slot, int index) 4493internal WhileLoopOperation(IOperation? condition, bool conditionIsTop, bool conditionIsUntil, IOperation? ignoredCondition, IOperation body, ImmutableArray<ILocalSymbol> locals, ILabelSymbol continueLabel, ILabelSymbol exitLabel, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4501public IOperation? Condition { get; } 4504public IOperation? IgnoredCondition { get; } 4517internal LabeledOperation(ILabelSymbol label, IOperation? operation, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4524public IOperation? Operation { get; } 4527internal override IOperation GetCurrent(int slot, int index) 4579internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 4593internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 4604internal ReturnOperation(IOperation? returnedValue, OperationKind kind, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4610public IOperation? ReturnedValue { get; } 4613internal override IOperation GetCurrent(int slot, int index) 4656internal LockOperation(IOperation lockedValue, IOperation body, ILocalSymbol? lockTakenSymbol, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4663public IOperation LockedValue { get; } 4664public IOperation Body { get; } 4669internal override IOperation GetCurrent(int slot, int index) 4736internal override IOperation GetCurrent(int slot, int index) 4799internal UsingOperation(IOperation resources, IOperation body, ImmutableArray<ILocalSymbol> locals, bool isAsynchronous, DisposeOperationInfo disposeInfo, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4808public IOperation Resources { get; } 4809public IOperation Body { get; } 4816internal override IOperation GetCurrent(int slot, int index) 4867internal ExpressionStatementOperation(IOperation operation, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4872public IOperation Operation { get; } 4875internal override IOperation GetCurrent(int slot, int index) 4931internal override IOperation GetCurrent(int slot, int index) 4985internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 4999internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 5021internal override IOperation GetCurrent(int slot, int index) 5083internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 5094internal ConversionOperation(IOperation operand, IConvertibleConversion conversion, bool isTryCast, bool isChecked, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5104public IOperation Operand { get; } 5111internal override IOperation GetCurrent(int slot, int index) 5154internal InvocationOperation(IMethodSymbol targetMethod, ITypeSymbol? constrainedToType, IOperation? instance, bool isVirtual, ImmutableArray<IArgumentOperation> arguments, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5166public IOperation? Instance { get; } 5172internal override IOperation GetCurrent(int slot, int index) 5227internal ArrayElementReferenceOperation(IOperation arrayReference, ImmutableArray<IOperation> indices, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5234public IOperation ArrayReference { get; } 5235public ImmutableArray<IOperation> Indices { get; } 5239internal override IOperation GetCurrent(int slot, int index) 5305internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 5324internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 5335protected BaseMemberReferenceOperation(IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 5340public IOperation? Instance { get; } 5345internal FieldReferenceOperation(IFieldSymbol field, bool isDeclaration, IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5357internal override IOperation GetCurrent(int slot, int index) 5400internal MethodReferenceOperation(IMethodSymbol method, ITypeSymbol? constrainedToType, bool isVirtual, IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5413internal override IOperation GetCurrent(int slot, int index) 5456internal PropertyReferenceOperation(IPropertySymbol property, ITypeSymbol? constrainedToType, ImmutableArray<IArgumentOperation> arguments, IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5470internal override IOperation GetCurrent(int slot, int index) 5525internal EventReferenceOperation(IEventSymbol @event, ITypeSymbol? constrainedToType, IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5536internal override IOperation GetCurrent(int slot, int index) 5579internal UnaryOperation(UnaryOperatorKind operatorKind, IOperation operand, bool isLifted, bool isChecked, IMethodSymbol? operatorMethod, ITypeSymbol? constrainedToType, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5592public IOperation Operand { get; } 5599internal override IOperation GetCurrent(int slot, int index) 5642internal BinaryOperation(BinaryOperatorKind operatorKind, IOperation leftOperand, IOperation rightOperand, bool isLifted, bool isChecked, bool isCompareText, IMethodSymbol? operatorMethod, ITypeSymbol? constrainedToType, IMethodSymbol? unaryOperatorMethod, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5658public IOperation LeftOperand { get; } 5659public IOperation RightOperand { get; } 5669internal override IOperation GetCurrent(int slot, int index) 5720internal ConditionalOperation(IOperation condition, IOperation whenTrue, IOperation? whenFalse, bool isRef, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5730public IOperation Condition { get; } 5731public IOperation WhenTrue { get; } 5732public IOperation? WhenFalse { get; } 5738internal override IOperation GetCurrent(int slot, int index) 5797internal CoalesceOperation(IOperation value, IOperation whenNull, IConvertibleConversion valueConversion, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5806public IOperation Value { get; } 5807public IOperation WhenNull { get; } 5813internal override IOperation GetCurrent(int slot, int index) 5874internal override IOperation GetCurrent(int slot, int index) 5932internal override IOperation GetCurrent(int slot, int index) 5996internal override IOperation GetCurrent(int slot, int index) 6039internal ArrayCreationOperation(ImmutableArray<IOperation> dimensionSizes, IArrayInitializerOperation? initializer, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6046public ImmutableArray<IOperation> DimensionSizes { get; } 6051internal override IOperation GetCurrent(int slot, int index) 6114internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 6125internal IsTypeOperation(IOperation valueOperand, ITypeSymbol typeOperand, bool isNegated, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6133public IOperation ValueOperand { get; } 6138internal override IOperation GetCurrent(int slot, int index) 6181internal AwaitOperation(IOperation operation, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6187public IOperation Operation { get; } 6190internal override IOperation GetCurrent(int slot, int index) 6233protected BaseAssignmentOperation(IOperation target, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 6239public IOperation Target { get; } 6240public IOperation Value { get; } 6244internal SimpleAssignmentOperation(bool isRef, IOperation target, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 6255internal override IOperation GetCurrent(int slot, int index) 6306internal CompoundAssignmentOperation(IConvertibleConversion inConversion, IConvertibleConversion outConversion, BinaryOperatorKind operatorKind, bool isLifted, bool isChecked, IMethodSymbol? operatorMethod, ITypeSymbol? constrainedToType, IOperation target, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6330internal override IOperation GetCurrent(int slot, int index) 6381internal ParenthesizedOperation(IOperation operand, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 6388public IOperation Operand { get; } 6391internal override IOperation GetCurrent(int slot, int index) 6434internal EventAssignmentOperation(IOperation eventReference, IOperation handlerValue, bool adds, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6442public IOperation EventReference { get; } 6443public IOperation HandlerValue { get; } 6448internal override IOperation GetCurrent(int slot, int index) 6499internal ConditionalAccessOperation(IOperation operation, IOperation whenNotNull, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6506public IOperation Operation { get; } 6507public IOperation WhenNotNull { get; } 6511internal override IOperation GetCurrent(int slot, int index) 6568internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 6589internal override IOperation GetCurrent(int slot, int index) 6636internal AnonymousObjectCreationOperation(ImmutableArray<IOperation> initializers, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6642public ImmutableArray<IOperation> Initializers { get; } 6645internal override IOperation GetCurrent(int slot, int index) 6692internal ObjectOrCollectionInitializerOperation(ImmutableArray<IOperation> initializers, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6698public ImmutableArray<IOperation> Initializers { get; } 6701internal override IOperation GetCurrent(int slot, int index) 6748internal MemberInitializerOperation(IOperation initializedMember, IObjectOrCollectionInitializerOperation initializer, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6755public IOperation InitializedMember { get; } 6760internal override IOperation GetCurrent(int slot, int index) 6811internal NameOfOperation(IOperation argument, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 6818public IOperation Argument { get; } 6821internal override IOperation GetCurrent(int slot, int index) 6864internal TupleOperation(ImmutableArray<IOperation> elements, ITypeSymbol? naturalType, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6871public ImmutableArray<IOperation> Elements { get; } 6875internal override IOperation GetCurrent(int slot, int index) 6922internal DynamicMemberReferenceOperation(IOperation? instance, string memberName, ImmutableArray<ITypeSymbol> typeArguments, ITypeSymbol? containingType, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6931public IOperation? Instance { get; } 6937internal override IOperation GetCurrent(int slot, int index) 6980internal TranslatedQueryOperation(IOperation operation, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6986public IOperation Operation { get; } 6989internal override IOperation GetCurrent(int slot, int index) 7032internal DelegateCreationOperation(IOperation target, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7038public IOperation Target { get; } 7041internal override IOperation GetCurrent(int slot, int index) 7091internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 7110internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 7130internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 7141internal AddressOfOperation(IOperation reference, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7147public IOperation Reference { get; } 7150internal override IOperation GetCurrent(int slot, int index) 7193internal IsPatternOperation(IOperation value, IPatternOperation pattern, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7200public IOperation Value { get; } 7205internal override IOperation GetCurrent(int slot, int index) 7256internal IncrementOrDecrementOperation(bool isPostfix, bool isLifted, bool isChecked, IOperation target, IMethodSymbol? operatorMethod, ITypeSymbol? constrainedToType, OperationKind kind, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7271public IOperation Target { get; } 7276internal override IOperation GetCurrent(int slot, int index) 7319internal ThrowOperation(IOperation? exception, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7325public IOperation? Exception { get; } 7328internal override IOperation GetCurrent(int slot, int index) 7371internal DeconstructionAssignmentOperation(IOperation target, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7379internal override IOperation GetCurrent(int slot, int index) 7430internal DeclarationExpressionOperation(IOperation expression, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7436public IOperation Expression { get; } 7439internal override IOperation GetCurrent(int slot, int index) 7488internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 7499protected BaseSymbolInitializerOperation(ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7506public IOperation Value { get; } 7510internal FieldInitializerOperation(ImmutableArray<IFieldSymbol> initializedFields, ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7518internal override IOperation GetCurrent(int slot, int index) 7561internal VariableInitializerOperation(ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7565internal override IOperation GetCurrent(int slot, int index) 7608internal PropertyInitializerOperation(ImmutableArray<IPropertySymbol> initializedProperties, ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7616internal override IOperation GetCurrent(int slot, int index) 7659internal ParameterInitializerOperation(IParameterSymbol parameter, ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7667internal override IOperation GetCurrent(int slot, int index) 7710internal ArrayInitializerOperation(ImmutableArray<IOperation> elementValues, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7715public ImmutableArray<IOperation> ElementValues { get; } 7718internal override IOperation GetCurrent(int slot, int index) 7765internal VariableDeclaratorOperation(ILocalSymbol symbol, IVariableInitializerOperation? initializer, ImmutableArray<IOperation> ignoredArguments, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7774public ImmutableArray<IOperation> IgnoredArguments { get; } 7778internal override IOperation GetCurrent(int slot, int index) 7833internal VariableDeclarationOperation(ImmutableArray<IVariableDeclaratorOperation> declarators, IVariableInitializerOperation? initializer, ImmutableArray<IOperation> ignoredDimensions, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7842public ImmutableArray<IOperation> IgnoredDimensions { get; } 7847internal override IOperation GetCurrent(int slot, int index) 7914internal ArgumentOperation(ArgumentKind argumentKind, IParameterSymbol? parameter, IOperation value, IConvertibleConversion inConversion, IConvertibleConversion outConversion, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7925public IOperation Value { get; } 7932internal override IOperation GetCurrent(int slot, int index) 7975internal CatchClauseOperation(IOperation? exceptionDeclarationOrExpression, ITypeSymbol exceptionType, ImmutableArray<ILocalSymbol> locals, IOperation? filter, IBlockOperation handler, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7984public IOperation? ExceptionDeclarationOrExpression { get; } 7987public IOperation? Filter { get; } 7993internal override IOperation GetCurrent(int slot, int index) 8052internal SwitchCaseOperation(ImmutableArray<ICaseClauseOperation> clauses, ImmutableArray<IOperation> body, ImmutableArray<ILocalSymbol> locals, IOperation? condition, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8061public ImmutableArray<IOperation> Body { get; } 8063public IOperation? Condition { get; } 8067internal override IOperation GetCurrent(int slot, int index) 8139internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8150internal PatternCaseClauseOperation(ILabelSymbol label, IPatternOperation pattern, IOperation? guard, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8158public IOperation? Guard { get; } 8162internal override IOperation GetCurrent(int slot, int index) 8213internal RangeCaseClauseOperation(IOperation minimumValue, IOperation maximumValue, ILabelSymbol? label, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8219public IOperation MinimumValue { get; } 8220public IOperation MaximumValue { get; } 8224internal override IOperation GetCurrent(int slot, int index) 8275internal RelationalCaseClauseOperation(IOperation value, BinaryOperatorKind relation, ILabelSymbol? label, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8281public IOperation Value { get; } 8285internal override IOperation GetCurrent(int slot, int index) 8328internal SingleValueCaseClauseOperation(IOperation value, ILabelSymbol? label, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8333public IOperation Value { get; } 8336internal override IOperation GetCurrent(int slot, int index) 8384internal InterpolatedStringTextOperation(IOperation text, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8389public IOperation Text { get; } 8392internal override IOperation GetCurrent(int slot, int index) 8435internal InterpolationOperation(IOperation expression, IOperation? alignment, IOperation? formatString, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8442public IOperation Expression { get; } 8443public IOperation? Alignment { get; } 8444public IOperation? FormatString { get; } 8449internal override IOperation GetCurrent(int slot, int index) 8519internal ConstantPatternOperation(IOperation value, ITypeSymbol inputType, ITypeSymbol narrowedType, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8524public IOperation Value { get; } 8527internal override IOperation GetCurrent(int slot, int index) 8581internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8592internal TupleBinaryOperation(BinaryOperatorKind operatorKind, IOperation leftOperand, IOperation rightOperand, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 8601public IOperation LeftOperand { get; } 8602public IOperation RightOperand { get; } 8606internal override IOperation GetCurrent(int slot, int index) 8673internal override IOperation GetCurrent(int slot, int index) 8724internal ConstructorBodyOperation(ImmutableArray<ILocalSymbol> locals, IOperation? initializer, IBlockOperation? blockBody, IBlockOperation? expressionBody, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8731public IOperation? Initializer { get; } 8736internal override IOperation GetCurrent(int slot, int index) 8803internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8814internal FlowCaptureOperation(CaptureId id, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8821public IOperation Value { get; } 8824internal override IOperation GetCurrent(int slot, int index) 8878internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8889internal IsNullOperation(IOperation operand, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 8896public IOperation Operand { get; } 8899internal override IOperation GetCurrent(int slot, int index) 8948internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8967internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8978internal CoalesceAssignmentOperation(IOperation target, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 8986internal override IOperation GetCurrent(int slot, int index) 9037internal RangeOperation(IOperation? leftOperand, IOperation? rightOperand, bool isLifted, IMethodSymbol? method, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 9046public IOperation? LeftOperand { get; } 9047public IOperation? RightOperand { get; } 9053internal override IOperation GetCurrent(int slot, int index) 9114internal override IOperation GetCurrent(int slot, int index) 9161internal ReDimClauseOperation(IOperation operand, ImmutableArray<IOperation> dimensionSizes, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9167public IOperation Operand { get; } 9168public ImmutableArray<IOperation> DimensionSizes { get; } 9172internal override IOperation GetCurrent(int slot, int index) 9244internal override IOperation GetCurrent(int slot, int index) 9306internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 9317internal SwitchExpressionOperation(IOperation value, ImmutableArray<ISwitchExpressionArmOperation> arms, bool isExhaustive, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 9325public IOperation Value { get; } 9331internal override IOperation GetCurrent(int slot, int index) 9386internal SwitchExpressionArmOperation(IPatternOperation pattern, IOperation? guard, IOperation value, ImmutableArray<ILocalSymbol> locals, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9395public IOperation? Guard { get; } 9396public IOperation Value { get; } 9402internal override IOperation GetCurrent(int slot, int index) 9461internal PropertySubpatternOperation(IOperation member, IPatternOperation pattern, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9467public IOperation Member { get; } 9472internal override IOperation GetCurrent(int slot, int index) 9523internal AggregateQueryOperation(IOperation group, IOperation aggregation, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 9530public IOperation Group { get; } 9531public IOperation Aggregation { get; } 9535internal override IOperation GetCurrent(int slot, int index) 9586internal FixedOperation(ImmutableArray<ILocalSymbol> locals, IVariableDeclarationGroupOperation variables, IOperation body, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9595public IOperation Body { get; } 9599internal override IOperation GetCurrent(int slot, int index) 9659internal override IOperation GetCurrent(int slot, int index) 9710internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 9721internal WithStatementOperation(IOperation body, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9727public IOperation Body { get; } 9728public IOperation Value { get; } 9732internal override IOperation GetCurrent(int slot, int index) 9795internal override IOperation GetCurrent(int slot, int index) 9846internal override IOperation GetCurrent(int slot, int index) 9902internal override IOperation GetCurrent(int slot, int index) 9960internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 9971internal RelationalPatternOperation(BinaryOperatorKind operatorKind, IOperation value, ITypeSymbol inputType, ITypeSymbol narrowedType, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9978public IOperation Value { get; } 9981internal override IOperation GetCurrent(int slot, int index) 10024internal WithOperation(IOperation operand, IMethodSymbol? cloneMethod, IObjectOrCollectionInitializerOperation initializer, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10032public IOperation Operand { get; } 10038internal override IOperation GetCurrent(int slot, int index) 10089internal InterpolatedStringHandlerCreationOperation(IOperation handlerCreation, bool handlerCreationHasSuccessParameter, bool handlerAppendCallsReturnBool, IOperation content, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10098public IOperation HandlerCreation { get; } 10101public IOperation Content { get; } 10105internal override IOperation GetCurrent(int slot, int index) 10156internal InterpolatedStringAdditionOperation(IOperation left, IOperation right, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 10162public IOperation Left { get; } 10163public IOperation Right { get; } 10167internal override IOperation GetCurrent(int slot, int index) 10218internal InterpolatedStringAppendOperation(IOperation appendCall, OperationKind kind, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 10224public IOperation AppendCall { get; } 10227internal override IOperation GetCurrent(int slot, int index) 10279internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 10290internal FunctionPointerInvocationOperation(IOperation target, ImmutableArray<IArgumentOperation> arguments, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10297public IOperation Target { get; } 10302internal override IOperation GetCurrent(int slot, int index) 10371internal override IOperation GetCurrent(int slot, int index) 10428internal override IOperation GetCurrent(int slot, int index) 10471internal ImplicitIndexerReferenceOperation(IOperation instance, IOperation argument, ISymbol lengthSymbol, ISymbol indexerSymbol, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10480public IOperation Instance { get; } 10481public IOperation Argument { get; } 10487internal override IOperation GetCurrent(int slot, int index) 10546internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 10557internal AttributeOperation(IOperation operation, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 10562public IOperation Operation { get; } 10565internal override IOperation GetCurrent(int slot, int index) 10608internal InlineArrayAccessOperation(IOperation instance, IOperation argument, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10615public IOperation Instance { get; } 10616public IOperation Argument { get; } 10620internal override IOperation GetCurrent(int slot, int index) 10671internal CollectionExpressionOperation(IMethodSymbol? constructMethod, ImmutableArray<IOperation> elements, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10679public ImmutableArray<IOperation> Elements { get; } 10682internal override IOperation GetCurrent(int slot, int index) 10729internal SpreadOperation(IOperation operand, ITypeSymbol? elementType, IConvertibleConversion elementConversion, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 10736public IOperation Operand { get; } 10742internal override IOperation GetCurrent(int slot, int index) 10785internal sealed partial class OperationCloner : OperationVisitor<object?, IOperation> 10789public static T CloneOperation<T>(T operation) where T : IOperation => s_instance.Visit(operation); 10792private T? Visit<T>(T? node) where T : IOperation? => (T?)Visit(node, argument: null); 10793public override IOperation DefaultVisit(IOperation operation, object? argument) => throw ExceptionUtilities.Unreachable(); 10794private ImmutableArray<T> VisitArray<T>(ImmutableArray<T> nodes) where T : IOperation => nodes.SelectAsArray((n, @this) => @this.Visit(n), this)!; 10795private ImmutableArray<(ISymbol, T)> VisitArray<T>(ImmutableArray<(ISymbol, T)> nodes) where T : IOperation => nodes.SelectAsArray((n, @this) => (n.Item1, @this.Visit(n.Item2)), this)!; 10796public override IOperation VisitBlock(IBlockOperation operation, object? argument) 10801public override IOperation VisitVariableDeclarationGroup(IVariableDeclarationGroupOperation operation, object? argument) 10806public override IOperation VisitSwitch(ISwitchOperation operation, object? argument) 10811public override IOperation VisitForEachLoop(IForEachLoopOperation operation, object? argument) 10816public override IOperation VisitForLoop(IForLoopOperation operation, object? argument) 10821public override IOperation VisitForToLoop(IForToLoopOperation operation, object? argument) 10826public override IOperation VisitWhileLoop(IWhileLoopOperation operation, object? argument) 10831public override IOperation VisitLabeled(ILabeledOperation operation, object? argument) 10836public override IOperation VisitBranch(IBranchOperation operation, object? argument) 10841public override IOperation VisitEmpty(IEmptyOperation operation, object? argument) 10846public override IOperation VisitReturn(IReturnOperation operation, object? argument) 10851public override IOperation VisitLock(ILockOperation operation, object? argument) 10856public override IOperation VisitTry(ITryOperation operation, object? argument) 10861public override IOperation VisitUsing(IUsingOperation operation, object? argument) 10866public override IOperation VisitExpressionStatement(IExpressionStatementOperation operation, object? argument) 10871public override IOperation VisitLocalFunction(ILocalFunctionOperation operation, object? argument) 10876public override IOperation VisitStop(IStopOperation operation, object? argument) 10881public override IOperation VisitEnd(IEndOperation operation, object? argument) 10886public override IOperation VisitRaiseEvent(IRaiseEventOperation operation, object? argument) 10891public override IOperation VisitLiteral(ILiteralOperation operation, object? argument) 10896public override IOperation VisitConversion(IConversionOperation operation, object? argument) 10901public override IOperation VisitInvocation(IInvocationOperation operation, object? argument) 10906public override IOperation VisitArrayElementReference(IArrayElementReferenceOperation operation, object? argument) 10911public override IOperation VisitLocalReference(ILocalReferenceOperation operation, object? argument) 10916public override IOperation VisitParameterReference(IParameterReferenceOperation operation, object? argument) 10921public override IOperation VisitFieldReference(IFieldReferenceOperation operation, object? argument) 10926public override IOperation VisitMethodReference(IMethodReferenceOperation operation, object? argument) 10931public override IOperation VisitPropertyReference(IPropertyReferenceOperation operation, object? argument) 10936public override IOperation VisitEventReference(IEventReferenceOperation operation, object? argument) 10941public override IOperation VisitUnaryOperator(IUnaryOperation operation, object? argument) 10946public override IOperation VisitBinaryOperator(IBinaryOperation operation, object? argument) 10951public override IOperation VisitConditional(IConditionalOperation operation, object? argument) 10956public override IOperation VisitCoalesce(ICoalesceOperation operation, object? argument) 10961public override IOperation VisitAnonymousFunction(IAnonymousFunctionOperation operation, object? argument) 10966public override IOperation VisitObjectCreation(IObjectCreationOperation operation, object? argument) 10971public override IOperation VisitTypeParameterObjectCreation(ITypeParameterObjectCreationOperation operation, object? argument) 10976public override IOperation VisitArrayCreation(IArrayCreationOperation operation, object? argument) 10981public override IOperation VisitInstanceReference(IInstanceReferenceOperation operation, object? argument) 10986public override IOperation VisitIsType(IIsTypeOperation operation, object? argument) 10991public override IOperation VisitAwait(IAwaitOperation operation, object? argument) 10996public override IOperation VisitSimpleAssignment(ISimpleAssignmentOperation operation, object? argument) 11001public override IOperation VisitCompoundAssignment(ICompoundAssignmentOperation operation, object? argument) 11006public override IOperation VisitParenthesized(IParenthesizedOperation operation, object? argument) 11011public override IOperation VisitEventAssignment(IEventAssignmentOperation operation, object? argument) 11016public override IOperation VisitConditionalAccess(IConditionalAccessOperation operation, object? argument) 11021public override IOperation VisitConditionalAccessInstance(IConditionalAccessInstanceOperation operation, object? argument) 11026public override IOperation VisitInterpolatedString(IInterpolatedStringOperation operation, object? argument) 11031public override IOperation VisitAnonymousObjectCreation(IAnonymousObjectCreationOperation operation, object? argument) 11036public override IOperation VisitObjectOrCollectionInitializer(IObjectOrCollectionInitializerOperation operation, object? argument) 11041public override IOperation VisitMemberInitializer(IMemberInitializerOperation operation, object? argument) 11046public override IOperation VisitNameOf(INameOfOperation operation, object? argument) 11051public override IOperation VisitTuple(ITupleOperation operation, object? argument) 11056public override IOperation VisitDynamicMemberReference(IDynamicMemberReferenceOperation operation, object? argument) 11061public override IOperation VisitTranslatedQuery(ITranslatedQueryOperation operation, object? argument) 11066public override IOperation VisitDelegateCreation(IDelegateCreationOperation operation, object? argument) 11071public override IOperation VisitDefaultValue(IDefaultValueOperation operation, object? argument) 11076public override IOperation VisitTypeOf(ITypeOfOperation operation, object? argument) 11081public override IOperation VisitSizeOf(ISizeOfOperation operation, object? argument) 11086public override IOperation VisitAddressOf(IAddressOfOperation operation, object? argument) 11091public override IOperation VisitIsPattern(IIsPatternOperation operation, object? argument) 11096public override IOperation VisitIncrementOrDecrement(IIncrementOrDecrementOperation operation, object? argument) 11101public override IOperation VisitThrow(IThrowOperation operation, object? argument) 11106public override IOperation VisitDeconstructionAssignment(IDeconstructionAssignmentOperation operation, object? argument) 11111public override IOperation VisitDeclarationExpression(IDeclarationExpressionOperation operation, object? argument) 11116public override IOperation VisitOmittedArgument(IOmittedArgumentOperation operation, object? argument) 11121public override IOperation VisitFieldInitializer(IFieldInitializerOperation operation, object? argument) 11126public override IOperation VisitVariableInitializer(IVariableInitializerOperation operation, object? argument) 11131public override IOperation VisitPropertyInitializer(IPropertyInitializerOperation operation, object? argument) 11136public override IOperation VisitParameterInitializer(IParameterInitializerOperation operation, object? argument) 11141public override IOperation VisitArrayInitializer(IArrayInitializerOperation operation, object? argument) 11146public override IOperation VisitVariableDeclarator(IVariableDeclaratorOperation operation, object? argument) 11151public override IOperation VisitVariableDeclaration(IVariableDeclarationOperation operation, object? argument) 11156public override IOperation VisitArgument(IArgumentOperation operation, object? argument) 11161public override IOperation VisitCatchClause(ICatchClauseOperation operation, object? argument) 11166public override IOperation VisitSwitchCase(ISwitchCaseOperation operation, object? argument) 11171public override IOperation VisitDefaultCaseClause(IDefaultCaseClauseOperation operation, object? argument) 11176public override IOperation VisitPatternCaseClause(IPatternCaseClauseOperation operation, object? argument) 11181public override IOperation VisitRangeCaseClause(IRangeCaseClauseOperation operation, object? argument) 11186public override IOperation VisitRelationalCaseClause(IRelationalCaseClauseOperation operation, object? argument) 11191public override IOperation VisitSingleValueCaseClause(ISingleValueCaseClauseOperation operation, object? argument) 11196public override IOperation VisitInterpolatedStringText(IInterpolatedStringTextOperation operation, object? argument) 11201public override IOperation VisitInterpolation(IInterpolationOperation operation, object? argument) 11206public override IOperation VisitConstantPattern(IConstantPatternOperation operation, object? argument) 11211public override IOperation VisitDeclarationPattern(IDeclarationPatternOperation operation, object? argument) 11216public override IOperation VisitTupleBinaryOperator(ITupleBinaryOperation operation, object? argument) 11221public override IOperation VisitMethodBodyOperation(IMethodBodyOperation operation, object? argument) 11226public override IOperation VisitConstructorBodyOperation(IConstructorBodyOperation operation, object? argument) 11231public override IOperation VisitDiscardOperation(IDiscardOperation operation, object? argument) 11236public override IOperation VisitFlowCaptureReference(IFlowCaptureReferenceOperation operation, object? argument) 11241public override IOperation VisitCoalesceAssignment(ICoalesceAssignmentOperation operation, object? argument) 11246public override IOperation VisitRangeOperation(IRangeOperation operation, object? argument) 11251public override IOperation VisitReDim(IReDimOperation operation, object? argument) 11256public override IOperation VisitReDimClause(IReDimClauseOperation operation, object? argument) 11261public override IOperation VisitRecursivePattern(IRecursivePatternOperation operation, object? argument) 11266public override IOperation VisitDiscardPattern(IDiscardPatternOperation operation, object? argument) 11271public override IOperation VisitSwitchExpression(ISwitchExpressionOperation operation, object? argument) 11276public override IOperation VisitSwitchExpressionArm(ISwitchExpressionArmOperation operation, object? argument) 11281public override IOperation VisitPropertySubpattern(IPropertySubpatternOperation operation, object? argument) 11286internal override IOperation VisitAggregateQuery(IAggregateQueryOperation operation, object? argument) 11291internal override IOperation VisitFixed(IFixedOperation operation, object? argument) 11296internal override IOperation VisitNoPiaObjectCreation(INoPiaObjectCreationOperation operation, object? argument) 11301internal override IOperation VisitPlaceholder(IPlaceholderOperation operation, object? argument) 11306internal override IOperation VisitWithStatement(IWithStatementOperation operation, object? argument) 11311public override IOperation VisitUsingDeclaration(IUsingDeclarationOperation operation, object? argument) 11316public override IOperation VisitNegatedPattern(INegatedPatternOperation operation, object? argument) 11321public override IOperation VisitBinaryPattern(IBinaryPatternOperation operation, object? argument) 11326public override IOperation VisitTypePattern(ITypePatternOperation operation, object? argument) 11331public override IOperation VisitRelationalPattern(IRelationalPatternOperation operation, object? argument) 11336public override IOperation VisitWith(IWithOperation operation, object? argument) 11341public override IOperation VisitInterpolatedStringHandlerCreation(IInterpolatedStringHandlerCreationOperation operation, object? argument) 11346public override IOperation VisitInterpolatedStringAddition(IInterpolatedStringAdditionOperation operation, object? argument) 11351public override IOperation VisitInterpolatedStringAppend(IInterpolatedStringAppendOperation operation, object? argument) 11356public override IOperation VisitInterpolatedStringHandlerArgumentPlaceholder(IInterpolatedStringHandlerArgumentPlaceholderOperation operation, object? argument) 11361public override IOperation VisitFunctionPointerInvocation(IFunctionPointerInvocationOperation operation, object? argument) 11366public override IOperation VisitListPattern(IListPatternOperation operation, object? argument) 11371public override IOperation VisitSlicePattern(ISlicePatternOperation operation, object? argument) 11376public override IOperation VisitImplicitIndexerReference(IImplicitIndexerReferenceOperation operation, object? argument) 11381public override IOperation VisitUtf8String(IUtf8StringOperation operation, object? argument) 11386public override IOperation VisitAttribute(IAttributeOperation operation, object? argument) 11391public override IOperation VisitInlineArrayAccess(IInlineArrayAccessOperation operation, object? argument) 11396public override IOperation VisitCollectionExpression(ICollectionExpressionOperation operation, object? argument) 11401public override IOperation VisitSpread(ISpreadOperation operation, object? argument) 11412public virtual void Visit(IOperation? operation) => operation?.Accept(this); 11413public virtual void DefaultVisit(IOperation operation) { /* no-op */ } 11414internal virtual void VisitNoneOperation(IOperation operation) { /* no-op */ } 11551public virtual TResult? Visit(IOperation? operation, TArgument argument) => operation is null ? default(TResult) : operation.Accept(this, argument); 11552public virtual TResult? DefaultVisit(IOperation operation, TArgument argument) => default(TResult); 11553internal virtual TResult? VisitNoneOperation(IOperation operation, TArgument argument) => default(TResult);

30ImmutableArray<IOperation> operations, 31IOperation? branchValue, 54public ImmutableArray<IOperation> Operations { get; } 63public IOperation? BranchValue { get; }

32internal ControlFlowGraph(IOperation originalOperation, 95IOperation? operation = semanticModel.GetOperation(node, cancellationToken); 171internal static ControlFlowGraph CreateCore(IOperation operation, string argumentNameForException, CancellationToken cancellationToken) 200public IOperation OriginalOperation { get; }

19private ArrayBuilder<IOperation>? _statements; 27public IOperation? BranchValue; 47public ArrayBuilder<IOperation>? StatementsOpt => _statements; 49public void AddStatement(IOperation operation) 55_statements = ArrayBuilder<IOperation>.GetInstance(); 83_statements?.ToImmutableAndFree() ?? ImmutableArray<IOperation>.Empty,

21public readonly ArrayBuilder<IOperation>? Operations; 28public ConditionalAccessOperationTracker(ArrayBuilder<IOperation> operations, BasicBlockBuilder whenNull)

20public readonly IOperation? ImplicitInstance; 22public readonly ImmutableArray<KeyValuePair<IPropertySymbol, IOperation>> AnonymousTypePropertyValues; 24internal Context(IOperation? implicitInstance, INamedTypeSymbol? anonymousType, ImmutableArray<KeyValuePair<IPropertySymbol, IOperation>> anonymousTypePropertyValues) 38ImmutableArray<KeyValuePair<IPropertySymbol, IOperation>>.Empty);

27internal sealed partial class ControlFlowGraphBuilder : OperationVisitor<int?, IOperation> 40private IOperation? _currentStatement; 41private readonly ArrayBuilder<(EvalStackFrame? frameOpt, IOperation? operationOpt)> _evalStack; 46private IOperation? _currentSwitchOperationExpression; 47private IOperation? _forToLoopBinaryOperatorLeftOperand; 48private IOperation? _forToLoopBinaryOperatorRightOperand; 49private IOperation? _currentAggregationGroup; 70_evalStack = ArrayBuilder<(EvalStackFrame? frameOpt, IOperation? operationOpt)>.GetInstance(); 82private bool IsImplicit(IOperation operation) 87public static ControlFlowGraph Create(IOperation body, ControlFlowGraph? parent = null, ControlFlowRegion? enclosing = null, CaptureIdDispenser? captureIdDispenser = null, in Context context = default) 836IOperation? value = block.BranchValue; 1233private void VisitStatement(IOperation? operation) 1244IOperation? saveCurrentStatement = _currentStatement; 1271IOperation? statement 1352foreach ((EvalStackFrame? frameOpt, IOperation? operationOpt) in _evalStack) 1383public override IOperation? VisitBlock(IBlockOperation operation, int? captureIdForResult) 1393private void StartVisitingStatement(IOperation operation) 1401private IOperation? FinishVisitingStatement(IOperation originalOperation, IOperation? result = null) 1412return result ?? MakeInvalidOperation(originalOperation.Syntax, originalOperation.Type, ImmutableArray<IOperation>.Empty); 1415private void VisitStatements(ImmutableArray<IOperation> statements) 1438private bool VisitStatementsOneOrAll(IOperation? operation, ImmutableArray<IOperation> statements, int startIndex) 1454var savedCurrentStatement = _currentStatement; 1467internal override IOperation? VisitWithStatement(IWithStatementOperation operation, int? captureIdForResult) 1480public override IOperation? VisitConstructorBodyOperation(IConstructorBodyOperation operation, int? captureIdForResult) 1497public override IOperation? VisitMethodBodyOperation(IMethodBodyOperation operation, int? captureIdForResult) 1535public override IOperation? VisitConditional(IConditionalOperation operation, int? captureIdForResult) 1615IOperation result; 1621IOperation? rewrittenThrow = BaseVisitRequired(whenTrueConversion.Operand, null); 1639IOperation rewrittenThrow = BaseVisitRequired(whenFalseConversion.Operand, null); 1667private void VisitAndCapture(IOperation operation, int captureId) 1670IOperation result = BaseVisitRequired(operation, captureId); 1676private IOperation VisitAndCapture(IOperation operation) 1684private void CaptureResultIfNotAlready(SyntaxNode syntax, int captureId, IOperation result) 1740(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack.Pop(); 1834(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack[i]; 1872IOperation? operation = _evalStack[j].operationOpt; 1936(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack[i]; 1950private void PushOperand(IOperation operation) 1960private IOperation PopOperand() 1970(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack.Pop(); 1977private IOperation PeekOperand() 1981(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack.Peek(); 1988private void VisitAndPushArray<T>(ImmutableArray<T> array, Func<T, IOperation>? unwrapper = null) where T : IOperation 1990Debug.Assert(unwrapper != null || typeof(T) == typeof(IOperation)); 1997private ImmutableArray<T> PopArray<T>(ImmutableArray<T> originalArray, Func<IOperation, int, ImmutableArray<T>, T>? wrapper = null) where T : IOperation 1999Debug.Assert(wrapper != null || typeof(T) == typeof(IOperation)); 2011IOperation visitedElement = PopOperand(); 2019private ImmutableArray<T> VisitArray<T>(ImmutableArray<T> originalArray, Func<T, IOperation>? unwrapper = null, Func<IOperation, int, ImmutableArray<T>, T>? wrapper = null) where T : IOperation 2078var argument = arguments[i].Value switch 2090private IArgumentOperation RewriteArgumentFromArray(IOperation visitedArgument, int index, ImmutableArray<IArgumentOperation> args) 2099public override IOperation VisitSimpleAssignment(ISimpleAssignmentOperation operation, int? captureIdForResult) 2103IOperation value = VisitRequired(operation.Value); 2107public override IOperation VisitCompoundAssignment(ICompoundAssignmentOperation operation, int? captureIdForResult) 2112IOperation value = VisitRequired(compoundAssignment.Value); 2119public override IOperation VisitArrayElementReference(IArrayElementReferenceOperation operation, int? captureIdForResult) 2123ImmutableArray<IOperation> visitedIndices = VisitArray(operation.Indices); 2124IOperation visitedArrayReference = PopOperand(); 2130public override IOperation VisitImplicitIndexerReference(IImplicitIndexerReferenceOperation operation, int? captureIdForResult) 2134IOperation argument = VisitRequired(operation.Argument); 2135IOperation instance = PopOperand(); 2141public override IOperation? VisitInlineArrayAccess(IInlineArrayAccessOperation operation, int? captureIdForResult) 2145IOperation argument = VisitRequired(operation.Argument); 2146IOperation instance = PopOperand(); 2164public override IOperation VisitBinaryOperator(IBinaryOperation operation, int? captureIdForResult) 2205IOperation leftOperand; 2228IOperation rightOperand = VisitRequired(operation.RightOperand); 2242public override IOperation VisitTupleBinaryOperator(ITupleBinaryOperation operation, int? captureIdForResult) 2244(IOperation visitedLeft, IOperation visitedRight) = VisitPreservingTupleOperations(operation.LeftOperand, operation.RightOperand); 2249public override IOperation VisitUnaryOperator(IUnaryOperation operation, int? captureIdForResult) 2285private IOperation VisitBinaryConditionalOperator(IBinaryOperation binOp, bool sense, int? captureIdForResult, 2301private IOperation VisitNullableBinaryConditionalOperator(IBinaryOperation binOp, int? captureIdForResult) 2305IOperation left = binOp.LeftOperand; 2306IOperation right = binOp.RightOperand; 2307IOperation condition; 2353IOperation capturedLeft = VisitAndCapture(left); 2371IOperation capturedRight = VisitAndCapture(right); 2398IOperation negateNullable(IOperation operand) 2407private IOperation VisitObjectBinaryConditionalOperator(IBinaryOperation binOp) 2412IOperation left = binOp.LeftOperand; 2413IOperation right = binOp.RightOperand; 2414IOperation condition; 2456private IOperation CreateConversion(IOperation operand, ITypeSymbol type) 2462private IOperation VisitDynamicBinaryConditionalOperator(IBinaryOperation binOp, int? captureIdForResult) 2470IOperation left = binOp.LeftOperand; 2471IOperation right = binOp.RightOperand; 2475IOperation condition; 2484IOperation capturedLeft = VisitAndCapture(left); 2523IOperation resultFromLeft = OperationCloner.CloneOperation(capturedLeft); 2537IOperation visitedRight = VisitRequired(right); 2562private IOperation VisitUserDefinedBinaryConditionalOperator(IBinaryOperation binOp, int? captureIdForResult) 2572IOperation left = binOp.LeftOperand; 2573IOperation right = binOp.RightOperand; 2576IOperation condition; 2581IOperation capturedLeft = VisitAndCapture(left); 2626IOperation visitedRight = VisitRequired(right); 2651private IOperation VisitShortCircuitingOperator(IBinaryOperation condition, bool sense, bool stopSense, bool stopValue, 2679IOperation resultFromRight = VisitConditionalExpression(condition.RightOperand, sense, captureId, fallToTrueOpt, fallToFalseOpt); 2702private IOperation VisitConditionalExpression(IOperation condition, bool sense, int? captureIdForResult, BasicBlockBuilder? fallToTrueOpt, BasicBlockBuilder? fallToFalseOpt) 2758private void VisitConditionalBranch(IOperation condition, [NotNull] ref BasicBlockBuilder? dest, bool jumpIfTrue) 2773private void VisitConditionalBranchCore(IOperation condition, [NotNull] ref BasicBlockBuilder? dest, bool jumpIfTrue) 2780void visitConditionalBranchCore(IOperation condition, [NotNull] ref BasicBlockBuilder? dest, bool jumpIfTrue) 2794var stack = ArrayBuilder<(IOperation? condition, BasicBlockBuilder dest, bool jumpIfTrue)>.GetInstance(); 2799(IOperation? condition, BasicBlockBuilder dest, bool jumpIfTrue) top = stack.Pop(); 2901IOperation convertedTestExpression = NullCheckAndConvertCoalesceValue(coalesce, whenNull); 2927IOperation? rewrittenThrow = BaseVisitRequired(conversion.Operand, null); 2950static IOperation skipParenthesized(IOperation condition) 2962private void ConditionalBranch(IOperation condition, bool jumpIfTrue, BasicBlockBuilder destination) 2981private IOperation NullCheckAndConvertCoalesceValue(ICoalesceOperation operation, BasicBlockBuilder whenNull) 2986IOperation operationValue = operation.Value; 2992IOperation testExpression = PopOperand(); 3000IOperation capturedValue = OperationCloner.CloneOperation(testExpression); 3001IOperation? convertedTestExpression = null; 3005IOperation? possiblyUnwrappedValue; 3040public override IOperation VisitCoalesce(ICoalesceOperation operation, int? captureIdForResult) 3052IOperation convertedTestExpression = NullCheckAndConvertCoalesceValue(operation, whenNull); 3054IOperation result; 3069IOperation? rewrittenThrow = BaseVisitRequired(conversion.Operand, null); 3097public override IOperation? VisitCoalesceAssignment(ICoalesceAssignmentOperation operation, int? captureIdForResult) 3113IOperation locationCapture = PopOperand(); 3122IOperation valueCapture = GetCaptureReference(valueCaptureId, locationCapture); 3214IOperation whenNullValue = VisitRequired(operation.Value); 3266IOperation whenNullValue = VisitRequired(operation.Value); 3267IOperation whenNullAssignment = new SimpleAssignmentOperation(isRef: false, OperationCloner.CloneOperation(locationCapture), whenNullValue, semanticModel: null, 3288private static IOperation MakeInvalidOperation(ITypeSymbol? type, IOperation child) 3290return new InvalidOperation(ImmutableArray.Create<IOperation>(child), 3295private static IOperation MakeInvalidOperation(SyntaxNode syntax, ITypeSymbol? type, IOperation child1, IOperation child2) 3297return MakeInvalidOperation(syntax, type, ImmutableArray.Create<IOperation>(child1, child2)); 3300private static IOperation MakeInvalidOperation(SyntaxNode syntax, ITypeSymbol? type, ImmutableArray<IOperation> children) 3307private IsNullOperation MakeIsNullOperation(IOperation operand) 3312private static IsNullOperation MakeIsNullOperation(IOperation operand, ITypeSymbol booleanType) 3323private IOperation? TryCallNullableMember(IOperation value, SpecialMember nullableMember) 3353private IOperation CallNullableMember(IOperation value, SpecialMember nullableMember) 3360public override IOperation? VisitConditionalAccess(IConditionalAccessOperation operation, int? captureIdForResult) 3369var operations = ArrayBuilder<IOperation>.GetInstance(); 3377IOperation testExpression; 3410IOperation result = VisitRequired(currentConditionalAccess.WhenNotNull); 3432IOperation access = VisitRequired(currentConditionalAccess.WhenNotNull); 3476static bool isConditionalAccessInstancePresentInChildren(IOperation operation) 3507foreach (var child in operation.ChildOperations) 3519public override IOperation VisitConditionalAccessInstance(IConditionalAccessInstanceOperation operation, int? captureIdForResult) 3523IOperation testExpression = _currentConditionalAccessTracker.Operations.Pop(); 3527private IOperation VisitConditionalAccessTestExpression(IOperation testExpression) 3536IOperation spilledTestExpression = PopOperand(); 3544IOperation receiver = OperationCloner.CloneOperation(spilledTestExpression); 3554public override IOperation? VisitExpressionStatement(IExpressionStatementOperation operation, int? captureIdForResult) 3558IOperation? underlying = Visit(operation.Operation); 3573public override IOperation? VisitWhileLoop(IWhileLoopOperation operation, int? captureIdForResult) 3646public override IOperation? VisitTry(ITryOperation operation, int? captureIdForResult) 3690IOperation? exceptionDeclarationOrExpression = catchClause.ExceptionDeclarationOrExpression; 3691IOperation? filter = catchClause.Filter; 3785private void AddExceptionStore(ITypeSymbol exceptionType, IOperation? exceptionDeclarationOrExpression) 3789IOperation exceptionTarget; 3822public override IOperation VisitCatchClause(ICatchClauseOperation operation, int? captureIdForResult) 3827public override IOperation? VisitReturn(IReturnOperation operation, int? captureIdForResult) 3830IOperation? returnedValue = Visit(operation.ReturnedValue); 3855public override IOperation? VisitLabeled(ILabeledOperation operation, int? captureIdForResult) 3899public override IOperation? VisitBranch(IBranchOperation operation, int? captureIdForResult) 3906public override IOperation? VisitEmpty(IEmptyOperation operation, int? captureIdForResult) 3912public override IOperation? VisitThrow(IThrowOperation operation, int? captureIdForResult) 3932return new NoneOperation(children: ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, constantValue: null, isImplicit: true, type: null); 3936private void LinkThrowStatement(IOperation? exception) 3947public override IOperation? VisitUsing(IUsingOperation operation, int? captureIdForResult) 3955private void HandleUsingOperationParts(IOperation resources, IOperation body, IMethodSymbol? disposeMethod, ImmutableArray<IArgumentOperation> disposeArguments, ImmutableArray<ILocalSymbol> locals, bool isAsynchronous, 3956Func<IOperation, IOperation>? visitResource = null) 3989IOperation resource = visitResource != null ? visitResource(resources) : VisitRequired(resources); 4025bool shouldConvertToIDisposableBeforeTry(IOperation resource) 4030void processResource(IOperation resource, ArrayBuilder<(IVariableDeclarationOperation, IVariableDeclaratorOperation)>? resourceQueueOpt) 4112private void AddDisposingFinally(IOperation resource, bool requiresRuntimeConversion, ITypeSymbol iDisposable, IMethodSymbol? disposeMethod, ImmutableArray<IArgumentOperation> disposeArguments, bool isAsynchronous) 4136IOperation condition = MakeIsNullOperation(OperationCloner.CloneOperation(resource)); 4166IOperation? tryDispose(IOperation value) 4210private IOperation ConvertToIDisposable(IOperation operand, ITypeSymbol iDisposable, bool isTryCast = false) 4218public override IOperation? VisitLock(ILockOperation operation, int? captureIdForResult) 4236var lockObject = VisitRequired(resource); 4256IOperation? underlying = Visit(operation.LockedValue); 4315IOperation lockedValue = VisitRequired(operation.LockedValue); 4362IOperation? lockTaken = null; 4409IOperation condition = new LocalReferenceOperation(lockStatement.LockTakenSymbol, isDeclaration: false, semanticModel: null, lockedValue.Syntax, 4453public override IOperation? VisitForEachLoop(IForEachLoopOperation operation, int? captureIdForResult) 4478foreach (IOperation op in operation.Collection.DescendantsAndSelf()) 4489IOperation enumerator = getEnumerator(); 4559IOperation applyConversion(IConvertibleConversion? conversionOpt, IOperation operand, ITypeSymbol? targetType) 4570IOperation getEnumerator() 4572IOperation result; 4577IOperation? collection = info.GetEnumeratorMethod.IsStatic ? null : Visit(operation.Collection); 4593IOperation invocation = makeInvocation(operation.Collection.Syntax, 4607result = new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Collection.Syntax, 4615IOperation getCondition(IOperation enumeratorRef) 4633IOperation getCurrent(IOperation enumeratorRef) 4637var instance = info.CurrentProperty.IsStatic ? null : enumeratorRef; 4654IOperation getLoopControlVariableAssignment(IOperation current) 4695InvocationOperation makeInvocationDroppingInstanceForStaticMethods(IMethodSymbol method, IOperation instance, ImmutableArray<IArgumentOperation> arguments) 4700InvocationOperation makeInvocation(SyntaxNode syntax, IMethodSymbol method, IOperation? instanceOpt, ImmutableArray<IArgumentOperation> arguments) 4710ImmutableArray<IArgumentOperation> makeArguments(ImmutableArray<IArgumentOperation> arguments, ref IOperation? instance) 4729public override IOperation? VisitForToLoop(IForToLoopOperation operation, int? captureIdForResult) 4778IOperation tryCallObjectForLoopControlHelper(SyntaxNode syntax, WellKnownMember helper) 4793var builder = ArrayBuilder<IOperation>.GetInstance(--parametersCount, fillWithValue: null!); 4822IOperation value = PopOperand(); 4873IOperation condition = tryCallObjectForLoopControlHelper(operation.LoopControlVariable.Syntax, 4890IOperation stepValue = GetCaptureReference(stepValueId, operation.StepValue); 4901IOperation subtraction = VisitRequired(userDefinedInfo.Subtraction); 4918IOperation? stepValueIsNull = null; 4936IOperation isUp; 4956IOperation literal = new LiteralOperation(semanticModel: null, stepValue.Syntax, stepValue.Type, 4988IOperation initialValue = PopOperand(); 5028IOperation condition = tryCallObjectForLoopControlHelper(operation.LimitValue.Syntax, 5047IOperation controlVariableReferenceForCondition = PopOperand(); 5079IOperation limitReference = GetCaptureReference(limitValueId, operation.LimitValue); 5110IOperation condition; 5147IOperation? eitherLimitOrControlVariableIsNull = null; 5186IOperation controlVariableReferenceforCondition = PopOperand(); 5239IOperation negateIfStepNegative(IOperation operand) 5290IOperation controlVariableReferenceForAssignment = visitLoopControlVariableReference(forceImplicit: true); // Yes we are going to evaluate it again 5299IOperation increment = VisitRequired(userDefinedInfo.Addition); 5319IOperation controlVariableReferenceForAssignment; 5333IOperation condition = new BinaryOperation(BinaryOperatorKind.Or, 5375IOperation controlVariableReferenceForIncrement = visitLoopControlVariableReference(forceImplicit: true); // Yes we are going to evaluate it again 5376IOperation stepValueForIncrement = GetCaptureReference(stepValueId, operation.StepValue); 5385IOperation increment = new BinaryOperation(BinaryOperatorKind.Add, 5423IOperation visitLoopControlVariableReference(bool forceImplicit) 5437IOperation result = VisitRequired(operation.LoopControlVariable); 5444private static FlowCaptureReferenceOperation GetCaptureReference(int id, IOperation underlying) 5449internal override IOperation VisitAggregateQuery(IAggregateQueryOperation operation, int? captureIdForResult) 5453IOperation? previousAggregationGroup = _currentAggregationGroup; 5456IOperation result = VisitRequired(operation.Aggregation); 5462public override IOperation? VisitSwitch(ISwitchOperation operation, int? captureIdForResult) 5467IOperation switchValue = VisitAndCapture(operation.Value); 5509IOperation? condition = ((SwitchCaseOperation)section).Condition; 5541IOperation condition; 5551void handleEqualityCheck(IOperation compareWith) 5559IOperation rightOperand = VisitRequired(compareWith); 5560IOperation leftOperand = PopOperand(); 5662private IOperation MakeNullable(IOperation operand, ITypeSymbol type) 5670public override IOperation VisitSwitchCase(ISwitchCaseOperation operation, int? captureIdForResult) 5675public override IOperation VisitSingleValueCaseClause(ISingleValueCaseClauseOperation operation, int? captureIdForResult) 5680public override IOperation VisitDefaultCaseClause(IDefaultCaseClauseOperation operation, int? captureIdForResult) 5685public override IOperation VisitRelationalCaseClause(IRelationalCaseClauseOperation operation, int? captureIdForResult) 5690public override IOperation VisitRangeCaseClause(IRangeCaseClauseOperation operation, int? captureIdForResult) 5695public override IOperation VisitPatternCaseClause(IPatternCaseClauseOperation operation, int? captureIdForResult) 5700public override IOperation? VisitEnd(IEndOperation operation, int? captureIdForResult) 5713public override IOperation? VisitForLoop(IForLoopOperation operation, int? captureIdForResult) 5737ImmutableArray<IOperation> initialization = operation.Before; 5776internal override IOperation? VisitFixed(IFixedOperation operation, int? captureIdForResult) 5789public override IOperation? VisitVariableDeclarationGroup(IVariableDeclarationGroupOperation operation, int? captureIdForResult) 5842IOperation? initializer = null; 5852IOperation operationInitializer = VisitRequired(declaration.Initializer.Value); 5889public override IOperation VisitVariableDeclaration(IVariableDeclarationOperation operation, int? captureIdForResult) 5895public override IOperation VisitVariableDeclarator(IVariableDeclaratorOperation operation, int? captureIdForResult) 5901public override IOperation VisitVariableInitializer(IVariableInitializerOperation operation, int? captureIdForResult) 5907public override IOperation VisitFlowCapture(IFlowCaptureOperation operation, int? captureIdForResult) 5912public override IOperation VisitFlowCaptureReference(IFlowCaptureReferenceOperation operation, int? captureIdForResult) 5917public override IOperation VisitIsNull(IIsNullOperation operation, int? captureIdForResult) 5922public override IOperation VisitCaughtException(ICaughtExceptionOperation operation, int? captureIdForResult) 5927public override IOperation VisitInvocation(IInvocationOperation operation, int? captureIdForResult) 5930IOperation? instance = operation.TargetMethod.IsStatic ? null : operation.Instance; 5931(IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) = VisitInstanceWithArguments(instance, operation.Arguments); 5937public override IOperation? VisitFunctionPointerInvocation(IFunctionPointerInvocationOperation operation, int? argument) 5940var target = operation.Target; 5946(IOperation visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) handlePointerAndArguments( 5947IOperation targetPointer, ImmutableArray<IArgumentOperation> arguments) 5952IOperation visitedInstance = PopOperand(); 5958private (IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) VisitInstanceWithArguments(IOperation? instance, ImmutableArray<IArgumentOperation> arguments) 5967IOperation? visitedInstance = hasInstance ? PopOperand() : null; 5972internal override IOperation VisitNoPiaObjectCreation(INoPiaObjectCreationOperation operation, int? argument) 5976IOperation initializedInstance = new NoPiaObjectCreationOperation(initializer: null, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 5980public override IOperation VisitObjectCreation(IObjectCreationOperation operation, int? captureIdForResult) 5987IOperation initializedInstance = new ObjectCreationOperation(operation.Constructor, initializer: null, visitedArgs, semanticModel: null, 5993public override IOperation VisitTypeParameterObjectCreation(ITypeParameterObjectCreationOperation operation, int? captureIdForResult) 6000public override IOperation VisitDynamicObjectCreation(IDynamicObjectCreationOperation operation, int? captureIdForResult) 6004ImmutableArray<IOperation> visitedArguments = VisitArray(operation.Arguments); 6008IOperation initializedInstance = new DynamicObjectCreationOperation(initializer: null, visitedArguments, hasDynamicArguments.ArgumentNames, 6015private IOperation HandleObjectOrCollectionInitializer(IObjectOrCollectionInitializerOperation? initializer, IOperation objectCreation) 6032void visitInitializer(IObjectOrCollectionInitializerOperation initializerOperation, IOperation initializedInstance) 6037foreach (IOperation innerInitializer in initializerOperation.Initializers) 6045void handleInitializer(IOperation innerInitializer) 6080IOperation result; 6093IOperation right = VisitRequired(assignmentOperation.Value); 6094IOperation left = popTarget(assignmentOperation.Target); 6153IOperation instance = pushSuccess ? popTarget(memberInitializer.InitializedMember) : VisitRequired(memberInitializer.InitializedMember); 6158bool tryPushTarget(IOperation instance) 6225IOperation popTarget(IOperation originalTarget) 6227IOperation? instance; 6249ImmutableArray<IOperation> indices = PopArray(arrayElementReference.Indices); 6255IOperation index = PopOperand(); 6262ImmutableArray<IOperation> arguments = PopArray(dynamicAccess.Arguments); 6299var lhs = memberInitializer.InitializedMember; 6309foreach (var element in array.Initializer.ElementValues) 6326foreach (var index in arrayAccess.Indices) 6333foreach (var argument in dynamicIndexerAccess.Arguments) 6350foreach (var initializer in memberInitializer.Initializer.Initializers) 6357public override IOperation VisitObjectOrCollectionInitializer(IObjectOrCollectionInitializerOperation operation, int? captureIdForResult) 6360return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6363public override IOperation VisitMemberInitializer(IMemberInitializerOperation operation, int? captureIdForResult) 6366return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6369public override IOperation VisitAnonymousObjectCreation(IAnonymousObjectCreationOperation operation, int? captureIdForResult) 6373return new AnonymousObjectCreationOperation(initializers: ImmutableArray<IOperation>.Empty, semanticModel: null, 6386var initializerBuilder = ArrayBuilder<IOperation>.GetInstance(operation.Initializers.Length); 6400IOperation visitedTarget = new PropertyReferenceOperation(propertyReference.Property, propertyReference.ConstrainedToType, ImmutableArray<IArgumentOperation>.Empty, visitedPropertyInstance, 6402IOperation visitedValue = visitAndCaptureInitializer(propertyReference.Property, simpleAssignment.Value); 6420IOperation visitAndCaptureInitializer(IPropertySymbol initializedProperty, IOperation initializer) 6424IOperation captured = PeekOperand(); // Keep it on the stack so that we know it is still used. 6436public override IOperation? VisitLocalFunction(ILocalFunctionOperation operation, int? captureIdForResult) 6452private IOperation? VisitLocalFunctionAsRoot(ILocalFunctionOperation operation) 6459public override IOperation VisitAnonymousFunction(IAnonymousFunctionOperation operation, int? captureIdForResult) 6465public override IOperation VisitFlowAnonymousFunction(IFlowAnonymousFunctionOperation operation, int? captureIdForResult) 6470public override IOperation VisitArrayCreation(IArrayCreationOperation operation, int? captureIdForResult) 6489ImmutableArray<IOperation> visitedDimensions = PopArray(operation.DimensionSizes); 6495public override IOperation VisitArrayInitializer(IArrayInitializerOperation operation, int? captureIdForResult) 6503foreach (IOperation elementValue in initializer.ElementValues) 6519var builder = ArrayBuilder<IOperation>.GetInstance(initializer.ElementValues.Length); 6522IOperation elementValue = initializer.ElementValues[i]; 6524IOperation visitedElementValue; 6542public override IOperation? VisitCollectionExpression(ICollectionExpressionOperation operation, int? argument) 6547unwrapper: static (IOperation element) => 6553wrapper: (IOperation operation, int index, ImmutableArray<IOperation> elements) => 6575public override IOperation? VisitSpread(ISpreadOperation operation, int? argument) 6580public override IOperation VisitInstanceReference(IInstanceReferenceOperation operation, int? captureIdForResult) 6596return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6608public override IOperation VisitDynamicInvocation(IDynamicInvocationOperation operation, int? captureIdForResult) 6614var instance = ((IDynamicMemberReferenceOperation)operation.Operation).Instance; 6625ImmutableArray<IOperation> rewrittenArguments = VisitArray(operation.Arguments); 6627IOperation rewrittenOperation; 6631IOperation? rewrittenInstance = dynamicMemberReference.Instance != null ? PopOperand() : null; 6645public override IOperation VisitDynamicIndexerAccess(IDynamicIndexerAccessOperation operation, int? captureIdForResult) 6649ImmutableArray<IOperation> rewrittenArguments = VisitArray(operation.Arguments); 6650IOperation rewrittenOperation = PopOperand(); 6656public override IOperation VisitDynamicMemberReference(IDynamicMemberReferenceOperation operation, int? captureIdForResult) 6662public override IOperation VisitDeconstructionAssignment(IDeconstructionAssignmentOperation operation, int? captureIdForResult) 6664(IOperation visitedTarget, IOperation visitedValue) = VisitPreservingTupleOperations(operation.Target, operation.Value); 6671private void PushTargetAndUnwrapTupleIfNecessary(IOperation value) 6677foreach (IOperation element in tuple.Elements) 6691private IOperation PopTargetAndWrapTupleIfNecessary(IOperation value) 6697var elementBuilder = ArrayBuilder<IOperation>.GetInstance(numElements); 6711public override IOperation VisitDeclarationExpression(IDeclarationExpressionOperation operation, int? captureIdForResult) 6716private IOperation VisitPreservingTupleOperations(IOperation operation) 6723private (IOperation visitedLeft, IOperation visitedRight) VisitPreservingTupleOperations(IOperation left, IOperation right) 6734IOperation visitedRight = VisitRequired(right); 6735IOperation visitedLeft = PopTargetAndWrapTupleIfNecessary(left); 6740public override IOperation VisitTuple(ITupleOperation operation, int? captureIdForResult) 6745internal override IOperation VisitNoneOperation(IOperation operation, int? captureIdForResult) 6757private IOperation VisitNoneOperationStatement(IOperation operation) 6761return new NoneOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 6764private IOperation VisitNoneOperationExpression(IOperation operation) 6770public override IOperation? VisitInterpolatedStringHandlerCreation(IInterpolatedStringHandlerCreationOperation operation, int? captureIdForResult) 6857IOperation visitedAppendCall = VisitRequired(appendCall.AppendCall); 6954public override IOperation? VisitInterpolatedStringAddition(IInterpolatedStringAdditionOperation operation, int? captureIdForResult) 6959public override IOperation? VisitInterpolatedStringAppend(IInterpolatedStringAppendOperation operation, int? captureIdForResult) 6964public override IOperation? VisitInterpolatedStringHandlerArgumentPlaceholder(IInterpolatedStringHandlerArgumentPlaceholderOperation operation, int? captureIdForResult) 6976if (_currentInterpolatedStringHandlerArgumentContext.HasReceiver && tryGetArgumentOrReceiver(-1) is IOperation receiverCapture) 6983return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), isImplicit: true); 6989if (tryGetArgumentOrReceiver(operation.ArgumentIndex) is IOperation argumentCapture) 6996return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), isImplicit: true); 7003IOperation? tryGetArgumentOrReceiver(int argumentIndex) 7025public override IOperation VisitInterpolatedString(IInterpolatedStringOperation operation, int? captureIdForResult) 7053IOperation? rewrittenFormatString; 7064var rewrittenAlignment = interpolation.Alignment != null ? PopOperand() : null; 7065var rewrittenExpression = PopOperand(); 7070var rewrittenInterpolationText = VisitRequired(interpolatedStringText.Text, argument: null); 7086public override IOperation VisitInterpolatedStringText(IInterpolatedStringTextOperation operation, int? captureIdForResult) 7091public override IOperation VisitInterpolation(IInterpolationOperation operation, int? captureIdForResult) 7096public override IOperation VisitNameOf(INameOfOperation operation, int? captureIdForResult) 7102public override IOperation VisitLiteral(ILiteralOperation operation, int? captureIdForResult) 7107public override IOperation? VisitUtf8String(IUtf8StringOperation operation, int? captureIdForResult) 7112public override IOperation VisitLocalReference(ILocalReferenceOperation operation, int? captureIdForResult) 7118public override IOperation VisitParameterReference(IParameterReferenceOperation operation, int? captureIdForResult) 7124public override IOperation VisitFieldReference(IFieldReferenceOperation operation, int? captureIdForResult) 7126IOperation? visitedInstance = operation.Field.IsStatic ? null : Visit(operation.Instance); 7131public override IOperation VisitMethodReference(IMethodReferenceOperation operation, int? captureIdForResult) 7133IOperation? visitedInstance = operation.Method.IsStatic ? null : Visit(operation.Instance); 7138public override IOperation VisitPropertyReference(IPropertyReferenceOperation operation, int? captureIdForResult) 7147if (_currentImplicitInstance.AnonymousTypePropertyValues.TryGetValue(operation.Property, out IOperation? captured)) 7155return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 7160IOperation? instance = operation.Property.IsStatic ? null : operation.Instance; 7161(IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) = VisitInstanceWithArguments(instance, operation.Arguments); 7167public override IOperation VisitEventReference(IEventReferenceOperation operation, int? captureIdForResult) 7169IOperation? visitedInstance = operation.Event.IsStatic ? null : Visit(operation.Instance); 7174public override IOperation VisitTypeOf(ITypeOfOperation operation, int? captureIdForResult) 7179public override IOperation VisitParenthesized(IParenthesizedOperation operation, int? captureIdForResult) 7184public override IOperation VisitAwait(IAwaitOperation operation, int? captureIdForResult) 7189public override IOperation VisitSizeOf(ISizeOfOperation operation, int? captureIdForResult) 7194public override IOperation VisitStop(IStopOperation operation, int? captureIdForResult) 7199public override IOperation VisitIsType(IIsTypeOperation operation, int? captureIdForResult) 7204public override IOperation? VisitParameterInitializer(IParameterInitializerOperation operation, int? captureIdForResult) 7214public override IOperation? VisitFieldInitializer(IFieldInitializerOperation operation, int? captureIdForResult) 7232public override IOperation? VisitPropertyInitializer(IPropertyInitializerOperation operation, int? captureIdForResult) 7250var value = new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, 7266IOperation propertyRef = new PropertyReferenceOperation(propertySymbol, constrainedToType: null, arguments, instance, 7274private void VisitInitializer(IOperation rewrittenTarget, ISymbolInitializerOperation initializer) 7287public override IOperation VisitEventAssignment(IEventAssignmentOperation operation, int? captureIdForResult) 7290IOperation visitedEventReference, visitedHandler; 7298var eventReferenceInstance = eventReference.Event.IsStatic ? null : eventReference.Instance; 7306IOperation? visitedInstance = eventReferenceInstance == null ? null : PopOperand(); 7325IOperation current = operation.EventReference; 7345public override IOperation VisitRaiseEvent(IRaiseEventOperation operation, int? captureIdForResult) 7351(IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) = 7361public override IOperation VisitAddressOf(IAddressOfOperation operation, int? captureIdForResult) 7366public override IOperation VisitIncrementOrDecrement(IIncrementOrDecrementOperation operation, int? captureIdForResult) 7373public override IOperation VisitDiscardOperation(IDiscardOperation operation, int? captureIdForResult) 7378public override IOperation VisitDiscardPattern(IDiscardPatternOperation pat, int? captureIdForResult) 7383public override IOperation VisitOmittedArgument(IOmittedArgumentOperation operation, int? captureIdForResult) 7388internal override IOperation VisitPlaceholder(IPlaceholderOperation operation, int? captureIdForResult) 7422public override IOperation VisitConversion(IConversionOperation operation, int? captureIdForResult) 7427public override IOperation VisitDefaultValue(IDefaultValueOperation operation, int? captureIdForResult) 7432public override IOperation VisitIsPattern(IIsPatternOperation operation, int? captureIdForResult) 7437IOperation visitedValue = PopOperand(); 7443public override IOperation VisitInvalid(IInvalidOperation operation, int? captureIdForResult) 7445var children = ArrayBuilder<IOperation>.GetInstance(); 7460foreach (var argument in children) 7472IOperation initializedInstance = new InvalidOperation(children.ToImmutableAndFree(), semanticModel: null, operation.Syntax, operation.Type, 7480IOperation result; 7492IOperation visitInvalidOperationStatement(IInvalidOperation invalidOperation) 7496return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, invalidOperation.Syntax, invalidOperation.Type, invalidOperation.GetConstantValue(), IsImplicit(invalidOperation)); 7499IOperation visitInvalidOperationExpression(IInvalidOperation invalidOperation) 7507public override IOperation? VisitReDim(IReDimOperation operation, int? argument) 7533var visitedOperand = PopOperand(); 7538public override IOperation VisitReDimClause(IReDimClauseOperation operation, int? argument) 7543public override IOperation VisitTranslatedQuery(ITranslatedQueryOperation operation, int? captureIdForResult) 7548public override IOperation VisitConstantPattern(IConstantPatternOperation operation, int? captureIdForResult) 7554public override IOperation VisitRelationalPattern(IRelationalPatternOperation operation, int? argument) 7566public override IOperation VisitBinaryPattern(IBinaryPatternOperation operation, int? argument) 7607public override IOperation VisitNegatedPattern(INegatedPatternOperation operation, int? argument) 7618public override IOperation VisitTypePattern(ITypePatternOperation operation, int? argument) 7629public override IOperation VisitDeclarationPattern(IDeclarationPatternOperation operation, int? captureIdForResult) 7642public override IOperation VisitSlicePattern(ISlicePatternOperation operation, int? argument) 7654public override IOperation VisitListPattern(IListPatternOperation operation, int? argument) 7668public override IOperation VisitRecursivePattern(IRecursivePatternOperation operation, int? argument) 7683public override IOperation VisitPropertySubpattern(IPropertySubpatternOperation operation, int? argument) 7693public override IOperation VisitDelegateCreation(IDelegateCreationOperation operation, int? captureIdForResult) 7699public override IOperation VisitRangeOperation(IRangeOperation operation, int? argument) 7706IOperation? visitedRightOperand = null; 7712IOperation? visitedLeftOperand = operation.LeftOperand is null ? null : PopOperand(); 7717public override IOperation VisitSwitchExpression(ISwitchExpressionOperation operation, int? captureIdForResult) 7744var capturedInput = VisitAndCapture(operation.Value); 7794var makeException = (matchFailureCtor is null) 7795? MakeInvalidOperation(operation.Syntax, type: _compilation.GetSpecialType(SpecialType.System_Object), ImmutableArray<IOperation>.Empty) 7809private void VisitUsingVariableDeclarationOperation(IUsingDeclarationOperation operation, ReadOnlySpan<IOperation> statements) 7811IOperation? saveCurrentStatement = _currentStatement; 7818ArrayBuilder<IOperation> statementsBuilder = ArrayBuilder<IOperation>.GetInstance(statements.Length); 7819ArrayBuilder<IOperation>? localFunctionsBuilder = null; 7821foreach (var statement in statements) 7825(localFunctionsBuilder ??= ArrayBuilder<IOperation>.GetInstance()).Add(statement); 7854public IOperation? Visit(IOperation? operation) 7863public IOperation? VisitRequired(IOperation? operation, int? argument = null) 7866var result = Visit(operation, argument); 7873public IOperation? BaseVisitRequired(IOperation? operation, int? argument) 7877var result = base.Visit(operation, argument); 7884public override IOperation? Visit(IOperation? operation, int? argument) 7893var result = PopStackFrame(PushStackFrame(), base.Visit(operation, argument)); 7899public override IOperation DefaultVisit(IOperation operation, int? captureIdForResult) 7905public override IOperation VisitArgument(IArgumentOperation operation, int? captureIdForResult) 7910public override IOperation VisitUsingDeclaration(IUsingDeclarationOperation operation, int? captureIdForResult) 7915public override IOperation VisitWith(IWithOperation operation, int? captureIdForResult) 7924IOperation visitedInstance = VisitRequired(operation.Operand); 7925IOperation cloned; 7942IOperation handleAnonymousTypeWithExpression(WithOperation operation, int? captureIdForResult) 7975var explicitProperties = new Dictionary<IPropertySymbol, IOperation>(SymbolEqualityComparer.IgnoreAll); 7976var initializerBuilder = ArrayBuilder<IOperation>.GetInstance(initializers.Length); 7979foreach (IOperation initializer in initializers) 8024if (explicitProperties.TryGetValue(property, out var assignment)) 8056SimpleAssignmentOperation makeAssignment(IPropertySymbol property, IOperation capturedValue, WithOperation operation) 8071static bool setsAllProperties(ImmutableArray<IOperation> initializers, IEnumerable<IPropertySymbol> properties) 8074foreach (var initializer in initializers) 8095public override IOperation VisitAttribute(IAttributeOperation operation, int? captureIdForResult)

23public IOperation? ImplicitInstance { get; } 33public PooledDictionary<IPropertySymbol, IOperation>? AnonymousTypePropertyValues { get; } 35public ImplicitInstanceInfo(IOperation currentImplicitInstance) 49AnonymousTypePropertyValues = PooledDictionary<IPropertySymbol, IOperation>.GetInstance(); 66AnonymousTypePropertyValues = PooledDictionary<IPropertySymbol, IOperation>.GetInstance(); 68foreach (KeyValuePair<IPropertySymbol, IOperation> pair in context.AnonymousTypePropertyValues)

47private void AssertContainingContextIsForThisCreation(IOperation placeholderOperation, bool assertArgumentContext) 52IOperation? operation = placeholderOperation.Parent;

311foreach ((IMethodSymbol method, IOperation _) in LocalFunctions) 387foreach (IOperation o in block.StatementsOpt) 399OperationVisitor<(ImmutableDictionary<IFlowAnonymousFunctionOperation, (ControlFlowRegion region, int ordinal)>.Builder map, ControlFlowRegion region), IOperation> 403public override IOperation? VisitFlowAnonymousFunction( 411internal override IOperation? VisitNoneOperation(IOperation operation, (ImmutableDictionary<IFlowAnonymousFunctionOperation, (ControlFlowRegion region, int ordinal)>.Builder map, ControlFlowRegion region) argument) 416public override IOperation? DefaultVisit( 417IOperation operation, 420foreach (IOperation child in ((Operation)operation).ChildOperations)

25IOperation? Parent { get; } 51IEnumerable<IOperation> Children { get; }

24public readonly partial struct OperationList : IReadOnlyCollection<IOperation> 37public ImmutableArray<IOperation> ToImmutableArray() 42return ImmutableArray<IOperation>.Empty; 48var builder = ArrayBuilder<IOperation>.GetInstance(Count); 49foreach (var child in this) 57IEnumerator<IOperation> IEnumerable<IOperation>.GetEnumerator() 61return SpecializedCollections.EmptyEnumerator<IOperation>(); 67IEnumerator IEnumerable.GetEnumerator() => ((IEnumerable<IOperation>)this).GetEnumerator(); 71public IOperation First() 84public IOperation Last() 122public IOperation Current 145private sealed class EnumeratorImpl : IEnumerator<IOperation> 154public IOperation Current => _enumerator.Current;

26public readonly struct Reversed : IReadOnlyCollection<IOperation> 39public ImmutableArray<IOperation> ToImmutableArray() 45return ImmutableArray<IOperation>.Empty; 51var builder = ArrayBuilder<IOperation>.GetInstance(Count); 52foreach (var child in this) 59static ImmutableArray<IOperation> reverseArray(ImmutableArray<IOperation> input) 61var builder = ArrayBuilder<IOperation>.GetInstance(input.Length); 71IEnumerator<IOperation> IEnumerable<IOperation>.GetEnumerator() 75return SpecializedCollections.EmptyEnumerator<IOperation>(); 81IEnumerator IEnumerable.GetEnumerator() => ((IEnumerable<IOperation>)this).GetEnumerator(); 102public IOperation Current 125private sealed class EnumeratorImpl : IEnumerator<IOperation> 134public IOperation Current => _enumerator.Current;

13public readonly IOperation LessThanOrEqual; 14public readonly IOperation GreaterThanOrEqual; 16public ForToLoopOperationUserDefinedInfo(IBinaryOperation addition, IBinaryOperation subtraction, IOperation lessThanOrEqual, IOperation greaterThanOrEqual)

20protected static readonly IOperation s_unset = new EmptyOperation(semanticModel: null, syntax: null!, isImplicit: true); 25private IOperation? _parentDoNotAccessDirectly; 48public IOperation? Parent 107IEnumerable<IOperation> IOperation.Children => this.ChildOperations; 110public IOperation.OperationList ChildOperations => new IOperation.OperationList(this); 113internal abstract IOperation GetCurrent(int slot, int index); 123SemanticModel? IOperation.SemanticModel => _owningSemanticModelOpt?.ContainingPublicModelOrSelf; 127/// Note that this may be different than <see cref="IOperation.SemanticModel"/>, which 137protected void SetParentOperation(IOperation? parent) 148public static T? SetParentOperation<T>(T? operation, IOperation? parent) where T : IOperation 156public static ImmutableArray<T> SetParentOperation<T>(ImmutableArray<T> operations, IOperation? parent) where T : IOperation 174internal static void VerifyParentOperation(IOperation? parent, IOperation child) 183internal static void VerifyParentOperation<T>(IOperation? parent, ImmutableArray<T> children) where T : IOperation

11internal sealed partial class OperationCloner : OperationVisitor<object?, IOperation> 14public IOperation? Visit(IOperation? operation) 19internal override IOperation VisitNoneOperation(IOperation operation, object? argument) 24public override IOperation VisitFlowAnonymousFunction(IFlowAnonymousFunctionOperation operation, object? argument) 30public override IOperation VisitDynamicObjectCreation(IDynamicObjectCreationOperation operation, object? argument) 35public override IOperation VisitDynamicInvocation(IDynamicInvocationOperation operation, object? argument) 40public override IOperation VisitDynamicIndexerAccess(IDynamicIndexerAccessOperation operation, object? argument) 45public override IOperation VisitInvalid(IInvalidOperation operation, object? argument) 50public override IOperation VisitFlowCapture(IFlowCaptureOperation operation, object? argument) 55public override IOperation VisitIsNull(IIsNullOperation operation, object? argument) 60public override IOperation VisitCaughtException(ICaughtExceptionOperation operation, object? argument) 65public override IOperation VisitStaticLocalInitializationSemaphore(IStaticLocalInitializationSemaphoreOperation operation, object? argument)

28internal static bool HasErrors(this IOperation operation, Compilation compilation, CancellationToken cancellationToken = default(CancellationToken)) 70public static IEnumerable<IOperation> Descendants(this IOperation? operation) 79public static IEnumerable<IOperation> DescendantsAndSelf(this IOperation? operation) 84private static IEnumerable<IOperation> Descendants(IOperation? operation, bool includeSelf) 96var stack = ArrayBuilder<IOperation.OperationList.Enumerator>.GetInstance(); 108var current = iterator.Current; 329/// Gets the root operation for the <see cref="IOperation"/> tree containing the given <paramref name="operation"/>. 332internal static IOperation GetRootOperation(this IOperation operation) 351public static IOperation? GetCorrespondingOperation(this IBranchOperation operation) 373for (IOperation current = operation; current.Parent != null; current = current.Parent) 388internal static ConstantValue? GetConstantValue(this IOperation operation)

11public static IInvalidOperation CreateInvalidOperation(SemanticModel semanticModel, SyntaxNode syntax, ImmutableArray<IOperation> children, bool isImplicit)

19internal static void AddToMap(IOperation root, Dictionary<SyntaxNode, IOperation> dictionary) 25private sealed class Walker : OperationWalker<Dictionary<SyntaxNode, IOperation>> 29public override object? DefaultVisit(IOperation operation, Dictionary<SyntaxNode, IOperation> argument) 35public override object? VisitBinaryOperator([DisallowNull] IBinaryOperation? operation, Dictionary<SyntaxNode, IOperation> argument) 57public override object? VisitConditional(IConditionalOperation operation, Dictionary<SyntaxNode, IOperation> argument) 78public override object? VisitBinaryPattern(IBinaryPatternOperation operation, Dictionary<SyntaxNode, IOperation> argument) 100internal override object? VisitNoneOperation(IOperation operation, Dictionary<SyntaxNode, IOperation> argument) 107private static void RecordOperation(IOperation operation, Dictionary<SyntaxNode, IOperation> argument) 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}.");

18public NoneOperation(ImmutableArray<IOperation> children, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) : 26internal ImmutableArray<IOperation> Children { get; } 28internal override IOperation GetCurrent(int slot, int index) 87public InvalidOperation(ImmutableArray<IOperation> children, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) : 97internal ImmutableArray<IOperation> Children { get; } 99internal override IOperation GetCurrent(int slot, int index) 163internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 235protected HasDynamicArgumentsExpression(ImmutableArray<IOperation> arguments, ImmutableArray<string?> argumentNames, ImmutableArray<RefKind> argumentRefKinds, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) : 246public ImmutableArray<IOperation> Arguments { get; } 252public DynamicObjectCreationOperation(IObjectOrCollectionInitializerOperation? initializer, ImmutableArray<IOperation> arguments, ImmutableArray<string?> argumentNames, ImmutableArray<RefKind> argumentRefKinds, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) : 264internal override IOperation GetCurrent(int slot, int index) 334public DynamicInvocationOperation(IOperation operation, ImmutableArray<IOperation> arguments, ImmutableArray<string?> argumentNames, ImmutableArray<RefKind> argumentRefKinds, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) : 342internal override IOperation GetCurrent(int slot, int index) 400public IOperation Operation { get; } 416public DynamicIndexerAccessOperation(IOperation operation, ImmutableArray<IOperation> arguments, ImmutableArray<string?> argumentNames, ImmutableArray<RefKind> argumentRefKinds, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) : 422public IOperation Operation { get; } 428internal override IOperation GetCurrent(int slot, int index) 513internal override IOperation GetCurrent(int slot, int index) 517IOperation getCurrentSwitchTop() 529IOperation getCurrentSwitchBottom() 649public FlowCaptureOperation(int id, SyntaxNode syntax, IOperation value) : 658public IsNullOperation(SyntaxNode syntax, IOperation operand, ITypeSymbol type, ConstantValue? constantValue) : 688public static BlockOperation CreateTemporaryBlock(ImmutableArray<IOperation> statements, SemanticModel semanticModel, SyntaxNode syntax) 691private BlockOperation(ImmutableArray<IOperation> statements, SemanticModel semanticModel, SyntaxNode syntax)

8/// Represents a <see cref="IOperation"/> visitor that visits only the single IOperation 21/// Represents a <see cref="IOperation"/> visitor that visits only the single IOperation

8/// Represents a <see cref="OperationVisitor"/> that descends an entire <see cref="IOperation"/> tree 15private void VisitChildOperations(IOperation operation) 17foreach (var child in ((Operation)operation).ChildOperations) 23public override void Visit(IOperation? operation) 40public override void DefaultVisit(IOperation operation) 45internal override void VisitNoneOperation(IOperation operation) 52/// Represents a <see cref="OperationVisitor{TArgument, TResult}"/> that descends an entire <see cref="IOperation"/> tree 59private void VisitChildrenOperations(IOperation operation, TArgument argument) 61foreach (var child in ((Operation)operation).ChildOperations) 67public override object? Visit(IOperation? operation, TArgument argument) 86public override object? DefaultVisit(IOperation operation, TArgument argument) 92internal override object? VisitNoneOperation(IOperation operation, TArgument argument)

203where T : IOperation

274private static bool IsSymbolType(IOperation? operation, INamedTypeSymbol? symbolType) 294private static bool IsSymbolClassType(IOperation operation) 311private static bool IsExplicitCastToObject(IOperation operation)

225var operationBlock = semanticModel.GetOperation(node, cancellationToken); 230foreach (var operation in operationBlock.DescendantsAndSelf())

37private static readonly string s_operationTypeFullName = typeof(IOperation).FullName;

554IOperation operation, 830var value = argument.Value.WalkDownConversion(); 891IOperation valueOperation; 892var argumentValueOperation = argumentOperation.Value.WalkDownConversion(); 941private static bool TryGetNonEmptyConstantStringValueCore(IOperation operation, [NotNullWhen(returnValue: true)] out string? literalValue)

70var rawOperation = semanticModel.GetOperation(expression, cancellationToken); 85var rawOperation = semanticModel.GetOperation(expression, cancellationToken); 201IOperation currentOperation = invocationOperation; 222if (invocationOperation.GetInstance() is not IOperation instance)

78var possibleInvocation = operation.LeftOperand.WalkDownConversion();

88/// The count is based on the executable <see cref="IOperation"/>s in code and is therefore not the exact number of lines in the source code file.

88public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 109foreach (var operation in operationBlock.Descendants()) 297static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 326static bool hasAnyExplicitExpression(IOperation operation) 332void countOperator(IOperation operation) 349void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 356void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

258var operationBlock = model.GetOperation(node, context.CancellationToken); 283foreach (var operation in operationBlock.DescendantsAndSelf()) 325static bool hasConditionalLogic(IOperation operation)

75foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

46this IOperation operation, 52this IOperation operation, 61this IOperation operation,

461var operation = semanticModel.GetOperation(descendant, cancellationToken);

62public static bool HasNullConstantValue(this IOperation operation) 67public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 84public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 91var builder = ImmutableArray.CreateBuilder<IOperation>(); 92var operationsToProcess = new Queue<IOperation>(); 105foreach (var child in operation.Children) 121public static bool IsOperationNoneRoot(this IOperation operation) 132public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 133where TOperation : class, IOperation 140var ancestor = root; 167public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 174var ancestor = root; 209public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 216for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 259public static IOperation GetRoot(this IOperation operation) 274private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 277public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 294private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 332this IOperation operation, IMethodSymbol lambdaOrLocalFunction, out PooledHashSet<ISymbol> builder) 343foreach (var child in operation.Descendants()) 385public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 411[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 416IOperation previousOperation = tupleOperation; 417var currentOperation = tupleOperation.Parent; 449public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 452public static IOperation? GetThrownException(this IThrowOperation operation) 454var thrownObject = operation.Exception; 478IOperation potentialLeftSide = operation;

20where TOperation : IOperation

185public static SyntaxNode GetAnalysisRoot(this OperationBlockStartAnalysisContext context, IOperation operationBlock, bool findInTrivia, bool getInnermostNodeForTie = false) 191public static SyntaxNode GetAnalysisRoot(this OperationBlockAnalysisContext context, IOperation operationBlock, bool findInTrivia, bool getInnermostNodeForTie = false)

12public static IEnumerable<IOperation> DescendantOperations(this BasicBlock basicBlock) 14foreach (var statement in basicBlock.Operations) 16foreach (var operation in statement.DescendantsAndSelf()) 24foreach (var operation in basicBlock.BranchValue.DescendantsAndSelf())

27public static IEnumerable<IOperation> DescendantOperations(this ControlFlowGraph cfg) 31where T : IOperation

18public static bool IsTargetOfObjectMemberInitializer(this IOperation operation) 34public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 239public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 259public static bool IsInLeftOfDeconstructionAssignment(this IOperation operation, [NotNullWhen(true)] out IDeconstructionAssignmentOperation? deconstructionAssignment) 263var previousOperation = operation; 264var current = operation.Parent; 295public static bool IsAnyCompoundAssignment(this IOperation operation) 308public static bool IsInsideCatchRegion(this IOperation operation, ControlFlowGraph cfg) 328foreach (var descendant in block.DescendantOperations()) 341public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, Func<IOperation, bool> predicate) 343foreach (var operationBlock in operationBlocks) 354public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate) 357public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate, [NotNullWhen(true)] out IOperation? foundOperation) 361foreach (var descendant in operationBlock.DescendantsAndSelf()) 374public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, OperationKind kind) 377public static bool IsNumericLiteral(this IOperation operation) 380public static bool IsNullLiteral(this IOperation operand) 389public static IOperation? WalkDownConversion(this IOperation? operation) 399public static bool IsSingleThrowNotImplementedOperation([NotNullWhen(true)] this IOperation? firstBlock) 415var firstOp = block.Operations.Length == 1 437static IOperation? TryGetSingleExplicitStatement(ImmutableArray<IOperation> operations) 439IOperation? firstOp = null; 440foreach (var operation in operations) 454static bool IsThrowNotImplementedOperation(INamedTypeSymbol notImplementedExceptionType, IOperation? operation) 461public static IOperation? UnwrapImplicitConversion(this IOperation? value)

86var originalOperation = semanticModel1.GetOperation(node1); 89var currentOperation = semanticModel2.GetOperation(node2); 125private static bool IsInstanceMemberReference(IOperation operation)

54public static IOperation GetRequiredOperation(this SemanticModel semanticModel, SyntaxNode node, CancellationToken cancellationToken)

138var operation = semanticModel.GetOperation(node, cancellationToken); 200var operation = semanticModel.GetOperation(node, cancellationToken);

61protected abstract PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 132public abstract void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId); 137public abstract void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol); 138public abstract void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget); 139public abstract void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget); 140public abstract void SetEmptyInvocationTargetsForDelegate(IOperation write); 141public abstract bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets); 143protected static PooledDictionary<(ISymbol Symbol, IOperation Write), bool> CreateSymbolsWriteMap( 146var symbolsWriteMap = PooledDictionary<(ISymbol Symbol, IOperation Write), bool>.GetInstance(); 150protected static PooledDictionary<(ISymbol Symbol, IOperation Write), bool> UpdateSymbolsWriteMap( 151PooledDictionary<(ISymbol Symbol, IOperation Write), bool> symbolsWriteMap, 158(ISymbol, IOperation) key = (parameter, null); 201public void OnWriteReferenceFound(ISymbol symbol, IOperation operation, bool maybeWritten, bool isRef)

28private readonly Dictionary<ISymbol, PooledHashSet<IOperation>> _reachingWrites; 74public void ForEachCurrentWrite<TArg>(ISymbol symbol, Action<IOperation, TArg> action, TArg arg) 86public bool ForEachCurrentWrite<TArg>(ISymbol symbol, Func<IOperation, TArg, bool> action, TArg arg) 90foreach (var value in values) 104public void OnWriteReferenceFound(ISymbol symbol, IOperation operation, bool maybeWritten) 108values = PooledHashSet<IOperation>.GetInstance(); 223private static void AddEntries(Dictionary<ISymbol, PooledHashSet<IOperation>> result, BasicBlockAnalysisData source) 231values = PooledHashSet<IOperation>.GetInstance(); 240foreach (var operation in operations)

33public static SymbolUsageResult Run(IOperation rootOperation, ISymbol owningSymbol, CancellationToken cancellationToken) 46var localFunctionOperation = rootOperation.Descendants()

41private readonly PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>> _lValueFlowCapturesMap; 48private readonly PooledDictionary<IOperation, PooledHashSet<IOperation>> _reachingDelegateCreationTargets; 69private readonly PooledDictionary<(int firstBlockOrdinal, int lastBlockOrdinal), PooledHashSet<(ISymbol, IOperation)>> _symbolWritesInsideBlockRangeMap; 77PooledDictionary<(ISymbol symbol, IOperation operation), bool> symbolsWriteMap, 81PooledDictionary<IOperation, PooledHashSet<IOperation>> reachingDelegateCreationTargets, 99_lValueFlowCapturesMap = PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 103_symbolWritesInsideBlockRangeMap = PooledDictionary<(int firstBlockOrdinal, int lastBlockOrdinal), PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 110protected override PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 134reachingDelegateCreationTargets: PooledDictionary<IOperation, PooledHashSet<IOperation>>.GetInstance(), 189foreach (var operation in cfg.OriginalOperation.Descendants()) 215private PooledHashSet<(ISymbol, IOperation)> GetOrCreateSymbolWritesInBlockRange(int firstBlockOrdinal, int lastBlockOrdinal, CancellationToken cancellationToken) 220var operations = PooledHashSet<IOperation>.GetInstance(); 224writesInBlockRange = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 241PooledHashSet<IOperation> operationsBuilder, 248foreach (var operation in cfg.Blocks[i].DescendantOperations()) 273void AddDescendantOperationsFromDelegateCreationTargets(PooledHashSet<IOperation> targets) 275foreach (var target in targets) 462public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 466captures = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 514public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 522var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 544foreach (var target in targetsBuilderForSymbolWrite) 561public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 571public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 583public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 586private void SetReachingDelegateTargetCore(IOperation write, IOperation targetOpt) 588var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 597public override bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets)

21PooledDictionary<(ISymbol symbol, IOperation operation), bool> symbolsWriteMap, 34protected override PooledDictionary<(ISymbol symbol, IOperation operation), bool> SymbolsWriteBuilder { get; } 63public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 69public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 71public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 73public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 75public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 77public override bool TryGetDelegateInvocationTargets(IOperation write, out ImmutableHashSet<IOperation> targets)

27private IOperation _currentRootOperation; 29private PooledDictionary<IAssignmentOperation, PooledHashSet<(ISymbol, IOperation)>> _pendingWritesMap; 36IEnumerable<IOperation> operations, 51private void Visit(ISymbol containingSymbol, IEnumerable<IOperation> operations, AnalysisData analysisData, CancellationToken cancellationToken) 58_pendingWritesMap = PooledDictionary<IAssignmentOperation, PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 65foreach (var operation in operations) 93private void OnWriteReferenceFound(ISymbol symbol, IOperation operation, ValueUsageInfo valueUsageInfo) 101private void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 107private void OnReferenceFound(ISymbol symbol, IOperation operation) 159private bool MakePendingWrite(IOperation operation, ISymbol symbolOpt) 166var set = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 175set = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 407private void ProcessPossibleDelegateCreationAssignment(ISymbol symbol, IOperation write) 415IOperation initializerValue = null; 431private void ProcessPossibleDelegateCreation(IOperation creation, IOperation write) 433var currentOperation = creation; 497private void AnalyzePossibleDelegateInvocation(IOperation operation) 534foreach (var target in targets) 549void AnalyzeDelegateInvocation(IOperation target)

13ImmutableDictionary<(ISymbol symbol, IOperation write), bool> symbolWritesMap, 33public ImmutableDictionary<(ISymbol symbol, IOperation write), bool> SymbolWritesMap { get; } = symbolWritesMap; 47public ImmutableArray<(ISymbol Symbol, IOperation WriteOperation)> GetUnreadSymbolWrites()

148var operation = semanticModel.GetOperation(expressionNode, cancellationToken); 273var operation = semanticModel.GetOperation(isExpression, cancellationToken); 415var rightOperand = RemoveImplicitConversion(binaryOperation.RightOperand); 416var leftOperand = RemoveImplicitConversion(binaryOperation.LeftOperand); 428private static IOperation RemoveImplicitConversion(IOperation operation) 436IOperation variableExpression, ILiteralOperation numericLiteralExpression) 474var operation = semanticModel.GetOperation(expression);

57var operation = semanticModel.GetOperation( 171var statement = TryFindFieldOrPropertyAssignmentStatement(sibling, blockStatement); 211var operation = semanticModel.GetOperation(accessorBody, cancellationToken);

38public static bool IsParameterReference(IOperation? operation, IParameterSymbol parameter) 43IOperation? value, IParameterSymbol parameter) 76public static IOperation? TryFindFieldOrPropertyAssignmentStatement(IParameterSymbol parameter, IBlockOperation? blockStatement) 79private static IOperation? TryFindFieldOrPropertyAssignmentStatement( 85foreach (var statement in blockStatement.Operations) 99var target = targetTuple.Elements[i]; 100var value = valueTuple.Elements[i]; 117IOperation operation, 146IOperation? operation, INamedTypeSymbol containingType, 163public static bool IsFieldOrPropertyAssignment(IOperation statement, INamedTypeSymbol containingType, [NotNullWhen(true)] out IAssignmentOperation? assignmentExpression) 167IOperation statement, INamedTypeSymbol containingType,

30var declaredOperation = semanticModel.GetRequiredOperation(declarationSyntax, cancellationToken); 32var rootOperation = declaredOperation; 54IOperation rootOperation, 62using var _ = ArrayBuilder<IOperation>.GetInstance(out var stack); 65while (stack.TryPop(out var operation)) 128foreach (var childOperation in operation.ChildOperations.Reverse()) 142bool IsSymbolReferencedByOperation(IOperation operation)

34GetCSharpExpectedDiagnostic(25, 29, violatingTypeName: typeof(IOperation).FullName) 90GetBasicExpectedDiagnostic(25, 35, violatingTypeName: typeof(IOperation).FullName)

88/// The count is based on the executable <see cref="IOperation"/>s in code and is therefore not the exact number of lines in the source code file.

88public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 109foreach (var operation in operationBlock.Descendants()) 297static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 326static bool hasAnyExplicitExpression(IOperation operation) 332void countOperator(IOperation operation) 349void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 356void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

258var operationBlock = model.GetOperation(node, context.CancellationToken); 283foreach (var operation in operationBlock.DescendantsAndSelf()) 325static bool hasConditionalLogic(IOperation operation)

75foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

46this IOperation operation, 52this IOperation operation, 61this IOperation operation,

461var operation = semanticModel.GetOperation(descendant, cancellationToken);

62public static bool HasNullConstantValue(this IOperation operation) 67public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 84public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 91var builder = ImmutableArray.CreateBuilder<IOperation>(); 92var operationsToProcess = new Queue<IOperation>(); 105foreach (var child in operation.Children) 121public static bool IsOperationNoneRoot(this IOperation operation) 132public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 133where TOperation : class, IOperation 140var ancestor = root; 167public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 174var ancestor = root; 209public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 216for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 259public static IOperation GetRoot(this IOperation operation) 274private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 277public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 294private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 332this IOperation operation, IMethodSymbol lambdaOrLocalFunction, out PooledHashSet<ISymbol> builder) 343foreach (var child in operation.Descendants()) 385public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 411[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 416IOperation previousOperation = tupleOperation; 417var currentOperation = tupleOperation.Parent; 449public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 452public static IOperation? GetThrownException(this IThrowOperation operation) 454var thrownObject = operation.Exception; 478IOperation potentialLeftSide = operation;

20where TOperation : IOperation

47IOperation? branchValue, 68public IOperation? BranchValue { get; } 90IOperation? branchValue,

133foreach (var operation in finallyRegion.DescendantOperations(cfg))

15public static IEnumerable<IOperation> DescendantOperations(this ControlFlowRegion controlFlowRegion, ControlFlowGraph cfg) 20foreach (var operation in block.DescendantOperations())

14public static bool IsInsideCatchRegion([NotNullWhen(returnValue: true)] this IOperation? operation, ControlFlowGraph cfg) 39foreach (var descendant in block.DescendantOperations())

13public static ControlFlowGraph? GetControlFlowGraph(this ImmutableArray<IOperation> operationBlocks) 15foreach (var operationRoot in operationBlocks)

39public override CopyAnalysisData Flow(IOperation statement, BasicBlock block, CopyAnalysisData input) 94protected override CopyAbstractValue GetCopyAbstractValue(IOperation operation) => base.GetCachedAbstractValue(operation); 106protected override void SetAbstractValueForAssignment(AnalysisEntity targetAnalysisEntity, IOperation? assignedValueOperation, CopyAbstractValue assignedValue) 118protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, CopyAbstractValue assignedValue) 305protected override CopyAbstractValue ComputeAnalysisValueForReferenceOperation(IOperation operation, CopyAbstractValue defaultValue) 327IOperation leftOperand, 328IOperation rightOperand, 380protected override PredicateValueKind SetValueForIsNullComparisonOperator(IOperation leftOperand, bool equals, CopyAnalysisData targetAnalysisData) => PredicateValueKind.Unknown; 594public override CopyAbstractValue DefaultVisit(IOperation operation, object? argument)

13/// It contains the set of <see cref="IOperation"/>s that dispose an associated disposable <see cref="AbstractLocation"/> and 24: this(ImmutableHashSet<IOperation>.Empty, kind) 29internal DisposeAbstractValue(ImmutableHashSet<IOperation> disposingOrEscapingOperations, DisposeAbstractValueKind kind) 36internal DisposeAbstractValue WithNewDisposingOperation(IOperation disposingOperation) 43internal DisposeAbstractValue WithNewEscapingOperation(IOperation escapingOperation) 52private static void VerifyArguments(ImmutableHashSet<IOperation> disposingOrEscapingOperations, DisposeAbstractValueKind kind) 71public ImmutableHashSet<IOperation> DisposingOrEscapingOperations { get; }

8/// Abstract dispose value for <see cref="AbstractLocation"/>/<see cref="IOperation"/> tracked by <see cref="DisposeAnalysis"/>.

18/// Dataflow analysis to track dispose state of <see cref="AbstractLocation"/>/<see cref="IOperation"/> instances.

19private readonly SetAbstractDomain<IOperation> _disposingOperationsDomain = SetAbstractDomain<IOperation>.Default;

81protected override DisposeAbstractValue HandleInstanceCreation(IOperation creation, PointsToAbstractValue instanceLocation, DisposeAbstractValue defaultValue) 108private void HandleDisposingOperation(IOperation disposingOperation, IOperation? disposedInstance) 126private void HandlePossibleInvalidatingOperation(IOperation invalidatedInstance) 139private void HandlePossibleEscapingOperation(IOperation escapingOperation, ImmutableHashSet<AbstractLocation> escapedLocations) 152protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, DisposeAbstractValue value) 158protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, DisposeAbstractValue assignedValue, bool mayBeAssignment = false) 164protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, DisposeAbstractValue assignedValue) 220public override DisposeAbstractValue DefaultVisit(IOperation operation, object? argument) 226public override DisposeAbstractValue Visit(IOperation? operation, object? argument) 236protected override void HandlePossibleThrowingOperation(IOperation operation) 259IOperation? visitedInstance, 262IOperation originalOperation,

123ImmutableArray<IOperation> operationBlocks, 158private bool IsDisposableCreation(IOperation operation) 163public bool HasAnyDisposableCreationDescendant(ImmutableArray<IOperation> operationBlocks, IMethodSymbol containingMethod)

21/// Dataflow analysis to track set of global <see cref="IAbstractAnalysisValue"/>s enabled on each control flow path at each <see cref="IOperation"/> in the <see cref="ControlFlowGraph"/>. 71Func<IOperation, ValueContentAbstractValue>? getValueContentValueForAdditionalSupportedValueTypeOperation = null) 101Func<IOperation, ValueContentAbstractValue>? getValueContentValueForAdditionalSupportedValueTypeOperation = null)

30private readonly ImmutableDictionary<IOperation, TAbstractAnalysisValue>.Builder _globalValuesMapBuilder; 37_globalValuesMapBuilder = ImmutableDictionary.CreateBuilder<IOperation, TAbstractAnalysisValue>(); 45internal ImmutableDictionary<IOperation, TAbstractAnalysisValue> GetGlobalValuesMap() 72IOperation statement, BasicBlock block, DictionaryAnalysisData<AnalysisEntity, TAbstractAnalysisValue> input) 159public override TAbstractAnalysisValue Visit(IOperation? operation, object? argument)

110IOperation? visitedInstance, 113IOperation originalOperation,

8/// Abstract validation value for <see cref="AbstractLocation"/>/<see cref="IOperation"/> tracked by <see cref="ParameterValidationAnalysis"/>.

19/// Dataflow analysis to track <see cref="ParameterValidationAbstractValue"/> of <see cref="AbstractLocation"/>/<see cref="IOperation"/> instances.

97protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, ParameterValidationAbstractValue assignedValue, bool mayBeAssignment = false) 106protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, ParameterValidationAbstractValue assignedValue) 111protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, ParameterValidationAbstractValue value) 146private void MarkValidatedLocations(IOperation operation) 149private IEnumerable<AbstractLocation> GetNotValidatedLocations(IOperation operation) 155private static bool IsHazardousIfNull(IOperation operation) 174private void HandlePotentiallyHazardousOperation(IOperation operation, IEnumerable<AbstractLocation> nonValidatedLocations) 220public override ParameterValidationAbstractValue Visit(IOperation? operation, object? argument) 252IOperation? visitedInstance, 255IOperation originalOperation, 266IOperation originalOperation, 277IOperation originalOperation, 285private void ProcessRegularInvocationOrCreation(IMethodSymbol? targetMethod, ImmutableArray<IArgumentOperation> arguments, IOperation operation) 356private void ProcessLambdaOrLocalFunctionInvocation(IMethodSymbol targetMethod, IOperation invocation)

8/// Abstract null value for <see cref="AnalysisEntity"/>/<see cref="IOperation"/> tracked by <see cref="PointsToAnalysis"/>.

13/// Abstract PointsTo value for an <see cref="AnalysisEntity"/>/<see cref="IOperation"/> tracked by <see cref="PointsToAnalysis"/>. 41LValueCapturedOperations = ImmutableHashSet<IOperation>.Empty; 46private PointsToAbstractValue(ImmutableHashSet<IOperation> lValueCapturedOperations) 62LValueCapturedOperations = ImmutableHashSet<IOperation>.Empty; 75internal static PointsToAbstractValue Create(IOperation lValueCapturedOperation) 112internal static PointsToAbstractValue Create(ImmutableHashSet<IOperation> lValueCapturedOperations) 182public ImmutableHashSet<IOperation> LValueCapturedOperations { get; }

19/// Dataflow analysis to track locations pointed to by <see cref="AnalysisEntity"/> and <see cref="IOperation"/> instances.

18private readonly SetAbstractDomain<IOperation> _lValueCapturesDomain = SetAbstractDomain<IOperation>.Default;

30private readonly PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder> _escapedOperationLocationsBuilder; 31private readonly PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder> _escapedReturnValueLocationsBuilder; 44_escapedOperationLocationsBuilder = PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder>.GetInstance(); 45_escapedReturnValueLocationsBuilder = PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder>.GetInstance(); 53public ImmutableDictionary<IOperation, ImmutableHashSet<AbstractLocation>> GetEscapedLocationsThroughOperationsMap() 56public ImmutableDictionary<IOperation, ImmutableHashSet<AbstractLocation>> GetEscapedLocationsThroughReturnValuesMap() 99public override PointsToAnalysisData Flow(IOperation statement, BasicBlock block, PointsToAnalysisData input) 169protected override PointsToAbstractValue GetPointsToAbstractValue(IOperation operation) => base.GetCachedAbstractValue(operation); 195protected override CopyAbstractValue GetCopyAbstractValue(IOperation operation) 212protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, PointsToAbstractValue assignedValue) 273protected override PointsToAbstractValue ComputeAnalysisValueForReferenceOperation(IOperation operation, PointsToAbstractValue defaultValue) 332protected override void ProcessReturnValue(IOperation? returnValue) 344private protected override PointsToAbstractValue GetAbstractValueForImplicitWrappingTaskCreation(IOperation returnValueOperation, PointsToAbstractValue returnValue, PointsToAbstractValue implicitTaskPointsToValue) 361IOperation leftOperand, 362IOperation rightOperand, 380protected override PredicateValueKind SetValueForIsNullComparisonOperator(IOperation leftOperand, bool equals, PointsToAnalysisData targetAnalysisData) 388IOperation target, 389IOperation assignedValueOperation, 399IOperation target, 627private void HandleEscapingOperation(IOperation escapingOperation, IOperation escapedInstance) 632private void HandleEscapingOperation(IOperation escapingOperation, IOperation escapedInstance, PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder> builder) 637foreach (var capturedOperation in escapedInstancePointsToValue.LValueCapturedOperations) 718private void HandlePossibleEscapingForAssignment(IOperation target, IOperation value, IOperation operation) 730protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, PointsToAbstractValue assignedValue, bool mayBeAssignment = false) 740protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, PointsToAbstractValue value) 751public override PointsToAbstractValue DefaultVisit(IOperation operation, object? argument) 787IOperation? currentInstanceOperation = operation.GetInstance(IsInsideAnonymousObjectInitializer); 799where TOperation : IOperation 921private PointsToAbstractValue VisitInvocationCommon(IOperation operation, IOperation? instance) 942IOperation? visitedInstance, 945IOperation originalOperation, 1029IOperation originalOperation, 1039IOperation originalOperation, 1052private NullAbstractValue GetNullStateBasedOnInstanceOrReferenceValue(IOperation? referenceOrInstance, ITypeSymbol? operationType, NullAbstractValue defaultValue) 1068private PointsToAbstractValue GetValueBasedOnInstanceOrReferenceValue(IOperation? referenceOrInstance, IOperation operation, PointsToAbstractValue defaultValue) 1209IOperation operation,