27public interface IFlowCaptureOperation : IOperation 51public interface IFlowCaptureReferenceOperation : IOperation 77public interface IIsNullOperation : IOperation 96public interface ICaughtExceptionOperation : IOperation 113public interface IStaticLocalInitializationSemaphoreOperation : IOperation 140public 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 4000public interface ISpreadOperation : IOperation 4033public interface ICollectionExpressionElementsPlaceholderOperation : IOperation

18internal abstract partial class Operation : IOperation

103static ITypeSymbol? ResolveType(IOperation conversionOperation) =>

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)

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; } 135reachingDelegateCreationTargets: PooledDictionary<IOperation, PooledHashSet<IOperation>>.GetInstance(), 205foreach (var operation in cfg.OriginalOperation.Descendants()) 231private PooledHashSet<(ISymbol, IOperation)> GetOrCreateSymbolWritesInBlockRange(int firstBlockOrdinal, int lastBlockOrdinal, CancellationToken cancellationToken) 236var operations = PooledHashSet<IOperation>.GetInstance(); 240writesInBlockRange = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 257PooledHashSet<IOperation> operationsBuilder, 264foreach (var operation in cfg.Blocks[i].DescendantOperations()) 289void AddDescendantOperationsFromDelegateCreationTargets(PooledHashSet<IOperation> targets) 291foreach (var target in targets) 478public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 482captures = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 530public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 538var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 560foreach (var target in targetsBuilderForSymbolWrite) 577public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 587public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 599public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 602private void SetReachingDelegateTargetCore(IOperation write, IOperation targetOpt) 604var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 613public 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)

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

75foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

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

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

61public static bool HasNullConstantValue(this IOperation operation) 66public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 83public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 90var builder = ImmutableArray.CreateBuilder<IOperation>(); 91var operationsToProcess = new Queue<IOperation>(); 104foreach (var child in operation.Children) 120public static bool IsOperationNoneRoot(this IOperation operation) 131public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 132where TOperation : class, IOperation 139var ancestor = root; 166public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 173var ancestor = root; 208public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 215for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 258public static IOperation GetRoot(this IOperation operation) 273private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 276public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 293private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 331this IOperation operation, IMethodSymbol lambdaOrLocalFunction, out PooledHashSet<ISymbol> builder) 342foreach (var child in operation.Descendants()) 384public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 410[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 415IOperation previousOperation = tupleOperation; 416var currentOperation = tupleOperation.Parent; 448public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 451public static IOperation? GetThrownException(this IThrowOperation operation) 453var thrownObject = operation.Exception; 477IOperation potentialLeftSide = operation;

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)

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

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()

146var operation = semanticModel.GetOperation(expressionNode, cancellationToken); 271var operation = semanticModel.GetOperation(isExpression, cancellationToken); 413var rightOperand = RemoveImplicitConversion(binaryOperation.RightOperand); 414var leftOperand = RemoveImplicitConversion(binaryOperation.LeftOperand); 426private static IOperation RemoveImplicitConversion(IOperation operation) 434IOperation variableExpression, ILiteralOperation numericLiteralExpression) 475var operation = semanticModel.GetOperation(expression);

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, 477var targetOperation = operation.Target; 704public abstract TValue HandleDelegateCreation(IMethodSymbol methodReference, IOperation operation, in TContext context); 846IOperation operation, 923IOperation operation, 925IOperation? 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())

116foreach (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;

239var parent = operationContext.Operation.Parent; 383IOperation operation,

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

26private readonly IOperation _operation; 37IOperation 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) 280public override void HandleAssignment(MultiValue source, MultiValue target, IOperation operation, in FeatureContext featureContext) 292public override MultiValue HandleArrayElementRead(MultiValue arrayValue, MultiValue indexValue, IOperation operation) 313public override void HandleArrayElementWrite(MultiValue arrayValue, MultiValue indexValue, MultiValue valueToWrite, IOperation operation, bool merge) 344IOperation operation, 388IOperation operation, 410public override void HandleReturnValue(MultiValue returnValue, IOperation operation, in FeatureContext featureContext) 426public override void HandleReturnConditionValue(FeatureChecksValue returnConditionValue, IOperation operation) 449public override MultiValue HandleDelegateCreation(IMethodSymbol method, IOperation operation, in FeatureContext featureContext) 463private void ProcessGenericArgumentDataFlow(IMethodSymbol method, IOperation operation, in FeatureContext featureContext) 481private void ProcessGenericArgumentDataFlow(IFieldSymbol field, IOperation operation, in FeatureContext featureContext) 498private void ProcessGenericArgumentDataFlow(IPropertySymbol property, IOperation operation, in FeatureContext featureContext) 513private 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)

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;

60foreach (var childBlock in blockContext.OperationBlocks) 89private static void AnalyzeOperationsTree(IOperation operation, Dictionary<string, INamedTypeSymbol?> availableTypes, ForLoopAnalyzerState analyzerState) 115foreach (var childOperation in operation.Children) 131foreach (var bottomOperation in forLoopOperation.AtLoopBottom) 173IOperation? suspectOperation = null; 174var valueArgument = invocation.Arguments[2].Value; 240private static IDelegateCreationOperation? FindFirstDelegateChild(IOperation currentOperation) 255foreach (var child in currentOperation.Children)

218private static IMethodSymbol? TryGetMethodFromOperation(IOperation operation)

46foreach (var operationBlock in blockContext.OperationBlocks) 48foreach (var operation in operationBlock.DescendantsAndSelf())

41IOperation leftHandSide;

20var operation = context.SemanticModel.GetOperation(context.Node, cancellationToken);

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

26public static bool IsValidOperation(this IOperation? operation, WellKnownTypes wellKnownTypes, [NotNullWhen(true)] out IInvocationOperation? invocationOperation) 90private static IMethodSymbol? ResolveMethodFromOperation(IOperation operation, SemanticModel semanticModel) => operation switch 95IFieldReferenceOperation { Field.IsReadOnly: true } f when ResolveDeclarationOperation(f.Field, semanticModel) is IOperation op => 104private static IOperation? ResolveDeclarationOperation(ISymbol symbol, SemanticModel? semanticModel) 120var 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)

1780internal 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}");

2791ImmutableArray<IOperation> getOperationsToAnalyzeWithStackGuard(ImmutableArray<IOperation> operationBlocksToAnalyze) 2803return ImmutableArray<IOperation>.Empty; 2807void executeOperationsActions(ImmutableArray<IOperation> operationsToAnalyze) 2816void executeOperationsActionsByKind(ImmutableArray<IOperation> operationsToAnalyze, GroupedAnalyzerActions groupedActions, bool arePerSymbolActions) 2842void executeOperationsBlockActions(ImmutableArray<IOperation> operationBlocksToAnalyze, ImmutableArray<IOperation> operationsToAnalyze, ArrayBuilder<ExecutableCodeBlockAnalyzerActions> codeBlockActions) 2990private static ImmutableArray<IOperation> GetOperationBlocksToAnalyze( 2995ArrayBuilder<IOperation> operationBlocksToAnalyze = ArrayBuilder<IOperation>.GetInstance(); 3008private static ImmutableArray<IOperation> GetOperationsToAnalyze( 3009ImmutableArray<IOperation> operationBlocks) 3011ArrayBuilder<IOperation> operationsToAnalyze = ArrayBuilder<IOperation>.GetInstance(); 3014foreach (IOperation operationBlock in operationBlocks)

65private Func<IOperation, ControlFlowGraph>? _lazyGetControlFlowGraph; 67private ConcurrentDictionary<IOperation, ControlFlowGraph>? _lazyControlFlowGraphMap; 69private Func<IOperation, ControlFlowGraph> GetControlFlowGraph 805IOperation operation, 968ImmutableArray<IOperation> operationBlocks, 969ImmutableArray<IOperation> operations, 1237ImmutableArray<IOperation> operationsToAnalyze, 1276ImmutableArray<IOperation> operationsToAnalyze, 1289foreach (var operation in operationsToAnalyze) 1676private bool ShouldExecuteOperation(IOperation operation, DiagnosticAnalyzer analyzer, CancellationToken cancellationToken) 1699private ControlFlowGraph GetControlFlowGraphImpl(IOperation operation) 1705Interlocked.CompareExchange(ref _lazyControlFlowGraphMap, new ConcurrentDictionary<IOperation, ControlFlowGraph>(), null); 1725public void OnOperationBlockActionsExecuted(ImmutableArray<IOperation> operationBlocks) 1734foreach (var operationBlock in operationBlocks) 1736var root = operationBlock.GetRootOperation();

180/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 181/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 184/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 185/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 193/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 194/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 197/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 198/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 478/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 479/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 482/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 483/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 491/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 492/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 495/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 496/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 992/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 993/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 996/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 997/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 1005/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 1006/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 1009/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 1010/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 1246private readonly ImmutableArray<IOperation> _operationBlocks; 1250private readonly Func<IOperation, ControlFlowGraph>? _getControlFlowGraph; 1259public ImmutableArray<IOperation> OperationBlocks => _operationBlocks; 1300ImmutableArray<IOperation> operationBlocks, 1311ImmutableArray<IOperation> operationBlocks, 1315Func<IOperation, ControlFlowGraph>? getControlFlowGraph, 1341/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 1344/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 1345/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 1353/// Register an action to be executed at completion of semantic analysis of an <see cref="IOperation"/> with an appropriate Kind. 1354/// An operation action can report <see cref="Diagnostic"/>s about <see cref="IOperation"/>s, and can also collect 1357/// <param name="action">Action to be executed at completion of semantic analysis of an <see cref="IOperation"/>.</param> 1358/// <param name="operationKinds">Action will be executed only if an <see cref="IOperation"/>'s Kind matches one of the operation kind values.</param> 1365public ControlFlowGraph GetControlFlowGraph(IOperation operationBlock) 1387private readonly ImmutableArray<IOperation> _operationBlocks; 1393private readonly Func<IOperation, ControlFlowGraph>? _getControlFlowGraph; 1402public ImmutableArray<IOperation> OperationBlocks => _operationBlocks; 1443ImmutableArray<IOperation> operationBlocks, 1456ImmutableArray<IOperation> operationBlocks, 1462Func<IOperation, ControlFlowGraph>? getControlFlowGraph, 1498public ControlFlowGraph GetControlFlowGraph(IOperation operationBlock) 1777/// An operation action can use an <see cref="OperationAnalysisContext"/> to report <see cref="Diagnostic"/>s for an <see cref="IOperation"/>. 1781private readonly IOperation _operation; 1787private readonly Func<IOperation, ControlFlowGraph>? _getControlFlowGraph; 1791/// <see cref="IOperation"/> that is the subject of the analysis. 1793public IOperation Operation => _operation; 1801/// <see cref="CodeAnalysis.Compilation"/> containing the <see cref="IOperation"/>. 1834IOperation operation, 1846IOperation operation, 1852Func<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,

36IOperation Value { get; } 82IOperation Operand { get; }

18/// <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; } 3972ImmutableArray<IOperation> ConstructArguments { get; } 3981ImmutableArray<IOperation> Elements { get; } 4005IOperation Operand { get; } 4041internal BlockOperation(ImmutableArray<IOperation> operations, ImmutableArray<ILocalSymbol> locals, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4047public ImmutableArray<IOperation> Operations { get; } 4051internal override IOperation GetCurrent(int slot, int index) 4106internal override IOperation GetCurrent(int slot, int index) 4153internal SwitchOperation(ImmutableArray<ILocalSymbol> locals, IOperation value, ImmutableArray<ISwitchCaseOperation> cases, ILabelSymbol exitLabel, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4162public IOperation Value { get; } 4168internal override IOperation GetCurrent(int slot, int index) 4223protected BaseLoopOperation(IOperation body, ImmutableArray<ILocalSymbol> locals, ILabelSymbol continueLabel, ILabelSymbol exitLabel, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4232public IOperation Body { get; } 4239internal 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) 4248public IOperation LoopControlVariable { get; } 4249public IOperation Collection { get; } 4250public ImmutableArray<IOperation> NextVariables { get; } 4258internal override IOperation GetCurrent(int slot, int index) 4329internal 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) 4337public ImmutableArray<IOperation> Before { get; } 4339public IOperation? Condition { get; } 4340public ImmutableArray<IOperation> AtLoopBottom { get; } 4346internal override IOperation GetCurrent(int slot, int index) 4421internal 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) 4432public IOperation LoopControlVariable { get; } 4433public IOperation InitialValue { get; } 4434public IOperation LimitValue { get; } 4435public IOperation StepValue { get; } 4437public ImmutableArray<IOperation> NextVariables { get; } 4446internal override IOperation GetCurrent(int slot, int index) 4533internal WhileLoopOperation(IOperation? condition, bool conditionIsTop, bool conditionIsUntil, IOperation? ignoredCondition, IOperation body, ImmutableArray<ILocalSymbol> locals, ILabelSymbol continueLabel, ILabelSymbol exitLabel, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4541public IOperation? Condition { get; } 4544public IOperation? IgnoredCondition { get; } 4557internal LabeledOperation(ILabelSymbol label, IOperation? operation, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4564public IOperation? Operation { get; } 4567internal override IOperation GetCurrent(int slot, int index) 4619internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 4633internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 4644internal ReturnOperation(IOperation? returnedValue, OperationKind kind, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4650public IOperation? ReturnedValue { get; } 4653internal override IOperation GetCurrent(int slot, int index) 4696internal LockOperation(IOperation lockedValue, IOperation body, ILocalSymbol? lockTakenSymbol, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4703public IOperation LockedValue { get; } 4704public IOperation Body { get; } 4709internal override IOperation GetCurrent(int slot, int index) 4776internal override IOperation GetCurrent(int slot, int index) 4839internal UsingOperation(IOperation resources, IOperation body, ImmutableArray<ILocalSymbol> locals, bool isAsynchronous, DisposeOperationInfo disposeInfo, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4848public IOperation Resources { get; } 4849public IOperation Body { get; } 4856internal override IOperation GetCurrent(int slot, int index) 4907internal ExpressionStatementOperation(IOperation operation, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 4912public IOperation Operation { get; } 4915internal override IOperation GetCurrent(int slot, int index) 4971internal override IOperation GetCurrent(int slot, int index) 5025internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 5039internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 5061internal override IOperation GetCurrent(int slot, int index) 5123internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 5134internal ConversionOperation(IOperation operand, IConvertibleConversion conversion, bool isTryCast, bool isChecked, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5144public IOperation Operand { get; } 5151internal override IOperation GetCurrent(int slot, int index) 5194internal InvocationOperation(IMethodSymbol targetMethod, ITypeSymbol? constrainedToType, IOperation? instance, bool isVirtual, ImmutableArray<IArgumentOperation> arguments, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5206public IOperation? Instance { get; } 5212internal override IOperation GetCurrent(int slot, int index) 5267internal ArrayElementReferenceOperation(IOperation arrayReference, ImmutableArray<IOperation> indices, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5274public IOperation ArrayReference { get; } 5275public ImmutableArray<IOperation> Indices { get; } 5279internal override IOperation GetCurrent(int slot, int index) 5345internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 5364internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 5375protected BaseMemberReferenceOperation(IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 5380public IOperation? Instance { get; } 5385internal FieldReferenceOperation(IFieldSymbol field, bool isDeclaration, IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5397internal override IOperation GetCurrent(int slot, int index) 5440internal MethodReferenceOperation(IMethodSymbol method, ITypeSymbol? constrainedToType, bool isVirtual, IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5453internal override IOperation GetCurrent(int slot, int index) 5496internal PropertyReferenceOperation(IPropertySymbol property, ITypeSymbol? constrainedToType, ImmutableArray<IArgumentOperation> arguments, IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5510internal override IOperation GetCurrent(int slot, int index) 5565internal EventReferenceOperation(IEventSymbol @event, ITypeSymbol? constrainedToType, IOperation? instance, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 5576internal override IOperation GetCurrent(int slot, int index) 5619internal UnaryOperation(UnaryOperatorKind operatorKind, IOperation operand, bool isLifted, bool isChecked, IMethodSymbol? operatorMethod, ITypeSymbol? constrainedToType, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5632public IOperation Operand { get; } 5639internal override IOperation GetCurrent(int slot, int index) 5682internal 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) 5698public IOperation LeftOperand { get; } 5699public IOperation RightOperand { get; } 5709internal override IOperation GetCurrent(int slot, int index) 5760internal ConditionalOperation(IOperation condition, IOperation whenTrue, IOperation? whenFalse, bool isRef, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5770public IOperation Condition { get; } 5771public IOperation WhenTrue { get; } 5772public IOperation? WhenFalse { get; } 5778internal override IOperation GetCurrent(int slot, int index) 5837internal CoalesceOperation(IOperation value, IOperation whenNull, IConvertibleConversion valueConversion, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 5846public IOperation Value { get; } 5847public IOperation WhenNull { get; } 5853internal override IOperation GetCurrent(int slot, int index) 5914internal override IOperation GetCurrent(int slot, int index) 5972internal override IOperation GetCurrent(int slot, int index) 6036internal override IOperation GetCurrent(int slot, int index) 6079internal ArrayCreationOperation(ImmutableArray<IOperation> dimensionSizes, IArrayInitializerOperation? initializer, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6086public ImmutableArray<IOperation> DimensionSizes { get; } 6091internal override IOperation GetCurrent(int slot, int index) 6154internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 6165internal IsTypeOperation(IOperation valueOperand, ITypeSymbol typeOperand, bool isNegated, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6173public IOperation ValueOperand { get; } 6178internal override IOperation GetCurrent(int slot, int index) 6221internal AwaitOperation(IOperation operation, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6227public IOperation Operation { get; } 6230internal override IOperation GetCurrent(int slot, int index) 6273protected BaseAssignmentOperation(IOperation target, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 6279public IOperation Target { get; } 6280public IOperation Value { get; } 6284internal SimpleAssignmentOperation(bool isRef, IOperation target, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 6295internal override IOperation GetCurrent(int slot, int index) 6346internal 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) 6370internal override IOperation GetCurrent(int slot, int index) 6421internal ParenthesizedOperation(IOperation operand, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 6428public IOperation Operand { get; } 6431internal override IOperation GetCurrent(int slot, int index) 6474internal EventAssignmentOperation(IOperation eventReference, IOperation handlerValue, bool adds, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6482public IOperation EventReference { get; } 6483public IOperation HandlerValue { get; } 6488internal override IOperation GetCurrent(int slot, int index) 6539internal ConditionalAccessOperation(IOperation operation, IOperation whenNotNull, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6546public IOperation Operation { get; } 6547public IOperation WhenNotNull { get; } 6551internal override IOperation GetCurrent(int slot, int index) 6608internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 6629internal override IOperation GetCurrent(int slot, int index) 6676internal AnonymousObjectCreationOperation(ImmutableArray<IOperation> initializers, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6682public ImmutableArray<IOperation> Initializers { get; } 6685internal override IOperation GetCurrent(int slot, int index) 6732internal ObjectOrCollectionInitializerOperation(ImmutableArray<IOperation> initializers, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6738public ImmutableArray<IOperation> Initializers { get; } 6741internal override IOperation GetCurrent(int slot, int index) 6788internal MemberInitializerOperation(IOperation initializedMember, IObjectOrCollectionInitializerOperation initializer, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6795public IOperation InitializedMember { get; } 6800internal override IOperation GetCurrent(int slot, int index) 6851internal NameOfOperation(IOperation argument, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 6858public IOperation Argument { get; } 6861internal override IOperation GetCurrent(int slot, int index) 6904internal TupleOperation(ImmutableArray<IOperation> elements, ITypeSymbol? naturalType, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6911public ImmutableArray<IOperation> Elements { get; } 6915internal override IOperation GetCurrent(int slot, int index) 6962internal DynamicMemberReferenceOperation(IOperation? instance, string memberName, ImmutableArray<ITypeSymbol> typeArguments, ITypeSymbol? containingType, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 6971public IOperation? Instance { get; } 6977internal override IOperation GetCurrent(int slot, int index) 7020internal TranslatedQueryOperation(IOperation operation, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7026public IOperation Operation { get; } 7029internal override IOperation GetCurrent(int slot, int index) 7072internal DelegateCreationOperation(IOperation target, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7078public IOperation Target { get; } 7081internal override IOperation GetCurrent(int slot, int index) 7131internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 7150internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 7170internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 7181internal AddressOfOperation(IOperation reference, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7187public IOperation Reference { get; } 7190internal override IOperation GetCurrent(int slot, int index) 7233internal IsPatternOperation(IOperation value, IPatternOperation pattern, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7240public IOperation Value { get; } 7245internal override IOperation GetCurrent(int slot, int index) 7296internal IncrementOrDecrementOperation(bool isPostfix, bool isLifted, bool isChecked, IOperation target, IMethodSymbol? operatorMethod, ITypeSymbol? constrainedToType, OperationKind kind, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7311public IOperation Target { get; } 7316internal override IOperation GetCurrent(int slot, int index) 7359internal ThrowOperation(IOperation? exception, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7365public IOperation? Exception { get; } 7368internal override IOperation GetCurrent(int slot, int index) 7411internal DeconstructionAssignmentOperation(IOperation target, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7419internal override IOperation GetCurrent(int slot, int index) 7470internal DeclarationExpressionOperation(IOperation expression, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 7476public IOperation Expression { get; } 7479internal override IOperation GetCurrent(int slot, int index) 7528internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 7539protected BaseSymbolInitializerOperation(ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7546public IOperation Value { get; } 7550internal FieldInitializerOperation(ImmutableArray<IFieldSymbol> initializedFields, ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7558internal override IOperation GetCurrent(int slot, int index) 7601internal VariableInitializerOperation(ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7605internal override IOperation GetCurrent(int slot, int index) 7648internal PropertyInitializerOperation(ImmutableArray<IPropertySymbol> initializedProperties, ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7656internal override IOperation GetCurrent(int slot, int index) 7699internal ParameterInitializerOperation(IParameterSymbol parameter, ImmutableArray<ILocalSymbol> locals, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7707internal override IOperation GetCurrent(int slot, int index) 7750internal ArrayInitializerOperation(ImmutableArray<IOperation> elementValues, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7755public ImmutableArray<IOperation> ElementValues { get; } 7758internal override IOperation GetCurrent(int slot, int index) 7805internal VariableDeclaratorOperation(ILocalSymbol symbol, IVariableInitializerOperation? initializer, ImmutableArray<IOperation> ignoredArguments, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7814public ImmutableArray<IOperation> IgnoredArguments { get; } 7818internal override IOperation GetCurrent(int slot, int index) 7873internal VariableDeclarationOperation(ImmutableArray<IVariableDeclaratorOperation> declarators, IVariableInitializerOperation? initializer, ImmutableArray<IOperation> ignoredDimensions, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7882public ImmutableArray<IOperation> IgnoredDimensions { get; } 7887internal override IOperation GetCurrent(int slot, int index) 7954internal ArgumentOperation(ArgumentKind argumentKind, IParameterSymbol? parameter, IOperation value, IConvertibleConversion inConversion, IConvertibleConversion outConversion, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 7965public IOperation Value { get; } 7972internal override IOperation GetCurrent(int slot, int index) 8015internal CatchClauseOperation(IOperation? exceptionDeclarationOrExpression, ITypeSymbol exceptionType, ImmutableArray<ILocalSymbol> locals, IOperation? filter, IBlockOperation handler, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8024public IOperation? ExceptionDeclarationOrExpression { get; } 8027public IOperation? Filter { get; } 8033internal override IOperation GetCurrent(int slot, int index) 8092internal SwitchCaseOperation(ImmutableArray<ICaseClauseOperation> clauses, ImmutableArray<IOperation> body, ImmutableArray<ILocalSymbol> locals, IOperation? condition, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8101public ImmutableArray<IOperation> Body { get; } 8103public IOperation? Condition { get; } 8107internal override IOperation GetCurrent(int slot, int index) 8179internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8190internal PatternCaseClauseOperation(ILabelSymbol label, IPatternOperation pattern, IOperation? guard, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8198public IOperation? Guard { get; } 8202internal override IOperation GetCurrent(int slot, int index) 8253internal RangeCaseClauseOperation(IOperation minimumValue, IOperation maximumValue, ILabelSymbol? label, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8259public IOperation MinimumValue { get; } 8260public IOperation MaximumValue { get; } 8264internal override IOperation GetCurrent(int slot, int index) 8315internal RelationalCaseClauseOperation(IOperation value, BinaryOperatorKind relation, ILabelSymbol? label, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8321public IOperation Value { get; } 8325internal override IOperation GetCurrent(int slot, int index) 8368internal SingleValueCaseClauseOperation(IOperation value, ILabelSymbol? label, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8373public IOperation Value { get; } 8376internal override IOperation GetCurrent(int slot, int index) 8424internal InterpolatedStringTextOperation(IOperation text, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8429public IOperation Text { get; } 8432internal override IOperation GetCurrent(int slot, int index) 8475internal InterpolationOperation(IOperation expression, IOperation? alignment, IOperation? formatString, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8482public IOperation Expression { get; } 8483public IOperation? Alignment { get; } 8484public IOperation? FormatString { get; } 8489internal override IOperation GetCurrent(int slot, int index) 8559internal ConstantPatternOperation(IOperation value, ITypeSymbol inputType, ITypeSymbol narrowedType, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8564public IOperation Value { get; } 8567internal override IOperation GetCurrent(int slot, int index) 8621internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8632internal TupleBinaryOperation(BinaryOperatorKind operatorKind, IOperation leftOperand, IOperation rightOperand, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 8641public IOperation LeftOperand { get; } 8642public IOperation RightOperand { get; } 8646internal override IOperation GetCurrent(int slot, int index) 8713internal override IOperation GetCurrent(int slot, int index) 8764internal ConstructorBodyOperation(ImmutableArray<ILocalSymbol> locals, IOperation? initializer, IBlockOperation? blockBody, IBlockOperation? expressionBody, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8771public IOperation? Initializer { get; } 8776internal override IOperation GetCurrent(int slot, int index) 8843internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8854internal FlowCaptureOperation(CaptureId id, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8861public IOperation Value { get; } 8864internal override IOperation GetCurrent(int slot, int index) 8918internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 8929internal IsNullOperation(IOperation operand, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 8936public IOperation Operand { get; } 8939internal override IOperation GetCurrent(int slot, int index) 8988internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 9007internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 9018internal CoalesceAssignmentOperation(IOperation target, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 9026internal override IOperation GetCurrent(int slot, int index) 9077internal RangeOperation(IOperation? leftOperand, IOperation? rightOperand, bool isLifted, IMethodSymbol? method, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 9086public IOperation? LeftOperand { get; } 9087public IOperation? RightOperand { get; } 9093internal override IOperation GetCurrent(int slot, int index) 9154internal override IOperation GetCurrent(int slot, int index) 9201internal ReDimClauseOperation(IOperation operand, ImmutableArray<IOperation> dimensionSizes, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9207public IOperation Operand { get; } 9208public ImmutableArray<IOperation> DimensionSizes { get; } 9212internal override IOperation GetCurrent(int slot, int index) 9284internal override IOperation GetCurrent(int slot, int index) 9346internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 9357internal SwitchExpressionOperation(IOperation value, ImmutableArray<ISwitchExpressionArmOperation> arms, bool isExhaustive, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 9365public IOperation Value { get; } 9371internal override IOperation GetCurrent(int slot, int index) 9426internal SwitchExpressionArmOperation(IPatternOperation pattern, IOperation? guard, IOperation value, ImmutableArray<ILocalSymbol> locals, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9435public IOperation? Guard { get; } 9436public IOperation Value { get; } 9442internal override IOperation GetCurrent(int slot, int index) 9501internal PropertySubpatternOperation(IOperation member, IPatternOperation pattern, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9507public IOperation Member { get; } 9512internal override IOperation GetCurrent(int slot, int index) 9563internal AggregateQueryOperation(IOperation group, IOperation aggregation, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 9570public IOperation Group { get; } 9571public IOperation Aggregation { get; } 9575internal override IOperation GetCurrent(int slot, int index) 9626internal FixedOperation(ImmutableArray<ILocalSymbol> locals, IVariableDeclarationGroupOperation variables, IOperation body, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9635public IOperation Body { get; } 9639internal override IOperation GetCurrent(int slot, int index) 9699internal override IOperation GetCurrent(int slot, int index) 9750internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 9761internal WithStatementOperation(IOperation body, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 9767public IOperation Body { get; } 9768public IOperation Value { get; } 9772internal override IOperation GetCurrent(int slot, int index) 9835internal override IOperation GetCurrent(int slot, int index) 9886internal override IOperation GetCurrent(int slot, int index) 9942internal override IOperation GetCurrent(int slot, int index) 10000internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 10011internal RelationalPatternOperation(BinaryOperatorKind operatorKind, IOperation value, ITypeSymbol inputType, ITypeSymbol narrowedType, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 10018public IOperation Value { get; } 10021internal override IOperation GetCurrent(int slot, int index) 10064internal WithOperation(IOperation operand, IMethodSymbol? cloneMethod, IObjectOrCollectionInitializerOperation initializer, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10072public IOperation Operand { get; } 10078internal override IOperation GetCurrent(int slot, int index) 10129internal InterpolatedStringHandlerCreationOperation(IOperation handlerCreation, bool handlerCreationHasSuccessParameter, bool handlerAppendCallsReturnBool, IOperation content, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10138public IOperation HandlerCreation { get; } 10141public IOperation Content { get; } 10145internal override IOperation GetCurrent(int slot, int index) 10196internal InterpolatedStringAdditionOperation(IOperation left, IOperation right, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 10202public IOperation Left { get; } 10203public IOperation Right { get; } 10207internal override IOperation GetCurrent(int slot, int index) 10258internal InterpolatedStringAppendOperation(IOperation appendCall, OperationKind kind, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 10264public IOperation AppendCall { get; } 10267internal override IOperation GetCurrent(int slot, int index) 10319internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 10330internal FunctionPointerInvocationOperation(IOperation target, ImmutableArray<IArgumentOperation> arguments, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10337public IOperation Target { get; } 10342internal override IOperation GetCurrent(int slot, int index) 10411internal override IOperation GetCurrent(int slot, int index) 10468internal override IOperation GetCurrent(int slot, int index) 10511internal ImplicitIndexerReferenceOperation(IOperation instance, IOperation argument, ISymbol lengthSymbol, ISymbol indexerSymbol, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10520public IOperation Instance { get; } 10521public IOperation Argument { get; } 10527internal override IOperation GetCurrent(int slot, int index) 10586internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 10597internal AttributeOperation(IOperation operation, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 10602public IOperation Operation { get; } 10605internal override IOperation GetCurrent(int slot, int index) 10648internal InlineArrayAccessOperation(IOperation instance, IOperation argument, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10655public IOperation Instance { get; } 10656public IOperation Argument { get; } 10660internal override IOperation GetCurrent(int slot, int index) 10711internal CollectionExpressionOperation(IMethodSymbol? constructMethod, ImmutableArray<IOperation> constructArguments, ImmutableArray<IOperation> elements, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, bool isImplicit) 10720public ImmutableArray<IOperation> ConstructArguments { get; } 10721public ImmutableArray<IOperation> Elements { get; } 10725internal override IOperation GetCurrent(int slot, int index) 10784internal SpreadOperation(IOperation operand, ITypeSymbol? elementType, IConvertibleConversion elementConversion, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 10791public IOperation Operand { get; } 10797internal override IOperation GetCurrent(int slot, int index) 10846internal override IOperation GetCurrent(int slot, int index) => throw ExceptionUtilities.UnexpectedValue((slot, index)); 10857internal sealed partial class OperationCloner : OperationVisitor<object?, IOperation> 10861public static T CloneOperation<T>(T operation) where T : IOperation => s_instance.Visit(operation); 10864private T? Visit<T>(T? node) where T : IOperation? => (T?)Visit(node, argument: null); 10865public override IOperation DefaultVisit(IOperation operation, object? argument) => throw ExceptionUtilities.Unreachable(); 10866private ImmutableArray<T> VisitArray<T>(ImmutableArray<T> nodes) where T : IOperation => nodes.SelectAsArray((n, @this) => @this.Visit(n), this)!; 10867private ImmutableArray<(ISymbol, T)> VisitArray<T>(ImmutableArray<(ISymbol, T)> nodes) where T : IOperation => nodes.SelectAsArray((n, @this) => (n.Item1, @this.Visit(n.Item2)), this)!; 10868public override IOperation VisitBlock(IBlockOperation operation, object? argument) 10873public override IOperation VisitVariableDeclarationGroup(IVariableDeclarationGroupOperation operation, object? argument) 10878public override IOperation VisitSwitch(ISwitchOperation operation, object? argument) 10883public override IOperation VisitForEachLoop(IForEachLoopOperation operation, object? argument) 10888public override IOperation VisitForLoop(IForLoopOperation operation, object? argument) 10893public override IOperation VisitForToLoop(IForToLoopOperation operation, object? argument) 10898public override IOperation VisitWhileLoop(IWhileLoopOperation operation, object? argument) 10903public override IOperation VisitLabeled(ILabeledOperation operation, object? argument) 10908public override IOperation VisitBranch(IBranchOperation operation, object? argument) 10913public override IOperation VisitEmpty(IEmptyOperation operation, object? argument) 10918public override IOperation VisitReturn(IReturnOperation operation, object? argument) 10923public override IOperation VisitLock(ILockOperation operation, object? argument) 10928public override IOperation VisitTry(ITryOperation operation, object? argument) 10933public override IOperation VisitUsing(IUsingOperation operation, object? argument) 10938public override IOperation VisitExpressionStatement(IExpressionStatementOperation operation, object? argument) 10943public override IOperation VisitLocalFunction(ILocalFunctionOperation operation, object? argument) 10948public override IOperation VisitStop(IStopOperation operation, object? argument) 10953public override IOperation VisitEnd(IEndOperation operation, object? argument) 10958public override IOperation VisitRaiseEvent(IRaiseEventOperation operation, object? argument) 10963public override IOperation VisitLiteral(ILiteralOperation operation, object? argument) 10968public override IOperation VisitConversion(IConversionOperation operation, object? argument) 10973public override IOperation VisitInvocation(IInvocationOperation operation, object? argument) 10978public override IOperation VisitArrayElementReference(IArrayElementReferenceOperation operation, object? argument) 10983public override IOperation VisitLocalReference(ILocalReferenceOperation operation, object? argument) 10988public override IOperation VisitParameterReference(IParameterReferenceOperation operation, object? argument) 10993public override IOperation VisitFieldReference(IFieldReferenceOperation operation, object? argument) 10998public override IOperation VisitMethodReference(IMethodReferenceOperation operation, object? argument) 11003public override IOperation VisitPropertyReference(IPropertyReferenceOperation operation, object? argument) 11008public override IOperation VisitEventReference(IEventReferenceOperation operation, object? argument) 11013public override IOperation VisitUnaryOperator(IUnaryOperation operation, object? argument) 11018public override IOperation VisitBinaryOperator(IBinaryOperation operation, object? argument) 11023public override IOperation VisitConditional(IConditionalOperation operation, object? argument) 11028public override IOperation VisitCoalesce(ICoalesceOperation operation, object? argument) 11033public override IOperation VisitAnonymousFunction(IAnonymousFunctionOperation operation, object? argument) 11038public override IOperation VisitObjectCreation(IObjectCreationOperation operation, object? argument) 11043public override IOperation VisitTypeParameterObjectCreation(ITypeParameterObjectCreationOperation operation, object? argument) 11048public override IOperation VisitArrayCreation(IArrayCreationOperation operation, object? argument) 11053public override IOperation VisitInstanceReference(IInstanceReferenceOperation operation, object? argument) 11058public override IOperation VisitIsType(IIsTypeOperation operation, object? argument) 11063public override IOperation VisitAwait(IAwaitOperation operation, object? argument) 11068public override IOperation VisitSimpleAssignment(ISimpleAssignmentOperation operation, object? argument) 11073public override IOperation VisitCompoundAssignment(ICompoundAssignmentOperation operation, object? argument) 11078public override IOperation VisitParenthesized(IParenthesizedOperation operation, object? argument) 11083public override IOperation VisitEventAssignment(IEventAssignmentOperation operation, object? argument) 11088public override IOperation VisitConditionalAccess(IConditionalAccessOperation operation, object? argument) 11093public override IOperation VisitConditionalAccessInstance(IConditionalAccessInstanceOperation operation, object? argument) 11098public override IOperation VisitInterpolatedString(IInterpolatedStringOperation operation, object? argument) 11103public override IOperation VisitAnonymousObjectCreation(IAnonymousObjectCreationOperation operation, object? argument) 11108public override IOperation VisitObjectOrCollectionInitializer(IObjectOrCollectionInitializerOperation operation, object? argument) 11113public override IOperation VisitMemberInitializer(IMemberInitializerOperation operation, object? argument) 11118public override IOperation VisitNameOf(INameOfOperation operation, object? argument) 11123public override IOperation VisitTuple(ITupleOperation operation, object? argument) 11128public override IOperation VisitDynamicMemberReference(IDynamicMemberReferenceOperation operation, object? argument) 11133public override IOperation VisitTranslatedQuery(ITranslatedQueryOperation operation, object? argument) 11138public override IOperation VisitDelegateCreation(IDelegateCreationOperation operation, object? argument) 11143public override IOperation VisitDefaultValue(IDefaultValueOperation operation, object? argument) 11148public override IOperation VisitTypeOf(ITypeOfOperation operation, object? argument) 11153public override IOperation VisitSizeOf(ISizeOfOperation operation, object? argument) 11158public override IOperation VisitAddressOf(IAddressOfOperation operation, object? argument) 11163public override IOperation VisitIsPattern(IIsPatternOperation operation, object? argument) 11168public override IOperation VisitIncrementOrDecrement(IIncrementOrDecrementOperation operation, object? argument) 11173public override IOperation VisitThrow(IThrowOperation operation, object? argument) 11178public override IOperation VisitDeconstructionAssignment(IDeconstructionAssignmentOperation operation, object? argument) 11183public override IOperation VisitDeclarationExpression(IDeclarationExpressionOperation operation, object? argument) 11188public override IOperation VisitOmittedArgument(IOmittedArgumentOperation operation, object? argument) 11193public override IOperation VisitFieldInitializer(IFieldInitializerOperation operation, object? argument) 11198public override IOperation VisitVariableInitializer(IVariableInitializerOperation operation, object? argument) 11203public override IOperation VisitPropertyInitializer(IPropertyInitializerOperation operation, object? argument) 11208public override IOperation VisitParameterInitializer(IParameterInitializerOperation operation, object? argument) 11213public override IOperation VisitArrayInitializer(IArrayInitializerOperation operation, object? argument) 11218public override IOperation VisitVariableDeclarator(IVariableDeclaratorOperation operation, object? argument) 11223public override IOperation VisitVariableDeclaration(IVariableDeclarationOperation operation, object? argument) 11228public override IOperation VisitArgument(IArgumentOperation operation, object? argument) 11233public override IOperation VisitCatchClause(ICatchClauseOperation operation, object? argument) 11238public override IOperation VisitSwitchCase(ISwitchCaseOperation operation, object? argument) 11243public override IOperation VisitDefaultCaseClause(IDefaultCaseClauseOperation operation, object? argument) 11248public override IOperation VisitPatternCaseClause(IPatternCaseClauseOperation operation, object? argument) 11253public override IOperation VisitRangeCaseClause(IRangeCaseClauseOperation operation, object? argument) 11258public override IOperation VisitRelationalCaseClause(IRelationalCaseClauseOperation operation, object? argument) 11263public override IOperation VisitSingleValueCaseClause(ISingleValueCaseClauseOperation operation, object? argument) 11268public override IOperation VisitInterpolatedStringText(IInterpolatedStringTextOperation operation, object? argument) 11273public override IOperation VisitInterpolation(IInterpolationOperation operation, object? argument) 11278public override IOperation VisitConstantPattern(IConstantPatternOperation operation, object? argument) 11283public override IOperation VisitDeclarationPattern(IDeclarationPatternOperation operation, object? argument) 11288public override IOperation VisitTupleBinaryOperator(ITupleBinaryOperation operation, object? argument) 11293public override IOperation VisitMethodBodyOperation(IMethodBodyOperation operation, object? argument) 11298public override IOperation VisitConstructorBodyOperation(IConstructorBodyOperation operation, object? argument) 11303public override IOperation VisitDiscardOperation(IDiscardOperation operation, object? argument) 11308public override IOperation VisitFlowCaptureReference(IFlowCaptureReferenceOperation operation, object? argument) 11313public override IOperation VisitCoalesceAssignment(ICoalesceAssignmentOperation operation, object? argument) 11318public override IOperation VisitRangeOperation(IRangeOperation operation, object? argument) 11323public override IOperation VisitReDim(IReDimOperation operation, object? argument) 11328public override IOperation VisitReDimClause(IReDimClauseOperation operation, object? argument) 11333public override IOperation VisitRecursivePattern(IRecursivePatternOperation operation, object? argument) 11338public override IOperation VisitDiscardPattern(IDiscardPatternOperation operation, object? argument) 11343public override IOperation VisitSwitchExpression(ISwitchExpressionOperation operation, object? argument) 11348public override IOperation VisitSwitchExpressionArm(ISwitchExpressionArmOperation operation, object? argument) 11353public override IOperation VisitPropertySubpattern(IPropertySubpatternOperation operation, object? argument) 11358internal override IOperation VisitAggregateQuery(IAggregateQueryOperation operation, object? argument) 11363internal override IOperation VisitFixed(IFixedOperation operation, object? argument) 11368internal override IOperation VisitNoPiaObjectCreation(INoPiaObjectCreationOperation operation, object? argument) 11373internal override IOperation VisitPlaceholder(IPlaceholderOperation operation, object? argument) 11378internal override IOperation VisitWithStatement(IWithStatementOperation operation, object? argument) 11383public override IOperation VisitUsingDeclaration(IUsingDeclarationOperation operation, object? argument) 11388public override IOperation VisitNegatedPattern(INegatedPatternOperation operation, object? argument) 11393public override IOperation VisitBinaryPattern(IBinaryPatternOperation operation, object? argument) 11398public override IOperation VisitTypePattern(ITypePatternOperation operation, object? argument) 11403public override IOperation VisitRelationalPattern(IRelationalPatternOperation operation, object? argument) 11408public override IOperation VisitWith(IWithOperation operation, object? argument) 11413public override IOperation VisitInterpolatedStringHandlerCreation(IInterpolatedStringHandlerCreationOperation operation, object? argument) 11418public override IOperation VisitInterpolatedStringAddition(IInterpolatedStringAdditionOperation operation, object? argument) 11423public override IOperation VisitInterpolatedStringAppend(IInterpolatedStringAppendOperation operation, object? argument) 11428public override IOperation VisitInterpolatedStringHandlerArgumentPlaceholder(IInterpolatedStringHandlerArgumentPlaceholderOperation operation, object? argument) 11433public override IOperation VisitFunctionPointerInvocation(IFunctionPointerInvocationOperation operation, object? argument) 11438public override IOperation VisitListPattern(IListPatternOperation operation, object? argument) 11443public override IOperation VisitSlicePattern(ISlicePatternOperation operation, object? argument) 11448public override IOperation VisitImplicitIndexerReference(IImplicitIndexerReferenceOperation operation, object? argument) 11453public override IOperation VisitUtf8String(IUtf8StringOperation operation, object? argument) 11458public override IOperation VisitAttribute(IAttributeOperation operation, object? argument) 11463public override IOperation VisitInlineArrayAccess(IInlineArrayAccessOperation operation, object? argument) 11468public override IOperation VisitCollectionExpression(ICollectionExpressionOperation operation, object? argument) 11473public override IOperation VisitSpread(ISpreadOperation operation, object? argument) 11478public override IOperation VisitCollectionExpressionElementsPlaceholder(ICollectionExpressionElementsPlaceholderOperation operation, object? argument) 11489public virtual void Visit(IOperation? operation) => operation?.Accept(this); 11490public virtual void DefaultVisit(IOperation operation) { /* no-op */ } 11491internal virtual void VisitNoneOperation(IOperation operation) { /* no-op */ } 11630public virtual TResult? Visit(IOperation? operation, TArgument argument) => operation is null ? default(TResult) : operation.Accept(this, argument); 11631public virtual TResult? DefaultVisit(IOperation operation, TArgument argument) => default(TResult); 11632internal 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) 844IOperation? value = block.BranchValue; 1241private void VisitStatement(IOperation? operation) 1252IOperation? saveCurrentStatement = _currentStatement; 1279IOperation? statement 1361foreach ((EvalStackFrame? frameOpt, IOperation? operationOpt) in _evalStack) 1392public override IOperation? VisitBlock(IBlockOperation operation, int? captureIdForResult) 1402private void StartVisitingStatement(IOperation operation) 1410private IOperation? FinishVisitingStatement(IOperation originalOperation, IOperation? result = null) 1421return result ?? MakeInvalidOperation(originalOperation.Syntax, originalOperation.Type, ImmutableArray<IOperation>.Empty); 1424private void VisitStatements(ImmutableArray<IOperation> statements) 1447private bool VisitStatementsOneOrAll(IOperation? operation, ImmutableArray<IOperation> statements, int startIndex) 1463var savedCurrentStatement = _currentStatement; 1476internal override IOperation? VisitWithStatement(IWithStatementOperation operation, int? captureIdForResult) 1489public override IOperation? VisitConstructorBodyOperation(IConstructorBodyOperation operation, int? captureIdForResult) 1506public override IOperation? VisitMethodBodyOperation(IMethodBodyOperation operation, int? captureIdForResult) 1544public override IOperation? VisitConditional(IConditionalOperation operation, int? captureIdForResult) 1624IOperation result; 1630IOperation? rewrittenThrow = BaseVisitRequired(whenTrueConversion.Operand, null); 1648IOperation rewrittenThrow = BaseVisitRequired(whenFalseConversion.Operand, null); 1676private void VisitAndCapture(IOperation operation, int captureId) 1679IOperation result = BaseVisitRequired(operation, captureId); 1685private IOperation VisitAndCapture(IOperation operation) 1693private void CaptureResultIfNotAlready(SyntaxNode syntax, int captureId, IOperation result) 1749(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack.Pop(); 1843(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack[i]; 1882IOperation? operation = _evalStack[j].operationOpt; 1946(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack[i]; 1960private void PushOperand(IOperation operation) 1970private IOperation PopOperand() 1980(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack.Pop(); 1987private IOperation PeekOperand() 1991(EvalStackFrame? frameOpt, IOperation? operationOpt) = _evalStack.Peek(); 1998private void VisitAndPushArray<T>(ImmutableArray<T> array, Func<T, IOperation>? unwrapper = null) where T : IOperation 2000Debug.Assert(unwrapper != null || typeof(T) == typeof(IOperation)); 2007private ImmutableArray<T> PopArray<T>(ImmutableArray<T> originalArray, Func<IOperation, int, ImmutableArray<T>, T>? wrapper = null) where T : IOperation 2009Debug.Assert(wrapper != null || typeof(T) == typeof(IOperation)); 2021IOperation visitedElement = PopOperand(); 2029private ImmutableArray<T> VisitArray<T>(ImmutableArray<T> originalArray, Func<T, IOperation>? unwrapper = null, Func<IOperation, int, ImmutableArray<T>, T>? wrapper = null) where T : IOperation 2088var argument = arguments[i].Value switch 2100private IArgumentOperation RewriteArgumentFromArray(IOperation visitedArgument, int index, ImmutableArray<IArgumentOperation> args) 2109public override IOperation VisitSimpleAssignment(ISimpleAssignmentOperation operation, int? captureIdForResult) 2113IOperation value = VisitRequired(operation.Value); 2117public override IOperation VisitCompoundAssignment(ICompoundAssignmentOperation operation, int? captureIdForResult) 2122IOperation value = VisitRequired(compoundAssignment.Value); 2129public override IOperation VisitArrayElementReference(IArrayElementReferenceOperation operation, int? captureIdForResult) 2133ImmutableArray<IOperation> visitedIndices = VisitArray(operation.Indices); 2134IOperation visitedArrayReference = PopOperand(); 2140public override IOperation VisitImplicitIndexerReference(IImplicitIndexerReferenceOperation operation, int? captureIdForResult) 2144IOperation argument = VisitRequired(operation.Argument); 2145IOperation instance = PopOperand(); 2151public override IOperation? VisitInlineArrayAccess(IInlineArrayAccessOperation operation, int? captureIdForResult) 2155IOperation argument = VisitRequired(operation.Argument); 2156IOperation instance = PopOperand(); 2174public override IOperation VisitBinaryOperator(IBinaryOperation operation, int? captureIdForResult) 2215IOperation leftOperand; 2238IOperation rightOperand = VisitRequired(operation.RightOperand); 2252public override IOperation VisitTupleBinaryOperator(ITupleBinaryOperation operation, int? captureIdForResult) 2254(IOperation visitedLeft, IOperation visitedRight) = VisitPreservingTupleOperations(operation.LeftOperand, operation.RightOperand); 2259public override IOperation VisitUnaryOperator(IUnaryOperation operation, int? captureIdForResult) 2295private IOperation VisitBinaryConditionalOperator(IBinaryOperation binOp, bool sense, int? captureIdForResult, 2311private IOperation VisitNullableBinaryConditionalOperator(IBinaryOperation binOp, int? captureIdForResult) 2315IOperation left = binOp.LeftOperand; 2316IOperation right = binOp.RightOperand; 2317IOperation condition; 2363IOperation capturedLeft = VisitAndCapture(left); 2381IOperation capturedRight = VisitAndCapture(right); 2408IOperation negateNullable(IOperation operand) 2417private IOperation VisitObjectBinaryConditionalOperator(IBinaryOperation binOp) 2422IOperation left = binOp.LeftOperand; 2423IOperation right = binOp.RightOperand; 2424IOperation condition; 2466private IOperation CreateConversion(IOperation operand, ITypeSymbol type) 2472private IOperation VisitDynamicBinaryConditionalOperator(IBinaryOperation binOp, int? captureIdForResult) 2480IOperation left = binOp.LeftOperand; 2481IOperation right = binOp.RightOperand; 2485IOperation condition; 2494IOperation capturedLeft = VisitAndCapture(left); 2533IOperation resultFromLeft = OperationCloner.CloneOperation(capturedLeft); 2547IOperation visitedRight = VisitRequired(right); 2572private IOperation VisitUserDefinedBinaryConditionalOperator(IBinaryOperation binOp, int? captureIdForResult) 2582IOperation left = binOp.LeftOperand; 2583IOperation right = binOp.RightOperand; 2586IOperation condition; 2591IOperation capturedLeft = VisitAndCapture(left); 2636IOperation visitedRight = VisitRequired(right); 2661private IOperation VisitShortCircuitingOperator(IBinaryOperation condition, bool sense, bool stopSense, bool stopValue, 2689IOperation resultFromRight = VisitConditionalExpression(condition.RightOperand, sense, captureId, fallToTrueOpt, fallToFalseOpt); 2712private IOperation VisitConditionalExpression(IOperation condition, bool sense, int? captureIdForResult, BasicBlockBuilder? fallToTrueOpt, BasicBlockBuilder? fallToFalseOpt) 2768private void VisitConditionalBranch(IOperation condition, [NotNull] ref BasicBlockBuilder? dest, bool jumpIfTrue) 2783private void VisitConditionalBranchCore(IOperation condition, [NotNull] ref BasicBlockBuilder? dest, bool jumpIfTrue) 2790void visitConditionalBranchCore(IOperation condition, [NotNull] ref BasicBlockBuilder? dest, bool jumpIfTrue) 2804var stack = ArrayBuilder<(IOperation? condition, BasicBlockBuilder dest, bool jumpIfTrue)>.GetInstance(); 2809(IOperation? condition, BasicBlockBuilder dest, bool jumpIfTrue) top = stack.Pop(); 2911IOperation convertedTestExpression = NullCheckAndConvertCoalesceValue(coalesce, whenNull); 2937IOperation? rewrittenThrow = BaseVisitRequired(conversion.Operand, null); 2960static IOperation skipParenthesized(IOperation condition) 2972private void ConditionalBranch(IOperation condition, bool jumpIfTrue, BasicBlockBuilder destination) 2991private IOperation NullCheckAndConvertCoalesceValue(ICoalesceOperation operation, BasicBlockBuilder whenNull) 2996IOperation operationValue = operation.Value; 3002IOperation testExpression = PopOperand(); 3010IOperation capturedValue = OperationCloner.CloneOperation(testExpression); 3011IOperation? convertedTestExpression = null; 3015IOperation? possiblyUnwrappedValue; 3050public override IOperation VisitCoalesce(ICoalesceOperation operation, int? captureIdForResult) 3062IOperation convertedTestExpression = NullCheckAndConvertCoalesceValue(operation, whenNull); 3064IOperation result; 3079IOperation? rewrittenThrow = BaseVisitRequired(conversion.Operand, null); 3107public override IOperation? VisitCoalesceAssignment(ICoalesceAssignmentOperation operation, int? captureIdForResult) 3123IOperation locationCapture = PopOperand(); 3132IOperation valueCapture = GetCaptureReference(valueCaptureId, locationCapture); 3224IOperation whenNullValue = VisitRequired(operation.Value); 3276IOperation whenNullValue = VisitRequired(operation.Value); 3277IOperation whenNullAssignment = new SimpleAssignmentOperation(isRef: false, OperationCloner.CloneOperation(locationCapture), whenNullValue, semanticModel: null, 3298private static IOperation MakeInvalidOperation(ITypeSymbol? type, IOperation child) 3300return new InvalidOperation(ImmutableArray.Create<IOperation>(child), 3305private static IOperation MakeInvalidOperation(SyntaxNode syntax, ITypeSymbol? type, IOperation child1, IOperation child2) 3307return MakeInvalidOperation(syntax, type, ImmutableArray.Create<IOperation>(child1, child2)); 3310private static IOperation MakeInvalidOperation(SyntaxNode syntax, ITypeSymbol? type, ImmutableArray<IOperation> children) 3317private IsNullOperation MakeIsNullOperation(IOperation operand) 3322private static IsNullOperation MakeIsNullOperation(IOperation operand, ITypeSymbol booleanType) 3333private IOperation? TryCallNullableMember(IOperation value, SpecialMember nullableMember) 3363private IOperation CallNullableMember(IOperation value, SpecialMember nullableMember) 3370public override IOperation? VisitConditionalAccess(IConditionalAccessOperation operation, int? captureIdForResult) 3379var operations = ArrayBuilder<IOperation>.GetInstance(); 3387IOperation testExpression; 3420IOperation result = VisitRequired(currentConditionalAccess.WhenNotNull); 3442IOperation access = VisitRequired(currentConditionalAccess.WhenNotNull); 3486static bool isConditionalAccessInstancePresentInChildren(IOperation operation) 3517foreach (var child in operation.ChildOperations) 3529public override IOperation VisitConditionalAccessInstance(IConditionalAccessInstanceOperation operation, int? captureIdForResult) 3533IOperation testExpression = _currentConditionalAccessTracker.Operations.Pop(); 3537private IOperation VisitConditionalAccessTestExpression(IOperation testExpression) 3546IOperation spilledTestExpression = PopOperand(); 3554IOperation receiver = OperationCloner.CloneOperation(spilledTestExpression); 3564public override IOperation? VisitExpressionStatement(IExpressionStatementOperation operation, int? captureIdForResult) 3568IOperation? underlying = Visit(operation.Operation); 3583public override IOperation? VisitWhileLoop(IWhileLoopOperation operation, int? captureIdForResult) 3656public override IOperation? VisitTry(ITryOperation operation, int? captureIdForResult) 3700IOperation? exceptionDeclarationOrExpression = catchClause.ExceptionDeclarationOrExpression; 3701IOperation? filter = catchClause.Filter; 3795private void AddExceptionStore(ITypeSymbol exceptionType, IOperation? exceptionDeclarationOrExpression) 3799IOperation exceptionTarget; 3832public override IOperation VisitCatchClause(ICatchClauseOperation operation, int? captureIdForResult) 3837public override IOperation? VisitReturn(IReturnOperation operation, int? captureIdForResult) 3840IOperation? returnedValue = Visit(operation.ReturnedValue); 3865public override IOperation? VisitLabeled(ILabeledOperation operation, int? captureIdForResult) 3909public override IOperation? VisitBranch(IBranchOperation operation, int? captureIdForResult) 3916public override IOperation? VisitEmpty(IEmptyOperation operation, int? captureIdForResult) 3922public override IOperation? VisitThrow(IThrowOperation operation, int? captureIdForResult) 3942return new NoneOperation(children: ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, constantValue: null, isImplicit: true, type: null); 3946private void LinkThrowStatement(IOperation? exception) 3957public override IOperation? VisitUsing(IUsingOperation operation, int? captureIdForResult) 3965private void HandleUsingOperationParts(IOperation resources, IOperation body, IMethodSymbol? disposeMethod, ImmutableArray<IArgumentOperation> disposeArguments, ImmutableArray<ILocalSymbol> locals, bool isAsynchronous, 3966Func<IOperation, IOperation>? visitResource = null) 4000IOperation resource = visitResource != null ? visitResource(resources) : VisitRequired(resources); 4036bool shouldConvertToIDisposableBeforeTry(IOperation resource) 4041void processResource(IOperation resource, ArrayBuilder<(IVariableDeclarationOperation, IVariableDeclaratorOperation)>? resourceQueueOpt) 4123private void AddDisposingFinally(IOperation resource, bool requiresRuntimeConversion, ITypeSymbol iDisposable, IMethodSymbol? disposeMethod, ImmutableArray<IArgumentOperation> disposeArguments, bool isAsynchronous) 4147IOperation condition = MakeIsNullOperation(OperationCloner.CloneOperation(resource)); 4177IOperation? tryDispose(IOperation value) 4221private IOperation ConvertToIDisposable(IOperation operand, ITypeSymbol iDisposable, bool isTryCast = false) 4229public override IOperation? VisitLock(ILockOperation operation, int? captureIdForResult) 4247var lockObject = VisitRequired(resource); 4267IOperation? underlying = Visit(operation.LockedValue); 4326IOperation lockedValue = VisitRequired(operation.LockedValue); 4373IOperation? lockTaken = null; 4420IOperation condition = new LocalReferenceOperation(lockStatement.LockTakenSymbol, isDeclaration: false, semanticModel: null, lockedValue.Syntax, 4464public override IOperation? VisitForEachLoop(IForEachLoopOperation operation, int? captureIdForResult) 4489foreach (IOperation op in operation.Collection.DescendantsAndSelf()) 4500IOperation enumerator = getEnumerator(); 4570IOperation applyConversion(IConvertibleConversion? conversionOpt, IOperation operand, ITypeSymbol? targetType) 4581IOperation getEnumerator() 4583IOperation result; 4588IOperation? collection = info.GetEnumeratorMethod.IsStatic ? null : Visit(operation.Collection); 4604IOperation invocation = makeInvocation(operation.Collection.Syntax, 4618result = new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Collection.Syntax, 4626IOperation getCondition(IOperation enumeratorRef) 4644IOperation getCurrent(IOperation enumeratorRef) 4648var instance = info.CurrentProperty.IsStatic ? null : enumeratorRef; 4665IOperation getLoopControlVariableAssignment(IOperation current) 4706InvocationOperation makeInvocationDroppingInstanceForStaticMethods(IMethodSymbol method, IOperation instance, ImmutableArray<IArgumentOperation> arguments) 4711InvocationOperation makeInvocation(SyntaxNode syntax, IMethodSymbol method, IOperation? instanceOpt, ImmutableArray<IArgumentOperation> arguments) 4721ImmutableArray<IArgumentOperation> makeArguments(ImmutableArray<IArgumentOperation> arguments, ref IOperation? instance) 4740public override IOperation? VisitForToLoop(IForToLoopOperation operation, int? captureIdForResult) 4789IOperation tryCallObjectForLoopControlHelper(SyntaxNode syntax, WellKnownMember helper) 4804var builder = ArrayBuilder<IOperation>.GetInstance(--parametersCount, fillWithValue: null!); 4833IOperation value = PopOperand(); 4884IOperation condition = tryCallObjectForLoopControlHelper(operation.LoopControlVariable.Syntax, 4901IOperation stepValue = GetCaptureReference(stepValueId, operation.StepValue); 4912IOperation subtraction = VisitRequired(userDefinedInfo.Subtraction); 4929IOperation? stepValueIsNull = null; 4947IOperation isUp; 4967IOperation literal = new LiteralOperation(semanticModel: null, stepValue.Syntax, stepValue.Type, 4999IOperation initialValue = PopOperand(); 5039IOperation condition = tryCallObjectForLoopControlHelper(operation.LimitValue.Syntax, 5058IOperation controlVariableReferenceForCondition = PopOperand(); 5090IOperation limitReference = GetCaptureReference(limitValueId, operation.LimitValue); 5121IOperation condition; 5158IOperation? eitherLimitOrControlVariableIsNull = null; 5197IOperation controlVariableReferenceforCondition = PopOperand(); 5250IOperation negateIfStepNegative(IOperation operand) 5301IOperation controlVariableReferenceForAssignment = visitLoopControlVariableReference(forceImplicit: true); // Yes we are going to evaluate it again 5310IOperation increment = VisitRequired(userDefinedInfo.Addition); 5330IOperation controlVariableReferenceForAssignment; 5344IOperation condition = new BinaryOperation(BinaryOperatorKind.Or, 5386IOperation controlVariableReferenceForIncrement = visitLoopControlVariableReference(forceImplicit: true); // Yes we are going to evaluate it again 5387IOperation stepValueForIncrement = GetCaptureReference(stepValueId, operation.StepValue); 5396IOperation increment = new BinaryOperation(BinaryOperatorKind.Add, 5434IOperation visitLoopControlVariableReference(bool forceImplicit) 5448IOperation result = VisitRequired(operation.LoopControlVariable); 5455private static FlowCaptureReferenceOperation GetCaptureReference(int id, IOperation underlying) 5460internal override IOperation VisitAggregateQuery(IAggregateQueryOperation operation, int? captureIdForResult) 5464IOperation? previousAggregationGroup = _currentAggregationGroup; 5467IOperation result = VisitRequired(operation.Aggregation); 5473public override IOperation? VisitSwitch(ISwitchOperation operation, int? captureIdForResult) 5478IOperation switchValue = VisitAndCapture(operation.Value); 5520IOperation? condition = ((SwitchCaseOperation)section).Condition; 5552IOperation condition; 5562void handleEqualityCheck(IOperation compareWith) 5570IOperation rightOperand = VisitRequired(compareWith); 5571IOperation leftOperand = PopOperand(); 5673private IOperation MakeNullable(IOperation operand, ITypeSymbol type) 5681public override IOperation VisitSwitchCase(ISwitchCaseOperation operation, int? captureIdForResult) 5686public override IOperation VisitSingleValueCaseClause(ISingleValueCaseClauseOperation operation, int? captureIdForResult) 5691public override IOperation VisitDefaultCaseClause(IDefaultCaseClauseOperation operation, int? captureIdForResult) 5696public override IOperation VisitRelationalCaseClause(IRelationalCaseClauseOperation operation, int? captureIdForResult) 5701public override IOperation VisitRangeCaseClause(IRangeCaseClauseOperation operation, int? captureIdForResult) 5706public override IOperation VisitPatternCaseClause(IPatternCaseClauseOperation operation, int? captureIdForResult) 5711public override IOperation? VisitEnd(IEndOperation operation, int? captureIdForResult) 5724public override IOperation? VisitForLoop(IForLoopOperation operation, int? captureIdForResult) 5748ImmutableArray<IOperation> initialization = operation.Before; 5787internal override IOperation? VisitFixed(IFixedOperation operation, int? captureIdForResult) 5800public override IOperation? VisitVariableDeclarationGroup(IVariableDeclarationGroupOperation operation, int? captureIdForResult) 5853IOperation? initializer = null; 5863IOperation operationInitializer = VisitRequired(declaration.Initializer.Value); 5900public override IOperation VisitVariableDeclaration(IVariableDeclarationOperation operation, int? captureIdForResult) 5906public override IOperation VisitVariableDeclarator(IVariableDeclaratorOperation operation, int? captureIdForResult) 5912public override IOperation VisitVariableInitializer(IVariableInitializerOperation operation, int? captureIdForResult) 5918public override IOperation VisitFlowCapture(IFlowCaptureOperation operation, int? captureIdForResult) 5923public override IOperation VisitFlowCaptureReference(IFlowCaptureReferenceOperation operation, int? captureIdForResult) 5928public override IOperation VisitIsNull(IIsNullOperation operation, int? captureIdForResult) 5933public override IOperation VisitCaughtException(ICaughtExceptionOperation operation, int? captureIdForResult) 5938public override IOperation VisitInvocation(IInvocationOperation operation, int? captureIdForResult) 5941IOperation? instance = operation.TargetMethod.IsStatic ? null : operation.Instance; 5942(IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) = VisitInstanceWithArguments(instance, operation.Arguments); 5948public override IOperation? VisitFunctionPointerInvocation(IFunctionPointerInvocationOperation operation, int? argument) 5951var target = operation.Target; 5957(IOperation visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) handlePointerAndArguments( 5958IOperation targetPointer, ImmutableArray<IArgumentOperation> arguments) 5963IOperation visitedInstance = PopOperand(); 5969private (IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) VisitInstanceWithArguments(IOperation? instance, ImmutableArray<IArgumentOperation> arguments) 5978IOperation? visitedInstance = hasInstance ? PopOperand() : null; 5983internal override IOperation VisitNoPiaObjectCreation(INoPiaObjectCreationOperation operation, int? argument) 5987IOperation initializedInstance = new NoPiaObjectCreationOperation(initializer: null, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 5991public override IOperation VisitObjectCreation(IObjectCreationOperation operation, int? captureIdForResult) 5998IOperation initializedInstance = new ObjectCreationOperation(operation.Constructor, initializer: null, visitedArgs, semanticModel: null, 6004public override IOperation VisitTypeParameterObjectCreation(ITypeParameterObjectCreationOperation operation, int? captureIdForResult) 6011public override IOperation VisitDynamicObjectCreation(IDynamicObjectCreationOperation operation, int? captureIdForResult) 6015ImmutableArray<IOperation> visitedArguments = VisitArray(operation.Arguments); 6019IOperation initializedInstance = new DynamicObjectCreationOperation(initializer: null, visitedArguments, hasDynamicArguments.ArgumentNames, 6026private IOperation HandleObjectOrCollectionInitializer(IObjectOrCollectionInitializerOperation? initializer, IOperation objectCreation) 6043void visitInitializer(IObjectOrCollectionInitializerOperation initializerOperation, IOperation initializedInstance) 6048foreach (IOperation innerInitializer in initializerOperation.Initializers) 6056void handleInitializer(IOperation innerInitializer) 6091IOperation result; 6104IOperation right = VisitRequired(assignmentOperation.Value); 6105IOperation left = popTarget(assignmentOperation.Target); 6164IOperation instance = pushSuccess ? popTarget(memberInitializer.InitializedMember) : VisitRequired(memberInitializer.InitializedMember); 6169bool tryPushTarget(IOperation instance) 6236IOperation popTarget(IOperation originalTarget) 6238IOperation? instance; 6260ImmutableArray<IOperation> indices = PopArray(arrayElementReference.Indices); 6266IOperation index = PopOperand(); 6273ImmutableArray<IOperation> arguments = PopArray(dynamicAccess.Arguments); 6310var lhs = memberInitializer.InitializedMember; 6320foreach (var element in array.Initializer.ElementValues) 6337foreach (var index in arrayAccess.Indices) 6344foreach (var argument in dynamicIndexerAccess.Arguments) 6361foreach (var initializer in memberInitializer.Initializer.Initializers) 6368public override IOperation VisitObjectOrCollectionInitializer(IObjectOrCollectionInitializerOperation operation, int? captureIdForResult) 6371return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6374public override IOperation VisitMemberInitializer(IMemberInitializerOperation operation, int? captureIdForResult) 6377return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6380public override IOperation VisitAnonymousObjectCreation(IAnonymousObjectCreationOperation operation, int? captureIdForResult) 6384return new AnonymousObjectCreationOperation(initializers: ImmutableArray<IOperation>.Empty, semanticModel: null, 6397var initializerBuilder = ArrayBuilder<IOperation>.GetInstance(operation.Initializers.Length); 6411IOperation visitedTarget = new PropertyReferenceOperation(propertyReference.Property, propertyReference.ConstrainedToType, ImmutableArray<IArgumentOperation>.Empty, visitedPropertyInstance, 6413IOperation visitedValue = visitAndCaptureInitializer(propertyReference.Property, simpleAssignment.Value); 6431IOperation visitAndCaptureInitializer(IPropertySymbol initializedProperty, IOperation initializer) 6435IOperation captured = PeekOperand(); // Keep it on the stack so that we know it is still used. 6447public override IOperation? VisitLocalFunction(ILocalFunctionOperation operation, int? captureIdForResult) 6463private IOperation? VisitLocalFunctionAsRoot(ILocalFunctionOperation operation) 6470public override IOperation VisitAnonymousFunction(IAnonymousFunctionOperation operation, int? captureIdForResult) 6476public override IOperation VisitFlowAnonymousFunction(IFlowAnonymousFunctionOperation operation, int? captureIdForResult) 6481public override IOperation VisitArrayCreation(IArrayCreationOperation operation, int? captureIdForResult) 6500ImmutableArray<IOperation> visitedDimensions = PopArray(operation.DimensionSizes); 6506public override IOperation VisitArrayInitializer(IArrayInitializerOperation operation, int? captureIdForResult) 6514foreach (IOperation elementValue in initializer.ElementValues) 6530var builder = ArrayBuilder<IOperation>.GetInstance(initializer.ElementValues.Length); 6533IOperation elementValue = initializer.ElementValues[i]; 6535IOperation visitedElementValue; 6553public override IOperation? VisitCollectionExpression(ICollectionExpressionOperation operation, int? argument) 6575unwrapper: static (IOperation element) => 6581wrapper: (IOperation operation, int index, ImmutableArray<IOperation> elements) => 6596: ImmutableArray<IOperation>.CastUp(PopArray(arguments, RewriteArgumentFromArray)); 6608public override IOperation? VisitSpread(ISpreadOperation operation, int? argument) 6613public override IOperation VisitInstanceReference(IInstanceReferenceOperation operation, int? captureIdForResult) 6629return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6641public override IOperation VisitDynamicInvocation(IDynamicInvocationOperation operation, int? captureIdForResult) 6647var instance = ((IDynamicMemberReferenceOperation)operation.Operation).Instance; 6658ImmutableArray<IOperation> rewrittenArguments = VisitArray(operation.Arguments); 6660IOperation rewrittenOperation; 6664IOperation? rewrittenInstance = dynamicMemberReference.Instance != null ? PopOperand() : null; 6678public override IOperation VisitDynamicIndexerAccess(IDynamicIndexerAccessOperation operation, int? captureIdForResult) 6682ImmutableArray<IOperation> rewrittenArguments = VisitArray(operation.Arguments); 6683IOperation rewrittenOperation = PopOperand(); 6689public override IOperation VisitDynamicMemberReference(IDynamicMemberReferenceOperation operation, int? captureIdForResult) 6695public override IOperation VisitDeconstructionAssignment(IDeconstructionAssignmentOperation operation, int? captureIdForResult) 6697(IOperation visitedTarget, IOperation visitedValue) = VisitPreservingTupleOperations(operation.Target, operation.Value); 6704private void PushTargetAndUnwrapTupleIfNecessary(IOperation value) 6710foreach (IOperation element in tuple.Elements) 6724private IOperation PopTargetAndWrapTupleIfNecessary(IOperation value) 6730var elementBuilder = ArrayBuilder<IOperation>.GetInstance(numElements); 6744public override IOperation VisitDeclarationExpression(IDeclarationExpressionOperation operation, int? captureIdForResult) 6749private IOperation VisitPreservingTupleOperations(IOperation operation) 6756private (IOperation visitedLeft, IOperation visitedRight) VisitPreservingTupleOperations(IOperation left, IOperation right) 6767IOperation visitedRight = VisitRequired(right); 6768IOperation visitedLeft = PopTargetAndWrapTupleIfNecessary(left); 6773public override IOperation VisitTuple(ITupleOperation operation, int? captureIdForResult) 6778internal override IOperation VisitNoneOperation(IOperation operation, int? captureIdForResult) 6790private IOperation VisitNoneOperationStatement(IOperation operation) 6794return new NoneOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 6797private IOperation VisitNoneOperationExpression(IOperation operation) 6803public override IOperation? VisitInterpolatedStringHandlerCreation(IInterpolatedStringHandlerCreationOperation operation, int? captureIdForResult) 6890IOperation visitedAppendCall = VisitRequired(appendCall.AppendCall); 6987public override IOperation? VisitInterpolatedStringAddition(IInterpolatedStringAdditionOperation operation, int? captureIdForResult) 6992public override IOperation? VisitInterpolatedStringAppend(IInterpolatedStringAppendOperation operation, int? captureIdForResult) 6997public override IOperation? VisitInterpolatedStringHandlerArgumentPlaceholder(IInterpolatedStringHandlerArgumentPlaceholderOperation operation, int? captureIdForResult) 7011tryGetArgumentOrReceiver(-1) is IOperation receiverCapture) 7018return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), isImplicit: true); 7025tryGetArgumentOrReceiver(operation.ArgumentIndex) is IOperation argumentCapture) 7032return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), isImplicit: true); 7039IOperation? tryGetArgumentOrReceiver(int argumentIndex) 7061public override IOperation VisitInterpolatedString(IInterpolatedStringOperation operation, int? captureIdForResult) 7089IOperation? rewrittenFormatString; 7100var rewrittenAlignment = interpolation.Alignment != null ? PopOperand() : null; 7101var rewrittenExpression = PopOperand(); 7106var rewrittenInterpolationText = VisitRequired(interpolatedStringText.Text, argument: null); 7122public override IOperation VisitInterpolatedStringText(IInterpolatedStringTextOperation operation, int? captureIdForResult) 7127public override IOperation VisitInterpolation(IInterpolationOperation operation, int? captureIdForResult) 7132public override IOperation VisitNameOf(INameOfOperation operation, int? captureIdForResult) 7138public override IOperation VisitLiteral(ILiteralOperation operation, int? captureIdForResult) 7143public override IOperation? VisitUtf8String(IUtf8StringOperation operation, int? captureIdForResult) 7148public override IOperation VisitLocalReference(ILocalReferenceOperation operation, int? captureIdForResult) 7154public override IOperation VisitParameterReference(IParameterReferenceOperation operation, int? captureIdForResult) 7160public override IOperation VisitFieldReference(IFieldReferenceOperation operation, int? captureIdForResult) 7162IOperation? visitedInstance = operation.Field.IsStatic ? null : Visit(operation.Instance); 7167public override IOperation VisitMethodReference(IMethodReferenceOperation operation, int? captureIdForResult) 7169IOperation? visitedInstance = operation.Method.IsStatic ? null : Visit(operation.Instance); 7174public override IOperation VisitPropertyReference(IPropertyReferenceOperation operation, int? captureIdForResult) 7183if (_currentImplicitInstance.AnonymousTypePropertyValues.TryGetValue(operation.Property, out IOperation? captured)) 7191return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 7196IOperation? instance = operation.Property.IsStatic ? null : operation.Instance; 7197(IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) = VisitInstanceWithArguments(instance, operation.Arguments); 7203public override IOperation VisitEventReference(IEventReferenceOperation operation, int? captureIdForResult) 7205IOperation? visitedInstance = operation.Event.IsStatic ? null : Visit(operation.Instance); 7210public override IOperation VisitTypeOf(ITypeOfOperation operation, int? captureIdForResult) 7215public override IOperation VisitParenthesized(IParenthesizedOperation operation, int? captureIdForResult) 7220public override IOperation VisitAwait(IAwaitOperation operation, int? captureIdForResult) 7225public override IOperation VisitSizeOf(ISizeOfOperation operation, int? captureIdForResult) 7230public override IOperation VisitStop(IStopOperation operation, int? captureIdForResult) 7235public override IOperation VisitIsType(IIsTypeOperation operation, int? captureIdForResult) 7240public override IOperation? VisitParameterInitializer(IParameterInitializerOperation operation, int? captureIdForResult) 7250public override IOperation? VisitFieldInitializer(IFieldInitializerOperation operation, int? captureIdForResult) 7268public override IOperation? VisitPropertyInitializer(IPropertyInitializerOperation operation, int? captureIdForResult) 7286var value = new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, 7302IOperation propertyRef = new PropertyReferenceOperation(propertySymbol, constrainedToType: null, arguments, instance, 7310private void VisitInitializer(IOperation rewrittenTarget, ISymbolInitializerOperation initializer) 7323public override IOperation VisitEventAssignment(IEventAssignmentOperation operation, int? captureIdForResult) 7326IOperation visitedEventReference, visitedHandler; 7334var eventReferenceInstance = eventReference.Event.IsStatic ? null : eventReference.Instance; 7342IOperation? visitedInstance = eventReferenceInstance == null ? null : PopOperand(); 7361IOperation current = operation.EventReference; 7381public override IOperation VisitRaiseEvent(IRaiseEventOperation operation, int? captureIdForResult) 7387(IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments) = 7397public override IOperation VisitAddressOf(IAddressOfOperation operation, int? captureIdForResult) 7402public override IOperation VisitIncrementOrDecrement(IIncrementOrDecrementOperation operation, int? captureIdForResult) 7409public override IOperation VisitDiscardOperation(IDiscardOperation operation, int? captureIdForResult) 7414public override IOperation VisitDiscardPattern(IDiscardPatternOperation pat, int? captureIdForResult) 7419public override IOperation VisitOmittedArgument(IOmittedArgumentOperation operation, int? captureIdForResult) 7424internal override IOperation VisitPlaceholder(IPlaceholderOperation operation, int? captureIdForResult) 7458public override IOperation? VisitCollectionExpressionElementsPlaceholder(ICollectionExpressionElementsPlaceholderOperation operation, int? argument) 7464public override IOperation VisitConversion(IConversionOperation operation, int? captureIdForResult) 7469public override IOperation VisitDefaultValue(IDefaultValueOperation operation, int? captureIdForResult) 7474public override IOperation VisitIsPattern(IIsPatternOperation operation, int? captureIdForResult) 7479IOperation visitedValue = PopOperand(); 7485public override IOperation VisitInvalid(IInvalidOperation operation, int? captureIdForResult) 7487var children = ArrayBuilder<IOperation>.GetInstance(); 7502foreach (var argument in children) 7514IOperation initializedInstance = new InvalidOperation(children.ToImmutableAndFree(), semanticModel: null, operation.Syntax, operation.Type, 7522IOperation result; 7534IOperation visitInvalidOperationStatement(IInvalidOperation invalidOperation) 7538return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, invalidOperation.Syntax, invalidOperation.Type, invalidOperation.GetConstantValue(), IsImplicit(invalidOperation)); 7541IOperation visitInvalidOperationExpression(IInvalidOperation invalidOperation) 7549public override IOperation? VisitReDim(IReDimOperation operation, int? argument) 7575var visitedOperand = PopOperand(); 7580public override IOperation VisitReDimClause(IReDimClauseOperation operation, int? argument) 7585public override IOperation VisitTranslatedQuery(ITranslatedQueryOperation operation, int? captureIdForResult) 7590public override IOperation VisitConstantPattern(IConstantPatternOperation operation, int? captureIdForResult) 7596public override IOperation VisitRelationalPattern(IRelationalPatternOperation operation, int? argument) 7608public override IOperation VisitBinaryPattern(IBinaryPatternOperation operation, int? argument) 7649public override IOperation VisitNegatedPattern(INegatedPatternOperation operation, int? argument) 7660public override IOperation VisitTypePattern(ITypePatternOperation operation, int? argument) 7671public override IOperation VisitDeclarationPattern(IDeclarationPatternOperation operation, int? captureIdForResult) 7684public override IOperation VisitSlicePattern(ISlicePatternOperation operation, int? argument) 7696public override IOperation VisitListPattern(IListPatternOperation operation, int? argument) 7710public override IOperation VisitRecursivePattern(IRecursivePatternOperation operation, int? argument) 7725public override IOperation VisitPropertySubpattern(IPropertySubpatternOperation operation, int? argument) 7735public override IOperation VisitDelegateCreation(IDelegateCreationOperation operation, int? captureIdForResult) 7741public override IOperation VisitRangeOperation(IRangeOperation operation, int? argument) 7748IOperation? visitedRightOperand = null; 7754IOperation? visitedLeftOperand = operation.LeftOperand is null ? null : PopOperand(); 7759public override IOperation VisitSwitchExpression(ISwitchExpressionOperation operation, int? captureIdForResult) 7786var capturedInput = VisitAndCapture(operation.Value); 7836var makeException = (matchFailureCtor is null) 7837? MakeInvalidOperation(operation.Syntax, type: _compilation.GetSpecialType(SpecialType.System_Object), ImmutableArray<IOperation>.Empty) 7851private void VisitUsingVariableDeclarationOperation(IUsingDeclarationOperation operation, ReadOnlySpan<IOperation> statements) 7853IOperation? saveCurrentStatement = _currentStatement; 7860ArrayBuilder<IOperation> statementsBuilder = ArrayBuilder<IOperation>.GetInstance(statements.Length); 7861ArrayBuilder<IOperation>? localFunctionsBuilder = null; 7863foreach (var statement in statements) 7867(localFunctionsBuilder ??= ArrayBuilder<IOperation>.GetInstance()).Add(statement); 7896public IOperation? Visit(IOperation? operation) 7905public IOperation? VisitRequired(IOperation? operation, int? argument = null) 7908var result = Visit(operation, argument); 7915public IOperation? BaseVisitRequired(IOperation? operation, int? argument) 7919var result = base.Visit(operation, argument); 7926public override IOperation? Visit(IOperation? operation, int? argument) 7935var result = PopStackFrame(PushStackFrame(), base.Visit(operation, argument)); 7941public override IOperation DefaultVisit(IOperation operation, int? captureIdForResult) 7947public override IOperation VisitArgument(IArgumentOperation operation, int? captureIdForResult) 7952public override IOperation VisitUsingDeclaration(IUsingDeclarationOperation operation, int? captureIdForResult) 7957public override IOperation VisitWith(IWithOperation operation, int? captureIdForResult) 7966IOperation visitedInstance = VisitRequired(operation.Operand); 7967IOperation cloned; 7984IOperation handleAnonymousTypeWithExpression(WithOperation operation, int? captureIdForResult) 8017var explicitProperties = new Dictionary<IPropertySymbol, IOperation>(SymbolEqualityComparer.IgnoreAll); 8018var initializerBuilder = ArrayBuilder<IOperation>.GetInstance(initializers.Length); 8021foreach (IOperation initializer in initializers) 8066if (explicitProperties.TryGetValue(property, out var assignment)) 8098SimpleAssignmentOperation makeAssignment(IPropertySymbol property, IOperation capturedValue, WithOperation operation) 8113static bool setsAllProperties(ImmutableArray<IOperation> initializers, IEnumerable<IPropertySymbol> properties) 8116foreach (var initializer in initializers) 8137public 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(); 110var current = iterator.Current; 334/// Gets the root operation for the <see cref="IOperation"/> tree containing the given <paramref name="operation"/>. 337internal static IOperation GetRootOperation(this IOperation operation) 356public static IOperation? GetCorrespondingOperation(this IBranchOperation operation) 378for (IOperation current = operation; current.Parent != null; current = current.Parent) 393internal 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();

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)

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; } 135reachingDelegateCreationTargets: PooledDictionary<IOperation, PooledHashSet<IOperation>>.GetInstance(), 205foreach (var operation in cfg.OriginalOperation.Descendants()) 231private PooledHashSet<(ISymbol, IOperation)> GetOrCreateSymbolWritesInBlockRange(int firstBlockOrdinal, int lastBlockOrdinal, CancellationToken cancellationToken) 236var operations = PooledHashSet<IOperation>.GetInstance(); 240writesInBlockRange = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 257PooledHashSet<IOperation> operationsBuilder, 264foreach (var operation in cfg.Blocks[i].DescendantOperations()) 289void AddDescendantOperationsFromDelegateCreationTargets(PooledHashSet<IOperation> targets) 291foreach (var target in targets) 478public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 482captures = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 530public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 538var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 560foreach (var target in targetsBuilderForSymbolWrite) 577public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 587public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 599public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 602private void SetReachingDelegateTargetCore(IOperation write, IOperation targetOpt) 604var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 613public 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)

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

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.

87public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 108foreach (var operation in operationBlock.Descendants()) 296static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 325static bool hasAnyExplicitExpression(IOperation operation) 331void countOperator(IOperation operation) 348void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 355void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

257var operationBlock = model.GetOperation(node, context.CancellationToken); 282foreach (var operation in operationBlock.DescendantsAndSelf()) 324static bool hasConditionalLogic(IOperation operation)

75foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

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

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

61public static bool HasNullConstantValue(this IOperation operation) 66public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 83public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 90var builder = ImmutableArray.CreateBuilder<IOperation>(); 91var operationsToProcess = new Queue<IOperation>(); 104foreach (var child in operation.Children) 120public static bool IsOperationNoneRoot(this IOperation operation) 131public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 132where TOperation : class, IOperation 139var ancestor = root; 166public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 173var ancestor = root; 208public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 215for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 258public static IOperation GetRoot(this IOperation operation) 273private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 276public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 293private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 331this IOperation operation, IMethodSymbol lambdaOrLocalFunction, out PooledHashSet<ISymbol> builder) 342foreach (var child in operation.Descendants()) 384public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 410[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 415IOperation previousOperation = tupleOperation; 416var currentOperation = tupleOperation.Parent; 448public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 451public static IOperation? GetThrownException(this IThrowOperation operation) 453var thrownObject = operation.Exception; 477IOperation potentialLeftSide = operation;

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)

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

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()

146var operation = semanticModel.GetOperation(expressionNode, cancellationToken); 271var operation = semanticModel.GetOperation(isExpression, cancellationToken); 413var rightOperand = RemoveImplicitConversion(binaryOperation.RightOperand); 414var leftOperand = RemoveImplicitConversion(binaryOperation.LeftOperand); 426private static IOperation RemoveImplicitConversion(IOperation operation) 434IOperation variableExpression, ILiteralOperation numericLiteralExpression) 475var operation = semanticModel.GetOperation(expression);

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)

78protected override CopyAbstractValue GetCopyAbstractValue(IOperation operation) 93protected override PredicateValueKind SetValueForIsNullComparisonOperator(IOperation leftOperand, bool equals, ValueContentAnalysisData targetAnalysisData) 97IOperation leftOperand, 98IOperation rightOperand, 114private void SetValueForComparisonOperator(IOperation target, IOperation assignedValue, bool equals, ref PredicateValueKind predicateValueKind, ValueContentAnalysisData targetAnalysisData) 184public override ValueContentAbstractValue DefaultVisit(IOperation operation, object? argument) 272IOperation? visitedInstance, 275IOperation originalOperation,

176public override TaintedDataAbstractValue DefaultVisit(IOperation operation, object? argument) 185foreach (IOperation childOperation in operation.ChildOperations) 231protected override TaintedDataAbstractValue ComputeAnalysisValueForReferenceOperation(IOperation operation, TaintedDataAbstractValue defaultValue) 263IOperation? visitedInstance, 266IOperation originalOperation, 352IOperation? thenTaintedTargetOperation = visitedInstance != null && thenTaintedTarget == TaintedTargetValue.This 357var operation = visitedInstance != null && ifTaintedParameter == TaintedTargetValue.This 423public override TaintedDataAbstractValue VisitInvocation_LocalFunction(IMethodSymbol localFunction, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, TaintedDataAbstractValue defaultValue) 437public override TaintedDataAbstractValue VisitInvocation_Lambda(IFlowAnonymousFunctionOperation lambda, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, TaintedDataAbstractValue defaultValue) 491.Select<IOperation, TaintedDataAbstractValue>(this.GetCachedAbstractValue) 561IOperation originalOperation) 763private void SetTaintedForEntity(IOperation operation, TaintedDataAbstractValue value)

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,

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)

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,

135protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, PropertySetAbstractValue value) 139protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, PropertySetAbstractValue assignedValue, bool mayBeAssignment = false) 143protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, PropertySetAbstractValue assignedValue) 200out IOperation? propertySetInstance)) 232if (this.TryUnwrapFlowCaptureReference(operation.Target, out IOperation? lValueOperation, OperationKind.PropertyReference, OperationKind.FieldReference)) 279this.TryUnwrapFlowCaptureReference(operation.Target, out IOperation? lValue, OperationKind.PropertyReference); 456public override PropertySetAbstractValue VisitInvocation_NonLambdaOrDelegateOrLocalFunction(IMethodSymbol method, IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments, bool invokedAsDelegate, IOperation originalOperation, PropertySetAbstractValue defaultValue) 478IOperation? propertySetInstance = visitedInstance; 516[NotNullWhen(returnValue: true)] out IOperation? instance) 532IOperation value = argumentOperation.Value; 597IOperation propertySetInstance, 635public override PropertySetAbstractValue VisitInvocation_LocalFunction(IMethodSymbol localFunction, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, PropertySetAbstractValue defaultValue) 643public override PropertySetAbstractValue VisitInvocation_Lambda(IFlowAnonymousFunctionOperation lambda, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, PropertySetAbstractValue defaultValue) 651protected override void ProcessReturnValue(IOperation? returnValue) 668private void MergeInterproceduralResults(IOperation originalOperation) 705private bool TryUnwrapFlowCaptureReference(IOperation flowCaptureReferenceOperation, [NotNullWhen(returnValue: true)] out IOperation? unwrappedOperation, params OperationKind[] kinds) 713IOperation lValueOperation = lValuePointsToAbstractValue.LValueCapturedOperations.First();

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,

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)

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; } 135reachingDelegateCreationTargets: PooledDictionary<IOperation, PooledHashSet<IOperation>>.GetInstance(), 205foreach (var operation in cfg.OriginalOperation.Descendants()) 231private PooledHashSet<(ISymbol, IOperation)> GetOrCreateSymbolWritesInBlockRange(int firstBlockOrdinal, int lastBlockOrdinal, CancellationToken cancellationToken) 236var operations = PooledHashSet<IOperation>.GetInstance(); 240writesInBlockRange = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 257PooledHashSet<IOperation> operationsBuilder, 264foreach (var operation in cfg.Blocks[i].DescendantOperations()) 289void AddDescendantOperationsFromDelegateCreationTargets(PooledHashSet<IOperation> targets) 291foreach (var target in targets) 478public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 482captures = PooledHashSet<(ISymbol, IOperation)>.GetInstance(); 530public override void SetTargetsFromSymbolForDelegate(IOperation write, ISymbol symbol) 538var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 560foreach (var target in targetsBuilderForSymbolWrite) 577public override void SetLambdaTargetForDelegate(IOperation write, IFlowAnonymousFunctionOperation lambdaTarget) 587public override void SetLocalFunctionTargetForDelegate(IOperation write, IMethodReferenceOperation localFunctionTarget) 599public override void SetEmptyInvocationTargetsForDelegate(IOperation write) 602private void SetReachingDelegateTargetCore(IOperation write, IOperation targetOpt) 604var targetsBuilder = PooledHashSet<IOperation>.GetInstance(); 613public 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)

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.

87public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 108foreach (var operation in operationBlock.Descendants()) 296static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 325static bool hasAnyExplicitExpression(IOperation operation) 331void countOperator(IOperation operation) 348void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 355void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

257var operationBlock = model.GetOperation(node, context.CancellationToken); 282foreach (var operation in operationBlock.DescendantsAndSelf()) 324static bool hasConditionalLogic(IOperation operation)

75foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

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

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

61public static bool HasNullConstantValue(this IOperation operation) 66public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 83public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 90var builder = ImmutableArray.CreateBuilder<IOperation>(); 91var operationsToProcess = new Queue<IOperation>(); 104foreach (var child in operation.Children) 120public static bool IsOperationNoneRoot(this IOperation operation) 131public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 132where TOperation : class, IOperation 139var ancestor = root; 166public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 173var ancestor = root; 208public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 215for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 258public static IOperation GetRoot(this IOperation operation) 273private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 276public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 293private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 331this IOperation operation, IMethodSymbol lambdaOrLocalFunction, out PooledHashSet<ISymbol> builder) 342foreach (var child in operation.Descendants()) 384public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 410[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 415IOperation previousOperation = tupleOperation; 416var currentOperation = tupleOperation.Parent; 448public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 451public static IOperation? GetThrownException(this IThrowOperation operation) 453var thrownObject = operation.Exception; 477IOperation potentialLeftSide = operation;

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;

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)

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.

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;

14private readonly ImmutableDictionary<IOperation, ImmutableHashSet<AbstractLocation>> _escapedLocationsThroughOperationsMap; 15private readonly ImmutableDictionary<IOperation, ImmutableHashSet<AbstractLocation>> _escapedLocationsThroughReturnValuesMap; 22ImmutableDictionary<IOperation, ImmutableHashSet<AbstractLocation>> escapedLocationsThroughOperationsMap, 23ImmutableDictionary<IOperation, ImmutableHashSet<AbstractLocation>> escapedLocationsThroughReturnValuesMap, 37public ImmutableHashSet<AbstractLocation> GetEscapedAbstractLocations(IOperation operation)

25/// Dataflow analysis to track <see cref="PropertySetAbstractValue"/> of <see cref="AbstractLocation"/>/<see cref="IOperation"/> instances. 154IEnumerable<(IOperation Operation, ISymbol ContainingSymbol)> rootOperationsNeedingAnalysis, 190IEnumerable<(IOperation Operation, ISymbol ContainingSymbol)> rootOperationsNeedingAnalysis, 200foreach ((IOperation Operation, ISymbol ContainingSymbol) in rootOperationsNeedingAnalysis)

8/// Value state for presence of non-literal values for <see cref="AnalysisEntity"/>/<see cref="IOperation"/> tracked by <see cref="ValueContentAnalysis"/>.

19/// Abstract value content data value for <see cref="AnalysisEntity"/>/<see cref="IOperation"/> tracked by <see cref="ValueContentAnalysis"/>.

18/// Dataflow analysis to track value content of <see cref="AnalysisEntity"/>/<see cref="IOperation"/>. 57Func<IOperation, ValueContentAbstractValue>? getValueContentValueForAdditionalSupportedValueTypeOperation = null) 91Func<IOperation, ValueContentAbstractValue>? getValueContentValueForAdditionalSupportedValueTypeOperation = null)

36Func<IOperation, ValueContentAbstractValue>? getValueForAdditionalSupportedValueTypeOperation, 50public Func<IOperation, ValueContentAbstractValue>? GetValueForAdditionalSupportedValueTypeOperation { get; } 64Func<IOperation, ValueContentAbstractValue>? getValueContentValueForAdditionalSupportedValueTypeOperation,

15public static AbstractIndex Create(IOperation operation) => new OperationBasedIndex(operation);

13public OperationBasedIndex(IOperation operation) 18public IOperation Operation { get; }

22/// 1. An allocation or an object creation operation (<see cref="CreateAllocationLocation(IOperation, ITypeSymbol, PointsToAnalysisContext)"/>). 23/// 2. Location for the implicit 'this' or 'Me' instance being analyzed (<see cref="CreateThisOrMeLocation(INamedTypeSymbol, ImmutableStack{IOperation})"/>). 24/// 3. Location created for certain symbols which do not have a declaration in executable code, i.e. no <see cref="IOperation"/> for declaration (such as parameter symbols, member symbols, etc. - <see cref="CreateSymbolLocation(ISymbol, ImmutableStack{IOperation})"/>/>). 26/// See <see cref="CreateFlowCaptureLocation(InterproceduralCaptureId, ITypeSymbol, ImmutableStack{IOperation})"/> 35private AbstractLocation(IOperation? creation, ImmutableStack<IOperation>? creationCallStack, AnalysisEntity? analysisEntity, ISymbol? symbol, InterproceduralCaptureId? captureId, ITypeSymbol? locationType, bool isSpecialSingleton) 40CreationCallStack = creationCallStack ?? ImmutableStack<IOperation>.Empty; 48private static AbstractLocation Create(IOperation? creation, ImmutableStack<IOperation>? creationCallStack, AnalysisEntity? analysisEntity, ISymbol? symbol, InterproceduralCaptureId? captureId, ITypeSymbol? locationType) 56public static AbstractLocation CreateAllocationLocation(IOperation creation, ITypeSymbol locationType, PointsToAnalysisContext analysisContext) 58internal static AbstractLocation CreateAllocationLocation(IOperation creation, ITypeSymbol locationType, ImmutableStack<IOperation>? callStack) 62public static AbstractLocation CreateThisOrMeLocation(INamedTypeSymbol namedTypeSymbol, ImmutableStack<IOperation>? creationCallStack) 64public static AbstractLocation CreateSymbolLocation(ISymbol symbol, ImmutableStack<IOperation>? creationCallStack) 66public static AbstractLocation CreateFlowCaptureLocation(InterproceduralCaptureId captureId, ITypeSymbol locationType, ImmutableStack<IOperation>? creationCallStack) 69public IOperation? Creation { get; } 70public ImmutableStack<IOperation> CreationCallStack { get; } 76public IOperation? GetTopOfCreationCallStackOrCreation() 134foreach (var creation in CreationCallStack) 154SyntaxNode? TryGetSyntaxNodeToReportDiagnostic(IOperation creation, PointsToAnalysisResult pointsToAnalysisResult) 177SyntaxNode? TryGetSyntaxNodeToReportDiagnosticCore(IOperation operation) 182SyntaxNode? TryGetSyntaxNodeToReportDiagnosticForPointsValue(PointsToAbstractValue pointsToValue, IOperation operation)

61protected virtual TAbstractAnalysisValue HandleInstanceCreation(IOperation creation, PointsToAbstractValue instanceLocation, TAbstractAnalysisValue defaultValue)

47protected override TAbstractAnalysisValue ComputeAnalysisValueForReferenceOperation(IOperation operation, TAbstractAnalysisValue defaultValue) 191protected override TAnalysisData GetMergedAnalysisDataForPossibleThrowingOperation(TAnalysisData? existingData, IOperation operation) 210protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, TAbstractAnalysisValue value) 218protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, TAbstractAnalysisValue assignedValue, bool mayBeAssignment = false) 238protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, TAbstractAnalysisValue assignedValue) 252protected virtual void SetAbstractValueForAssignment(AnalysisEntity targetAnalysisEntity, IOperation? assignedValueOperation, TAbstractAnalysisValue assignedValue) 264private void SetAbstractValueForAssignment(AnalysisEntity targetAnalysisEntity, AnalysisEntity? assignedValueEntity, IOperation? assignedValueOperation, TAbstractAnalysisValue assignedValue) 360private void TransferValueTypeInstanceAnalysisDataForAssignment(AnalysisEntity targetAnalysisEntity, AnalysisEntity? valueAnalysisEntity, IOperation? assignedValueOperation) 759private void HandleDeconstructionAssignment(IOperation target, ImmutableHashSet<AnalysisEntity> childEntities) 772var element = tupleOperation.Elements[i];

30private readonly Dictionary<IOperation, AnalysisEntity?> _analysisEntityMap; 35private readonly Func<IOperation, PointsToAbstractValue>? _getPointsToAbstractValue; 39private readonly ImmutableStack<IOperation>? _interproceduralCallStack; 40private readonly Func<IOperation, AnalysisEntity?>? _interproceduralGetAnalysisEntityForFlowCapture; 41private readonly Func<ISymbol, ImmutableStack<IOperation>?> _getInterproceduralCallStackForOwningSymbol; 46Func<IOperation, PointsToAbstractValue>? getPointsToAbstractValue, 52ImmutableStack<IOperation>? interproceduralCallStack, 54Func<IOperation, AnalysisEntity?>? interproceduralGetAnalysisEntityForFlowCapture, 55Func<ISymbol, ImmutableStack<IOperation>?> getInterproceduralCallStackForOwningSymbol) 93where T : IOperation 109private static AbstractIndex CreateAbstractIndex(IOperation operation) 125public bool TryCreate(IOperation operation, [NotNullWhen(returnValue: true)] out AnalysisEntity? analysisEntity) 135IOperation? instance = null; 316IOperation? instance = null; 349if (tupleOperation.TryGetParentTupleOperation(out var parentTupleOperationOpt, out var elementOfParentTupleContainingTuple) && 410public bool TryGetForInterproceduralAnalysis(IOperation operation, out AnalysisEntity? analysisEntity) 413private AnalysisEntity GetOrCreateForFlowCapture(CaptureId captureId, ITypeSymbol? type, IOperation flowCaptureOrReference, bool isLValueFlowCapture) 440ITypeSymbol type, IOperation? instance, [NotNullWhen(returnValue: true)] out AnalysisEntity? analysisEntity) 532ImmutableStack<IOperation>? interproceduralCallStackForSymbolDeclaration; 540interproceduralCallStackForSymbolDeclaration = ImmutableStack<IOperation>.Empty;

16IOperation operation, 27public IOperation Operation { get; }

19/// It performs a worklist based approach to flow abstract data values for <see cref="AnalysisEntity"/>/<see cref="IOperation"/> across the basic blocks until a fix point is reached. 27private static readonly BoundedCache<IOperation, SingleThreadedConcurrentDictionary<TAnalysisContext, TAnalysisResult>> s_resultCache = new(); 758foreach (var statement in block.Operations)

26private readonly ImmutableDictionary<IOperation, TAbstractAnalysisValue> _operationStateMap; 27private readonly ImmutableDictionary<IOperation, PredicateValueKind> _predicateValueKindMap; 28private readonly ImmutableDictionary<IOperation, IDataFlowAnalysisResult<TAbstractAnalysisValue>> _interproceduralResultsMap; 35ImmutableDictionary<IOperation, TAbstractAnalysisValue> operationStateMap, 36ImmutableDictionary<IOperation, PredicateValueKind> predicateValueKindMap, 38ImmutableDictionary<IOperation, IDataFlowAnalysisResult<TAbstractAnalysisValue>> interproceduralResultsMap, 87internal DataFlowAnalysisResult<TBlockAnalysisResult, TAbstractAnalysisValue> With(ImmutableDictionary<IOperation, TAbstractAnalysisValue> operationStateMap) 98public TAbstractAnalysisValue this[IOperation operation] 147internal DataFlowAnalysisResult<TBlockAnalysisResult, TAbstractAnalysisValue>? TryGetInterproceduralResult(IOperation operation) 168internal IEnumerable<DataFlowAnalysisResult<TBlockAnalysisResult, TAbstractAnalysisValue>> TryGetLambdaOrLocalFunctionResults(IOperation lambdaOrLocalFunctionOperation) 222public PredicateValueKind GetPredicateKind(IOperation operation) => _predicateValueKindMap.TryGetValue(operation, out var valueKind) ? valueKind : PredicateValueKind.Unknown;

46ImmutableDictionary<IOperation, TAbstractAnalysisValue> stateMap, 47ImmutableDictionary<IOperation, PredicateValueKind> predicateValueKindMap, 49ImmutableDictionary<IOperation, IDataFlowAnalysisResult<TAbstractAnalysisValue>> interproceduralResultsMap,

47private readonly ImmutableDictionary<IOperation, TAbstractAnalysisValue>.Builder _valueCacheBuilder; 48private readonly ImmutableDictionary<IOperation, PredicateValueKind>.Builder _predicateValueKindCacheBuilder; 51private readonly HashSet<IOperation> _visitedFlowBranchConditions; 53private readonly HashSet<IOperation>? _returnValueOperations; 113private readonly Stack<IOperation> _interproceduralCallStack; 118private readonly ImmutableDictionary<IOperation, IDataFlowAnalysisResult<TAbstractAnalysisValue>>.Builder _interproceduralResultsBuilder; 152public ImmutableDictionary<IOperation, IDataFlowAnalysisResult<TAbstractAnalysisValue>> InterproceduralResultsMap => _interproceduralResultsBuilder.ToImmutable(); 275_valueCacheBuilder = ImmutableDictionary.CreateBuilder<IOperation, TAbstractAnalysisValue>(); 276_predicateValueKindCacheBuilder = ImmutableDictionary.CreateBuilder<IOperation, PredicateValueKind>(); 281_returnValueOperations = OwningSymbol is IMethodSymbol method && !method.ReturnsVoid ? new HashSet<IOperation>() : null; 282_interproceduralResultsBuilder = ImmutableDictionary.CreateBuilder<IOperation, IDataFlowAnalysisResult<TAbstractAnalysisValue>>(); 289_interproceduralCallStack = new Stack<IOperation>(); 298foreach (var operation in analysisContext.InterproceduralAnalysisData.CallStack) 377foreach (var operation in _returnValueOperations) 419public virtual TAnalysisData Flow(IOperation statement, BasicBlock block, TAnalysisData input) 428private void AfterVisitRoot(IOperation operation) 434foreach (var descendant in operation.DescendantsAndSelf()) 806IOperation returnValueOperation, 814protected virtual void ProcessReturnValue(IOperation? returnValue) 829private TAbstractAnalysisValue GetAbstractValueForReturnOperation(IOperation returnValueOperation, out PointsToAbstractValue? implicitTaskPointsToValue) 850protected virtual void HandlePossibleThrowingOperation(IOperation operation) 869IOperation? instance = null; 870IOperation? invocation = null; 930protected virtual TAnalysisData GetMergedAnalysisDataForPossibleThrowingOperation(TAnalysisData? existingData, IOperation operation) 1019internal ImmutableDictionary<IOperation, TAbstractAnalysisValue> GetStateMap() => _valueCacheBuilder.ToImmutable(); 1021internal ImmutableDictionary<IOperation, PredicateValueKind> GetPredicateValueKindMap() => _predicateValueKindCacheBuilder.ToImmutable(); 1045public TAbstractAnalysisValue GetCachedAbstractValue(IOperation operation) 1079protected void CacheAbstractValue(IOperation operation, TAbstractAnalysisValue value) 1089protected NullAbstractValue GetNullAbstractValue(IOperation operation) => GetPointsToAbstractValue(operation).NullState; 1091protected virtual CopyAbstractValue GetCopyAbstractValue(IOperation operation) 1103protected virtual PointsToAbstractValue GetPointsToAbstractValue(IOperation operation) 1115protected virtual ValueContentAbstractValue GetValueContentAbstractValue(IOperation operation) 1127protected ImmutableHashSet<AbstractLocation> GetEscapedLocations(IOperation operation) 1211protected virtual TAbstractAnalysisValue ComputeAnalysisValueForReferenceOperation(IOperation operation, TAbstractAnalysisValue defaultValue) 1247IOperation sourceOperand, 1250IOperation operation, 1386private void PerformPredicateAnalysis(IOperation operation) 1495var current = operation.Parent; 1515var current = operation.Parent; 1544private void PerformPredicateAnalysisCore(IOperation operation, TAnalysisData targetAnalysisData) 1715IOperation? leftOperand = null; 1716IOperation? rightOperand = null; 1788bool IsNotNullWhenFalse(IOperation operation) 1806bool IsNotNullWhenTrue(IOperation operation) 1825protected virtual void SetPredicateValueKind(IOperation operation, TAnalysisData analysisData, PredicateValueKind predicateValueKind) 1894protected virtual PredicateValueKind SetValueForEqualsOrNotEqualsComparisonOperator(IOperation leftOperand, IOperation rightOperand, bool equals, bool isReferenceEquality, TAnalysisData targetAnalysisData) 1900protected virtual PredicateValueKind SetValueForIsNullComparisonOperator(IOperation leftOperand, bool equals, TAnalysisData targetAnalysisData) 1939protected virtual void ProcessThrowValue(IOperation? thrownValue) 1946protected abstract void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, TAbstractAnalysisValue value); 1947protected abstract void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, TAbstractAnalysisValue assignedValue, bool mayBeAssignment = false); 1948protected abstract void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, TAbstractAnalysisValue assignedValue); 1949private void HandleFlowCaptureReferenceAssignment(IFlowCaptureReferenceOperation flowCaptureReference, IOperation assignedValueOperation, TAbstractAnalysisValue assignedValue) 1962var target = pointsToValue.LValueCapturedOperations.First(); 1973foreach (var capturedOperation in pointsToValue.LValueCapturedOperations) 1984foreach (var capturedOperation in pointsToValue.LValueCapturedOperations) 2024private void ResetValueTypeInstanceAnalysisData(IOperation operation) 2043private void ResetReferenceTypeInstanceAnalysisData(IOperation operation) 2061private void ResetInstanceAnalysisData(IOperation? operation) 2189protected bool TryGetInterproceduralAnalysisResult(IOperation operation, [NotNullWhen(returnValue: true)] out TAnalysisResult? analysisResult) 2204IOperation? instanceReceiver, 2206IOperation originalOperation, 2347var popped = _interproceduralCallStack.Pop(); 2574AnalysisEntity? GetAnalysisEntityForFlowCapture(IOperation operation) 2760protected TAbstractAnalysisValue VisitArray(IEnumerable<IOperation> operations, object? argument) 2762foreach (var operation in operations) 2770public override TAbstractAnalysisValue Visit(IOperation? operation, object? argument) 2805private TAbstractAnalysisValue VisitCore(IOperation operation, object? argument) 2824public override TAbstractAnalysisValue DefaultVisit(IOperation operation, object? argument) 2905IOperation elementInitializer = operation.ElementValues[index]; 3287using var _1 = PooledHashSet<(IMethodSymbol method, IOperation? instance)>.GetInstance(out var methodTargetsOptBuilder); 3312PooledHashSet<(IMethodSymbol method, IOperation? instance)> methodTargetsOptBuilder, 3317IOperation operation, 3318PooledHashSet<(IMethodSymbol method, IOperation? instance)> methodTargetsOptBuilder, 3323IOperation? operation, 3325PooledHashSet<(IMethodSymbol method, IOperation? instance)> methodTargetsOptBuilder, 3331IOperation? instance; 3379void AddMethodTarget(IMethodSymbol method, IOperation? instance) 3393bool HandleCreationOpt(IOperation? creation) 3438out ImmutableHashSet<(IMethodSymbol method, IOperation? instance)>? resolvedMethodTargets) 3442using var _1 = PooledHashSet<(IMethodSymbol method, IOperation? instance)>.GetInstance(out var methodTargetsOptBuilder); 3535IOperation? visitedInstance, 3538IOperation originalOperation, 3566private ImmutableStack<IOperation>? GetInterproceduralCallStackForOwningSymbol(ISymbol forOwningSymbol) 3579IOperation originalOperation, 3597IOperation originalOperation, 3637public virtual void HandleEnterLockOperation(IOperation lockedObject) 3669foreach (var element in operation.Elements) 3687var assignedValueOperation = operation.Elements[i]; 3695foreach (var element in operation.Elements)

95IOperation operation,

36ImmutableStack<IOperation> callStack, 38Func<IOperation, TAbstractAnalysisValue> getCachedAbstractValueFromCaller, 40Func<IOperation, AnalysisEntity?> getAnalysisEntityForFlowCapture, 41Func<ISymbol, ImmutableStack<IOperation>?> getInterproceduralCallStackForOwningSymbol) 63public ImmutableStack<IOperation> CallStack { get; } 65public Func<IOperation, TAbstractAnalysisValue> GetCachedAbstractValueFromCaller { get; } 67public Func<IOperation, AnalysisEntity?> GetAnalysisEntityForFlowCapture { get; } 68public Func<ISymbol, ImmutableStack<IOperation>?> GetInterproceduralCallStackForOwningSymbol { get; }

54protected override void SetPredicateValueKind(IOperation operation, TAnalysisData analysisData, PredicateValueKind predicateValueKind)

20ImmutableStack<IOperation>? interproceduralCallStack, 27InterproceduralCallStack = interproceduralCallStack ?? ImmutableStack<IOperation>.Empty; 31internal static ThrownExceptionInfo Create(BasicBlock block, INamedTypeSymbol exceptionType, ImmutableStack<IOperation>? interproceduralCallStack) 36internal static ThrownExceptionInfo CreateDefaultInfoForExceptionsPathAnalysis(BasicBlock block, WellKnownTypeProvider wellKnownTypeProvider, ImmutableStack<IOperation>? interproceduralCallStack) 69internal ThrownExceptionInfo With(BasicBlock block, ImmutableStack<IOperation>? interproceduralCallStack) 91internal ImmutableStack<IOperation> InterproceduralCallStack { get; }

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)

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

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)