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

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

18internal abstract partial class Operation : IOperation

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

103static ITypeSymbol? ResolveType(IOperation conversionOperation) =>

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

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

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

36 public override FeatureChecksValue DefaultVisit (IOperation operation, StateValue state) 80 public static bool? GetLiteralBool (IOperation operation)

39 readonly IOperation OperationBlock; 56 IOperation operationBlock,

82 foreach (IOperation operation in block.Block.Operations) 86 IOperation? branchValueOperation = block.Block.BranchValue; 128 IOperation branchValueOperation, 138 IOperation operation, 141 public abstract TValue HandleArrayElementRead (TValue arrayValue, TValue indexValue, IOperation operation); 143 public abstract void HandleArrayElementWrite (TValue arrayValue, TValue indexValue, TValue valueToWrite, IOperation operation, bool merge); 149 IOperation operation, 154 IOperation branchValueOperation); 166 IOperation operation, 174 TValue ProcessBinderCall (IOperation operation, string methodName, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) { 238 TValue ProcessSingleTargetAssignment (IOperation targetOperation, IAssignmentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, bool merge) 387 var targetOperation = operation.Target; 595 public abstract TValue HandleDelegateCreation (IMethodSymbol methodReference, IOperation operation, in TContext context); 727 IOperation operation, 800 IOperation operation, 802 IOperation? instance,

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

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

103 foreach (var operationBlock in context.OperationBlocks) {

17 public static ValueUsageInfo GetValueUsageInfo (this IOperation operation, ISymbol containingSymbol) 181 public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction (this IOperation? operation) 199 public static bool IsInLeftOfDeconstructionAssignment (this IOperation operation, out IDeconstructionAssignmentOperation? deconstructionAssignment) 203 var previousOperation = operation; 204 var current = operation.Parent; 233 public static bool IsAnyCompoundAssignment (this IOperation operation) 252 public static ISymbol FindContainingSymbol (this IOperation operation, ISymbol owningSymbol) 254 var parent = operation.Parent;

204 var parent = operationContext.Operation.Parent; 346 IOperation operation,

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

26 readonly IOperation _operation; 33 IOperation operation,

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

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

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

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

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

62 public override FeatureChecksValue GetConditionValue (IOperation branchValueOperation, StateValue state) 78 public override MultiValue DefaultVisit (IOperation operation, StateValue argument) 232 public override void HandleAssignment (MultiValue source, MultiValue target, IOperation operation, in FeatureContext featureContext) 244 public override MultiValue HandleArrayElementRead (MultiValue arrayValue, MultiValue indexValue, IOperation operation) 263 public override void HandleArrayElementWrite (MultiValue arrayValue, MultiValue indexValue, MultiValue valueToWrite, IOperation operation, bool merge) 287 IOperation operation, 326 IOperation operation, 348 public override void HandleReturnValue (MultiValue returnValue, IOperation operation, in FeatureContext featureContext) 363 public override void HandleReturnConditionValue (FeatureChecksValue returnConditionValue, IOperation operation) 386 public override MultiValue HandleDelegateCreation (IMethodSymbol method, IOperation operation, in FeatureContext featureContext) 400 private void ProcessGenericArgumentDataFlow (IMethodSymbol method, IOperation operation, in FeatureContext featureContext) 417 private void ProcessGenericArgumentDataFlow (IFieldSymbol field, IOperation operation, in FeatureContext featureContext) 433 static bool TryGetConstantValue (IOperation operation, out MultiValue constValue)

43 IOperation operationBlock) 93 if (block.Block.Operations.FirstOrDefault () is not IOperation op) 115 if (block.Block.Operations.FirstOrDefault () is IOperation firstBlockOp) { 117 } else if (block.Block.BranchValue is IOperation branchOp) {

90/// 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.

90public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 111foreach (var operation in operationBlock.Descendants()) 299static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 328static bool hasAnyExplicitExpression(IOperation operation) 334void countOperator(IOperation operation) 351void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 358void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

260var operationBlock = model.GetOperation(node, context.CancellationToken); 285foreach (var operation in operationBlock.DescendantsAndSelf()) 327static bool hasConditionalLogic(IOperation operation)

76foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

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

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

63public static bool HasNullConstantValue(this IOperation operation) 68public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 80public static bool HasConstantValue(this IOperation operation, long comparand) 85public static bool HasConstantValue(this IOperation operation, ulong comparand) 132public static ImmutableArray<IOperation> WithoutFullyImplicitOperations(this ImmutableArray<IOperation> operations) 134ImmutableArray<IOperation>.Builder? builder = null; 137var operation = operations[i]; 144builder = ImmutableArray.CreateBuilder<IOperation>(); 162public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 169var builder = ImmutableArray.CreateBuilder<IOperation>(); 170var operationsToProcess = new Queue<IOperation>(); 182foreach (var child in operation.Children) 197public static bool IsOperationNoneRoot(this IOperation operation) 205public static IBlockOperation? GetTopmostParentBlock(this IOperation? operation) 207IOperation? currentOperation = operation; 225public static IBlockOperation? GetFirstParentBlock(this IOperation? operation) 227IOperation? currentOperation = operation; 247public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 248where TOperation : class, IOperation 255var ancestor = root; 282public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 289var ancestor = root; 324public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 331for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 355public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, Func<IOperation, bool> predicate) 357foreach (var operationBlock in operationBlocks) 368public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate) 373public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate, [NotNullWhen(returnValue: true)] out IOperation? foundOperation) 375foreach (var descendant in operationBlock.DescendantsAndSelf()) 388public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, OperationKind kind) 431public static IOperation GetRoot(this IOperation operation) 446private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 449public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 466private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 503public static PooledHashSet<ISymbol> GetCaptures(this IOperation operation, IMethodSymbol lambdaOrLocalFunction) 514foreach (var child in operation.Descendants()) 556public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 562public static bool IsWithinExpressionTree(this IOperation operation, [NotNullWhen(true)] INamedTypeSymbol? linqExpressionTreeType) 598[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 603IOperation previousOperation = tupleOperation; 604var currentOperation = tupleOperation.Parent; 636public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 642public static ITypeSymbol? GetInstanceType(this IOperation operation) 644IOperation? instance = operation switch 656public static ISymbol? GetReferencedMemberOrLocalOrParameter(this IOperation? operation) 679public static IOperation WalkDownParentheses(this IOperation operation) 690public static IOperation? WalkUpParentheses(this IOperation? operation) 708public static IOperation WalkDownConversion(this IOperation operation) 725public static IOperation WalkDownConversion(this IOperation operation, Func<IConversionOperation, bool> predicate) 736public static IOperation? WalkUpConversion(this IOperation? operation) 749public static IOperation? GetThrownException(this IThrowOperation operation) 751var thrownObject = operation.Exception; 783where TOperation : class, IOperation 799public static bool HasAnyExplicitDescendant(this IOperation operation, Func<IOperation, bool>? descendIntoOperation = null) 801using var stack = ArrayBuilder<IEnumerator<IOperation>>.GetInstance(); 810var current = enumerator.Current; 839IOperation potentialLeftSide = operation; 912public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 1087public static bool IsInLeftOfDeconstructionAssignment([DisallowNull] this IOperation? operation, out IDeconstructionAssignmentOperation? deconstructionAssignment) 1091var previousOperation = operation; 1123public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 1149public static bool IsAnyCompoundAssignment(this IOperation operation)

32foreach (var block in operationBlocks)

14public static IOperation? GetOperationWalkingUpParentChain(this SemanticModel semanticModel, SyntaxNode node, CancellationToken cancellationToken) 19var operation = semanticModel.GetOperation(node, cancellationToken);

20private static readonly Func<IOperation, ImmutableArray<IOperation>> ElementsAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, ImmutableArray<IOperation>>(WrappedType, nameof(Elements), fallbackResult: default); 22private ICollectionExpressionOperationWrapper(IOperation operation) 27public IOperation WrappedOperation { get; } 29public ImmutableArray<IOperation> Elements => ElementsAccessor(WrappedOperation); 31public static ICollectionExpressionOperationWrapper FromOperation(IOperation operation) 46public static bool IsInstance(IOperation operation)

23private static readonly Func<IOperation, ImmutableArray<IArgumentOperation>> ArgumentsAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, ImmutableArray<IArgumentOperation>>(WrappedType, nameof(Arguments), fallbackResult: ImmutableArray<IArgumentOperation>.Empty); 24private static readonly Func<IOperation, IOperation> TargetAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, IOperation>(WrappedType, nameof(Target), fallbackResult: null!); 26private static readonly Func<IOperation, IMethodSymbol> GetFunctionPointerSignatureAccessor = CreateFunctionPointerSignatureAccessor(WrappedType); 28private static Func<IOperation, IMethodSymbol> CreateFunctionPointerSignatureAccessor(Type? wrappedType) 42var operation = Expression.Variable(typeof(IOperation)); 44return Expression.Lambda<Func<IOperation, IMethodSymbol>>(Expression.Call(targetMethod, Expression.Convert(operation, wrappedType)), operation).Compile(); 47private IFunctionPointerInvocationOperationWrapper(IOperation operation) 52public IOperation WrappedOperation { get; } 55public IOperation Target => TargetAccessor(WrappedOperation); 59public static IFunctionPointerInvocationOperationWrapper FromOperation(IOperation operation) 74public static bool IsInstance(IOperation operation)

13IOperation? WrappedOperation { get; }

19private static readonly Func<IOperation, string> ValueAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, string>(WrappedType, nameof(Value), fallbackResult: null!); 21private IUtf8StringOperationWrapper(IOperation operation) 26public IOperation WrappedOperation { get; } 30public static IUtf8StringOperationWrapper FromOperation(IOperation operation) 45public static bool IsInstance(IOperation operation)

19internal static bool CanWrapOperation(IOperation? operation, Type? underlyingType) 47where TOperation : IOperation

90/// 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.

90public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 111foreach (var operation in operationBlock.Descendants()) 299static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 328static bool hasAnyExplicitExpression(IOperation operation) 334void countOperator(IOperation operation) 351void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 358void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

260var operationBlock = model.GetOperation(node, context.CancellationToken); 285foreach (var operation in operationBlock.DescendantsAndSelf()) 327static bool hasConditionalLogic(IOperation operation)

76foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

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

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

63public static bool HasNullConstantValue(this IOperation operation) 68public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 80public static bool HasConstantValue(this IOperation operation, long comparand) 85public static bool HasConstantValue(this IOperation operation, ulong comparand) 132public static ImmutableArray<IOperation> WithoutFullyImplicitOperations(this ImmutableArray<IOperation> operations) 134ImmutableArray<IOperation>.Builder? builder = null; 137var operation = operations[i]; 144builder = ImmutableArray.CreateBuilder<IOperation>(); 162public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 169var builder = ImmutableArray.CreateBuilder<IOperation>(); 170var operationsToProcess = new Queue<IOperation>(); 182foreach (var child in operation.Children) 197public static bool IsOperationNoneRoot(this IOperation operation) 205public static IBlockOperation? GetTopmostParentBlock(this IOperation? operation) 207IOperation? currentOperation = operation; 225public static IBlockOperation? GetFirstParentBlock(this IOperation? operation) 227IOperation? currentOperation = operation; 247public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 248where TOperation : class, IOperation 255var ancestor = root; 282public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 289var ancestor = root; 324public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 331for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 355public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, Func<IOperation, bool> predicate) 357foreach (var operationBlock in operationBlocks) 368public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate) 373public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate, [NotNullWhen(returnValue: true)] out IOperation? foundOperation) 375foreach (var descendant in operationBlock.DescendantsAndSelf()) 388public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, OperationKind kind) 431public static IOperation GetRoot(this IOperation operation) 446private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 449public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 466private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 503public static PooledHashSet<ISymbol> GetCaptures(this IOperation operation, IMethodSymbol lambdaOrLocalFunction) 514foreach (var child in operation.Descendants()) 556public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 562public static bool IsWithinExpressionTree(this IOperation operation, [NotNullWhen(true)] INamedTypeSymbol? linqExpressionTreeType) 598[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 603IOperation previousOperation = tupleOperation; 604var currentOperation = tupleOperation.Parent; 636public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 642public static ITypeSymbol? GetInstanceType(this IOperation operation) 644IOperation? instance = operation switch 656public static ISymbol? GetReferencedMemberOrLocalOrParameter(this IOperation? operation) 679public static IOperation WalkDownParentheses(this IOperation operation) 690public static IOperation? WalkUpParentheses(this IOperation? operation) 708public static IOperation WalkDownConversion(this IOperation operation) 725public static IOperation WalkDownConversion(this IOperation operation, Func<IConversionOperation, bool> predicate) 736public static IOperation? WalkUpConversion(this IOperation? operation) 749public static IOperation? GetThrownException(this IThrowOperation operation) 751var thrownObject = operation.Exception; 783where TOperation : class, IOperation 799public static bool HasAnyExplicitDescendant(this IOperation operation, Func<IOperation, bool>? descendIntoOperation = null) 801using var stack = ArrayBuilder<IEnumerator<IOperation>>.GetInstance(); 810var current = enumerator.Current; 839IOperation potentialLeftSide = operation; 912public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 1087public static bool IsInLeftOfDeconstructionAssignment([DisallowNull] this IOperation? operation, out IDeconstructionAssignmentOperation? deconstructionAssignment) 1091var previousOperation = operation; 1123public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 1149public static bool IsAnyCompoundAssignment(this IOperation operation)

32foreach (var block in operationBlocks)

14public static IOperation? GetOperationWalkingUpParentChain(this SemanticModel semanticModel, SyntaxNode node, CancellationToken cancellationToken) 19var operation = semanticModel.GetOperation(node, cancellationToken);

20private static readonly Func<IOperation, ImmutableArray<IOperation>> ElementsAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, ImmutableArray<IOperation>>(WrappedType, nameof(Elements), fallbackResult: default); 22private ICollectionExpressionOperationWrapper(IOperation operation) 27public IOperation WrappedOperation { get; } 29public ImmutableArray<IOperation> Elements => ElementsAccessor(WrappedOperation); 31public static ICollectionExpressionOperationWrapper FromOperation(IOperation operation) 46public static bool IsInstance(IOperation operation)

23private static readonly Func<IOperation, ImmutableArray<IArgumentOperation>> ArgumentsAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, ImmutableArray<IArgumentOperation>>(WrappedType, nameof(Arguments), fallbackResult: ImmutableArray<IArgumentOperation>.Empty); 24private static readonly Func<IOperation, IOperation> TargetAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, IOperation>(WrappedType, nameof(Target), fallbackResult: null!); 26private static readonly Func<IOperation, IMethodSymbol> GetFunctionPointerSignatureAccessor = CreateFunctionPointerSignatureAccessor(WrappedType); 28private static Func<IOperation, IMethodSymbol> CreateFunctionPointerSignatureAccessor(Type? wrappedType) 42var operation = Expression.Variable(typeof(IOperation)); 44return Expression.Lambda<Func<IOperation, IMethodSymbol>>(Expression.Call(targetMethod, Expression.Convert(operation, wrappedType)), operation).Compile(); 47private IFunctionPointerInvocationOperationWrapper(IOperation operation) 52public IOperation WrappedOperation { get; } 55public IOperation Target => TargetAccessor(WrappedOperation); 59public static IFunctionPointerInvocationOperationWrapper FromOperation(IOperation operation) 74public static bool IsInstance(IOperation operation)

13IOperation? WrappedOperation { get; }

19private static readonly Func<IOperation, string> ValueAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, string>(WrappedType, nameof(Value), fallbackResult: null!); 21private IUtf8StringOperationWrapper(IOperation operation) 26public IOperation WrappedOperation { get; } 30public static IUtf8StringOperationWrapper FromOperation(IOperation operation) 45public static bool IsInstance(IOperation operation)

19internal static bool CanWrapOperation(IOperation? operation, Type? underlyingType) 47where TOperation : IOperation

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

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

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

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

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

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

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

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

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

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

61var returnedValue = returnOperation.ReturnedValue;

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

41IOperation leftHandSide;

41IOperation leftHandSide;

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

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

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

34var operation = context.SemanticModel.GetOperation(node, cancellationToken);

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

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

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

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

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

2734ImmutableArray<IOperation> getOperationsToAnalyzeWithStackGuard(ImmutableArray<IOperation> operationBlocksToAnalyze) 2746return ImmutableArray<IOperation>.Empty; 2750void executeOperationsActions(ImmutableArray<IOperation> operationsToAnalyze) 2759void executeOperationsActionsByKind(ImmutableArray<IOperation> operationsToAnalyze, GroupedAnalyzerActions groupedActions, bool arePerSymbolActions) 2785void executeOperationsBlockActions(ImmutableArray<IOperation> operationBlocksToAnalyze, ImmutableArray<IOperation> operationsToAnalyze, ArrayBuilder<ExecutableCodeBlockAnalyzerActions> codeBlockActions) 2933private static ImmutableArray<IOperation> GetOperationBlocksToAnalyze( 2938ArrayBuilder<IOperation> operationBlocksToAnalyze = ArrayBuilder<IOperation>.GetInstance(); 2951private static ImmutableArray<IOperation> GetOperationsToAnalyze( 2952ImmutableArray<IOperation> operationBlocks) 2954ArrayBuilder<IOperation> operationsToAnalyze = ArrayBuilder<IOperation>.GetInstance(); 2957foreach (IOperation operationBlock in operationBlocks)

54private Func<IOperation, ControlFlowGraph>? _lazyGetControlFlowGraph; 56private ConcurrentDictionary<IOperation, ControlFlowGraph>? _lazyControlFlowGraphMap; 58private Func<IOperation, ControlFlowGraph> GetControlFlowGraph 693IOperation operation, 842ImmutableArray<IOperation> operationBlocks, 843ImmutableArray<IOperation> operations, 1097ImmutableArray<IOperation> operationsToAnalyze, 1130ImmutableArray<IOperation> operationsToAnalyze, 1143foreach (var operation in operationsToAnalyze) 1523private bool ShouldExecuteOperation(IOperation operation, DiagnosticAnalyzer analyzer, CancellationToken cancellationToken) 1546private ControlFlowGraph GetControlFlowGraphImpl(IOperation operation) 1552Interlocked.CompareExchange(ref _lazyControlFlowGraphMap, new ConcurrentDictionary<IOperation, ControlFlowGraph>(), null); 1572public void OnOperationBlockActionsExecuted(ImmutableArray<IOperation> operationBlocks) 1581foreach (var operationBlock in operationBlocks) 1583var root = operationBlock.GetRootOperation();

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

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

327ImmutableArray<IOperation> operationBlocks, 331Func<IOperation, ControlFlowGraph> getControlFlowGraph,

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

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

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

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

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

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

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

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

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

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

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

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

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

23public readonly partial struct OperationList : IReadOnlyCollection<IOperation> 36public ImmutableArray<IOperation> ToImmutableArray() 41return ImmutableArray<IOperation>.Empty; 47var builder = ArrayBuilder<IOperation>.GetInstance(Count); 48foreach (var child in this) 56IEnumerator<IOperation> IEnumerable<IOperation>.GetEnumerator() 60return SpecializedCollections.EmptyEnumerator<IOperation>(); 66IEnumerator IEnumerable.GetEnumerator() => ((IEnumerable<IOperation>)this).GetEnumerator(); 70public IOperation First() 83public IOperation Last() 121public IOperation Current 144private sealed class EnumeratorImpl : IEnumerator<IOperation> 153public IOperation Current => _enumerator.Current;

25public readonly struct Reversed : IReadOnlyCollection<IOperation> 38public ImmutableArray<IOperation> ToImmutableArray() 44return ImmutableArray<IOperation>.Empty; 50var builder = ArrayBuilder<IOperation>.GetInstance(Count); 51foreach (var child in this) 58static ImmutableArray<IOperation> reverseArray(ImmutableArray<IOperation> input) 60var builder = ArrayBuilder<IOperation>.GetInstance(input.Length); 70IEnumerator<IOperation> IEnumerable<IOperation>.GetEnumerator() 74return SpecializedCollections.EmptyEnumerator<IOperation>(); 80IEnumerator IEnumerable.GetEnumerator() => ((IEnumerable<IOperation>)this).GetEnumerator(); 101public IOperation Current 124private sealed class EnumeratorImpl : IEnumerator<IOperation> 133public IOperation Current => _enumerator.Current;

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

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

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

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

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

19internal static void AddToMap(IOperation root, Dictionary<SyntaxNode, IOperation> dictionary) 25private sealed class Walker : OperationWalker<Dictionary<SyntaxNode, IOperation>> 29public override object? DefaultVisit(IOperation operation, Dictionary<SyntaxNode, IOperation> argument) 35public override object? VisitBinaryOperator([DisallowNull] IBinaryOperation? operation, Dictionary<SyntaxNode, IOperation> argument) 57public override object? VisitConditional(IConditionalOperation operation, Dictionary<SyntaxNode, IOperation> argument) 78public override object? VisitBinaryPattern(IBinaryPatternOperation operation, Dictionary<SyntaxNode, IOperation> argument) 100internal override object? VisitNoneOperation(IOperation operation, Dictionary<SyntaxNode, IOperation> argument) 107private static void RecordOperation(IOperation operation, Dictionary<SyntaxNode, IOperation> argument) 114$"Duplicate operation node for {operation.Syntax}. Existing node is {(argument.TryGetValue(operation.Syntax, out var original) ? (OperationKind?)original.Kind : null)}, new node is {operation.Kind}.");

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

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

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

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

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

551IOperation operation, 828var value = argument.Value.WalkDownConversion(); 889IOperation valueOperation; 890var argumentValueOperation = argumentOperation.Value.WalkDownConversion(); 939private static bool TryGetNonEmptyConstantStringValueCore(IOperation operation, [NotNullWhen(returnValue: true)] out string? literalValue)

69var rawOperation = semanticModel.GetOperation(expression, cancellationToken); 84var rawOperation = semanticModel.GetOperation(expression, cancellationToken); 200IOperation currentOperation = invocationOperation; 221if (invocationOperation.GetInstance() is not IOperation instance)

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

90/// 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.

90public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 111foreach (var operation in operationBlock.Descendants()) 299static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 328static bool hasAnyExplicitExpression(IOperation operation) 334void countOperator(IOperation operation) 351void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 358void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

260var operationBlock = model.GetOperation(node, context.CancellationToken); 285foreach (var operation in operationBlock.DescendantsAndSelf()) 327static bool hasConditionalLogic(IOperation operation)

76foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

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

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

63public static bool HasNullConstantValue(this IOperation operation) 68public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 80public static bool HasConstantValue(this IOperation operation, long comparand) 85public static bool HasConstantValue(this IOperation operation, ulong comparand) 132public static ImmutableArray<IOperation> WithoutFullyImplicitOperations(this ImmutableArray<IOperation> operations) 134ImmutableArray<IOperation>.Builder? builder = null; 137var operation = operations[i]; 144builder = ImmutableArray.CreateBuilder<IOperation>(); 162public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 169var builder = ImmutableArray.CreateBuilder<IOperation>(); 170var operationsToProcess = new Queue<IOperation>(); 182foreach (var child in operation.Children) 197public static bool IsOperationNoneRoot(this IOperation operation) 205public static IBlockOperation? GetTopmostParentBlock(this IOperation? operation) 207IOperation? currentOperation = operation; 225public static IBlockOperation? GetFirstParentBlock(this IOperation? operation) 227IOperation? currentOperation = operation; 247public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 248where TOperation : class, IOperation 255var ancestor = root; 282public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 289var ancestor = root; 324public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 331for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 355public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, Func<IOperation, bool> predicate) 357foreach (var operationBlock in operationBlocks) 368public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate) 373public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate, [NotNullWhen(returnValue: true)] out IOperation? foundOperation) 375foreach (var descendant in operationBlock.DescendantsAndSelf()) 388public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, OperationKind kind) 431public static IOperation GetRoot(this IOperation operation) 446private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 449public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 466private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 503public static PooledHashSet<ISymbol> GetCaptures(this IOperation operation, IMethodSymbol lambdaOrLocalFunction) 514foreach (var child in operation.Descendants()) 556public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 562public static bool IsWithinExpressionTree(this IOperation operation, [NotNullWhen(true)] INamedTypeSymbol? linqExpressionTreeType) 598[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 603IOperation previousOperation = tupleOperation; 604var currentOperation = tupleOperation.Parent; 636public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 642public static ITypeSymbol? GetInstanceType(this IOperation operation) 644IOperation? instance = operation switch 656public static ISymbol? GetReferencedMemberOrLocalOrParameter(this IOperation? operation) 679public static IOperation WalkDownParentheses(this IOperation operation) 690public static IOperation? WalkUpParentheses(this IOperation? operation) 708public static IOperation WalkDownConversion(this IOperation operation) 725public static IOperation WalkDownConversion(this IOperation operation, Func<IConversionOperation, bool> predicate) 736public static IOperation? WalkUpConversion(this IOperation? operation) 749public static IOperation? GetThrownException(this IThrowOperation operation) 751var thrownObject = operation.Exception; 783where TOperation : class, IOperation 799public static bool HasAnyExplicitDescendant(this IOperation operation, Func<IOperation, bool>? descendIntoOperation = null) 801using var stack = ArrayBuilder<IEnumerator<IOperation>>.GetInstance(); 810var current = enumerator.Current; 839IOperation potentialLeftSide = operation; 912public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 1087public static bool IsInLeftOfDeconstructionAssignment([DisallowNull] this IOperation? operation, out IDeconstructionAssignmentOperation? deconstructionAssignment) 1091var previousOperation = operation; 1123public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 1149public static bool IsAnyCompoundAssignment(this IOperation operation)

32foreach (var block in operationBlocks)

14public static IOperation? GetOperationWalkingUpParentChain(this SemanticModel semanticModel, SyntaxNode node, CancellationToken cancellationToken) 19var operation = semanticModel.GetOperation(node, cancellationToken);

20private static readonly Func<IOperation, ImmutableArray<IOperation>> ElementsAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, ImmutableArray<IOperation>>(WrappedType, nameof(Elements), fallbackResult: default); 22private ICollectionExpressionOperationWrapper(IOperation operation) 27public IOperation WrappedOperation { get; } 29public ImmutableArray<IOperation> Elements => ElementsAccessor(WrappedOperation); 31public static ICollectionExpressionOperationWrapper FromOperation(IOperation operation) 46public static bool IsInstance(IOperation operation)

23private static readonly Func<IOperation, ImmutableArray<IArgumentOperation>> ArgumentsAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, ImmutableArray<IArgumentOperation>>(WrappedType, nameof(Arguments), fallbackResult: ImmutableArray<IArgumentOperation>.Empty); 24private static readonly Func<IOperation, IOperation> TargetAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, IOperation>(WrappedType, nameof(Target), fallbackResult: null!); 26private static readonly Func<IOperation, IMethodSymbol> GetFunctionPointerSignatureAccessor = CreateFunctionPointerSignatureAccessor(WrappedType); 28private static Func<IOperation, IMethodSymbol> CreateFunctionPointerSignatureAccessor(Type? wrappedType) 42var operation = Expression.Variable(typeof(IOperation)); 44return Expression.Lambda<Func<IOperation, IMethodSymbol>>(Expression.Call(targetMethod, Expression.Convert(operation, wrappedType)), operation).Compile(); 47private IFunctionPointerInvocationOperationWrapper(IOperation operation) 52public IOperation WrappedOperation { get; } 55public IOperation Target => TargetAccessor(WrappedOperation); 59public static IFunctionPointerInvocationOperationWrapper FromOperation(IOperation operation) 74public static bool IsInstance(IOperation operation)

13IOperation? WrappedOperation { get; }

19private static readonly Func<IOperation, string> ValueAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, string>(WrappedType, nameof(Value), fallbackResult: null!); 21private IUtf8StringOperationWrapper(IOperation operation) 26public IOperation WrappedOperation { get; } 30public static IUtf8StringOperationWrapper FromOperation(IOperation operation) 45public static bool IsInstance(IOperation operation)

19internal static bool CanWrapOperation(IOperation? operation, Type? underlyingType) 47where TOperation : IOperation

72GetCSharpExpectedDiagnostic(25, 29, violatingTypeName: typeof(IOperation).FullName) 125GetBasicExpectedDiagnostic(25, 35, violatingTypeName: typeof(IOperation).FullName)

90/// 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.

90public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 111foreach (var operation in operationBlock.Descendants()) 299static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 328static bool hasAnyExplicitExpression(IOperation operation) 334void countOperator(IOperation operation) 351void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 358void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

260var operationBlock = model.GetOperation(node, context.CancellationToken); 285foreach (var operation in operationBlock.DescendantsAndSelf()) 327static bool hasConditionalLogic(IOperation operation)

76foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

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

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

63public static bool HasNullConstantValue(this IOperation operation) 68public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 80public static bool HasConstantValue(this IOperation operation, long comparand) 85public static bool HasConstantValue(this IOperation operation, ulong comparand) 132public static ImmutableArray<IOperation> WithoutFullyImplicitOperations(this ImmutableArray<IOperation> operations) 134ImmutableArray<IOperation>.Builder? builder = null; 137var operation = operations[i]; 144builder = ImmutableArray.CreateBuilder<IOperation>(); 162public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 169var builder = ImmutableArray.CreateBuilder<IOperation>(); 170var operationsToProcess = new Queue<IOperation>(); 182foreach (var child in operation.Children) 197public static bool IsOperationNoneRoot(this IOperation operation) 205public static IBlockOperation? GetTopmostParentBlock(this IOperation? operation) 207IOperation? currentOperation = operation; 225public static IBlockOperation? GetFirstParentBlock(this IOperation? operation) 227IOperation? currentOperation = operation; 247public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 248where TOperation : class, IOperation 255var ancestor = root; 282public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 289var ancestor = root; 324public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 331for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 355public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, Func<IOperation, bool> predicate) 357foreach (var operationBlock in operationBlocks) 368public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate) 373public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate, [NotNullWhen(returnValue: true)] out IOperation? foundOperation) 375foreach (var descendant in operationBlock.DescendantsAndSelf()) 388public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, OperationKind kind) 431public static IOperation GetRoot(this IOperation operation) 446private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 449public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 466private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 503public static PooledHashSet<ISymbol> GetCaptures(this IOperation operation, IMethodSymbol lambdaOrLocalFunction) 514foreach (var child in operation.Descendants()) 556public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 562public static bool IsWithinExpressionTree(this IOperation operation, [NotNullWhen(true)] INamedTypeSymbol? linqExpressionTreeType) 598[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 603IOperation previousOperation = tupleOperation; 604var currentOperation = tupleOperation.Parent; 636public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 642public static ITypeSymbol? GetInstanceType(this IOperation operation) 644IOperation? instance = operation switch 656public static ISymbol? GetReferencedMemberOrLocalOrParameter(this IOperation? operation) 679public static IOperation WalkDownParentheses(this IOperation operation) 690public static IOperation? WalkUpParentheses(this IOperation? operation) 708public static IOperation WalkDownConversion(this IOperation operation) 725public static IOperation WalkDownConversion(this IOperation operation, Func<IConversionOperation, bool> predicate) 736public static IOperation? WalkUpConversion(this IOperation? operation) 749public static IOperation? GetThrownException(this IThrowOperation operation) 751var thrownObject = operation.Exception; 783where TOperation : class, IOperation 799public static bool HasAnyExplicitDescendant(this IOperation operation, Func<IOperation, bool>? descendIntoOperation = null) 801using var stack = ArrayBuilder<IEnumerator<IOperation>>.GetInstance(); 810var current = enumerator.Current; 839IOperation potentialLeftSide = operation; 912public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 1087public static bool IsInLeftOfDeconstructionAssignment([DisallowNull] this IOperation? operation, out IDeconstructionAssignmentOperation? deconstructionAssignment) 1091var previousOperation = operation; 1123public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 1149public static bool IsAnyCompoundAssignment(this IOperation operation)

32foreach (var block in operationBlocks)

14public static IOperation? GetOperationWalkingUpParentChain(this SemanticModel semanticModel, SyntaxNode node, CancellationToken cancellationToken) 19var operation = semanticModel.GetOperation(node, cancellationToken);

20private static readonly Func<IOperation, ImmutableArray<IOperation>> ElementsAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, ImmutableArray<IOperation>>(WrappedType, nameof(Elements), fallbackResult: default); 22private ICollectionExpressionOperationWrapper(IOperation operation) 27public IOperation WrappedOperation { get; } 29public ImmutableArray<IOperation> Elements => ElementsAccessor(WrappedOperation); 31public static ICollectionExpressionOperationWrapper FromOperation(IOperation operation) 46public static bool IsInstance(IOperation operation)

23private static readonly Func<IOperation, ImmutableArray<IArgumentOperation>> ArgumentsAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, ImmutableArray<IArgumentOperation>>(WrappedType, nameof(Arguments), fallbackResult: ImmutableArray<IArgumentOperation>.Empty); 24private static readonly Func<IOperation, IOperation> TargetAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, IOperation>(WrappedType, nameof(Target), fallbackResult: null!); 26private static readonly Func<IOperation, IMethodSymbol> GetFunctionPointerSignatureAccessor = CreateFunctionPointerSignatureAccessor(WrappedType); 28private static Func<IOperation, IMethodSymbol> CreateFunctionPointerSignatureAccessor(Type? wrappedType) 42var operation = Expression.Variable(typeof(IOperation)); 44return Expression.Lambda<Func<IOperation, IMethodSymbol>>(Expression.Call(targetMethod, Expression.Convert(operation, wrappedType)), operation).Compile(); 47private IFunctionPointerInvocationOperationWrapper(IOperation operation) 52public IOperation WrappedOperation { get; } 55public IOperation Target => TargetAccessor(WrappedOperation); 59public static IFunctionPointerInvocationOperationWrapper FromOperation(IOperation operation) 74public static bool IsInstance(IOperation operation)

13IOperation? WrappedOperation { get; }

19private static readonly Func<IOperation, string> ValueAccessor = LightupHelpers.CreateOperationPropertyAccessor<IOperation, string>(WrappedType, nameof(Value), fallbackResult: null!); 21private IUtf8StringOperationWrapper(IOperation operation) 26public IOperation WrappedOperation { get; } 30public static IUtf8StringOperationWrapper FromOperation(IOperation operation) 45public static bool IsInstance(IOperation operation)

19internal static bool CanWrapOperation(IOperation? operation, Type? underlyingType) 47where TOperation : IOperation

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

49public static IEnumerable<IOperation> DescendantOperations(this BasicBlock basicBlock) 51foreach (var statement in basicBlock.Operations) 53foreach (var operation in statement.DescendantsAndSelf()) 61foreach (var operation in basicBlock.BranchValue.DescendantsAndSelf()) 152foreach (var operation in finallyRegion.DescendantOperations(cfg))

17public static IEnumerable<IOperation> DescendantOperations(this ControlFlowGraph cfg) 21foreach (IOperation operation in block.DescendantOperations()) 29where T : IOperation 31foreach (var descendant in cfg.DescendantOperations())

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)

40public override CopyAnalysisData Flow(IOperation statement, BasicBlock block, CopyAnalysisData input) 95protected override CopyAbstractValue GetCopyAbstractValue(IOperation operation) => base.GetCachedAbstractValue(operation); 107protected override void SetAbstractValueForAssignment(AnalysisEntity targetAnalysisEntity, IOperation? assignedValueOperation, CopyAbstractValue assignedValue) 119protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, CopyAbstractValue assignedValue) 306protected override CopyAbstractValue ComputeAnalysisValueForReferenceOperation(IOperation operation, CopyAbstractValue defaultValue) 328IOperation leftOperand, 329IOperation rightOperand, 381protected override PredicateValueKind SetValueForIsNullComparisonOperator(IOperation leftOperand, bool equals, CopyAnalysisData targetAnalysisData) => PredicateValueKind.Unknown; 595public 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;

79protected override DisposeAbstractValue HandleInstanceCreation(IOperation creation, PointsToAbstractValue instanceLocation, DisposeAbstractValue defaultValue) 106private void HandleDisposingOperation(IOperation disposingOperation, IOperation? disposedInstance) 124private void HandlePossibleInvalidatingOperation(IOperation invalidatedInstance) 137private void HandlePossibleEscapingOperation(IOperation escapingOperation, ImmutableHashSet<AbstractLocation> escapedLocations) 150protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, DisposeAbstractValue value) 156protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, DisposeAbstractValue assignedValue, bool mayBeAssignment = false) 162protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, DisposeAbstractValue assignedValue) 218public override DisposeAbstractValue DefaultVisit(IOperation operation, object? argument) 224public override DisposeAbstractValue Visit(IOperation? operation, object? argument) 234protected override void HandlePossibleThrowingOperation(IOperation operation) 257IOperation? visitedInstance, 260IOperation originalOperation,

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

20/// 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"/>. 70Func<IOperation, ValueContentAbstractValue>? getValueContentValueForAdditionalSupportedValueTypeOperation = null) 100Func<IOperation, ValueContentAbstractValue>? getValueContentValueForAdditionalSupportedValueTypeOperation = null)

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

110IOperation? visitedInstance, 113IOperation originalOperation,

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

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

96protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, ParameterValidationAbstractValue assignedValue, bool mayBeAssignment = false) 105protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, ParameterValidationAbstractValue assignedValue) 110protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, ParameterValidationAbstractValue value) 145private void MarkValidatedLocations(IOperation operation) 148private IEnumerable<AbstractLocation> GetNotValidatedLocations(IOperation operation) 154private static bool IsHazardousIfNull(IOperation operation) 173private void HandlePotentiallyHazardousOperation(IOperation operation, IEnumerable<AbstractLocation> nonValidatedLocations) 219public override ParameterValidationAbstractValue Visit(IOperation? operation, object? argument) 251IOperation? visitedInstance, 254IOperation originalOperation, 265IOperation originalOperation, 276IOperation originalOperation, 284private void ProcessRegularInvocationOrCreation(IMethodSymbol? targetMethod, ImmutableArray<IArgumentOperation> arguments, IOperation operation) 355private void ProcessLambdaOrLocalFunctionInvocation(IMethodSymbol targetMethod, IOperation invocation)

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

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

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

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

28private readonly PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder> _escapedOperationLocationsBuilder; 29private readonly PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder> _escapedReturnValueLocationsBuilder; 42_escapedOperationLocationsBuilder = PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder>.GetInstance(); 43_escapedReturnValueLocationsBuilder = PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder>.GetInstance(); 51public ImmutableDictionary<IOperation, ImmutableHashSet<AbstractLocation>> GetEscapedLocationsThroughOperationsMap() 54public ImmutableDictionary<IOperation, ImmutableHashSet<AbstractLocation>> GetEscapedLocationsThroughReturnValuesMap() 97public override PointsToAnalysisData Flow(IOperation statement, BasicBlock block, PointsToAnalysisData input) 167protected override PointsToAbstractValue GetPointsToAbstractValue(IOperation operation) => base.GetCachedAbstractValue(operation); 193protected override CopyAbstractValue GetCopyAbstractValue(IOperation operation) 210protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, PointsToAbstractValue assignedValue) 271protected override PointsToAbstractValue ComputeAnalysisValueForReferenceOperation(IOperation operation, PointsToAbstractValue defaultValue) 330protected override void ProcessReturnValue(IOperation? returnValue) 342private protected override PointsToAbstractValue GetAbstractValueForImplicitWrappingTaskCreation(IOperation returnValueOperation, PointsToAbstractValue returnValue, PointsToAbstractValue implicitTaskPointsToValue) 359IOperation leftOperand, 360IOperation rightOperand, 378protected override PredicateValueKind SetValueForIsNullComparisonOperator(IOperation leftOperand, bool equals, PointsToAnalysisData targetAnalysisData) 386IOperation target, 387IOperation assignedValueOperation, 397IOperation target, 625private void HandleEscapingOperation(IOperation escapingOperation, IOperation escapedInstance) 630private void HandleEscapingOperation(IOperation escapingOperation, IOperation escapedInstance, PooledDictionary<IOperation, ImmutableHashSet<AbstractLocation>.Builder> builder) 635foreach (var capturedOperation in escapedInstancePointsToValue.LValueCapturedOperations) 716private void HandlePossibleEscapingForAssignment(IOperation target, IOperation value, IOperation operation) 728protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, PointsToAbstractValue assignedValue, bool mayBeAssignment = false) 738protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, PointsToAbstractValue value) 749public override PointsToAbstractValue DefaultVisit(IOperation operation, object? argument) 785IOperation? currentInstanceOperation = operation.GetInstance(IsInsideAnonymousObjectInitializer); 797where TOperation : IOperation 919private PointsToAbstractValue VisitInvocationCommon(IOperation operation, IOperation? instance) 940IOperation? visitedInstance, 943IOperation originalOperation, 1027IOperation originalOperation, 1037IOperation originalOperation, 1050private NullAbstractValue GetNullStateBasedOnInstanceOrReferenceValue(IOperation? referenceOrInstance, ITypeSymbol? operationType, NullAbstractValue defaultValue) 1066private PointsToAbstractValue GetValueBasedOnInstanceOrReferenceValue(IOperation? referenceOrInstance, IOperation operation, PointsToAbstractValue defaultValue) 1207IOperation operation,

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)

133protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, PropertySetAbstractValue value) 137protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, PropertySetAbstractValue assignedValue, bool mayBeAssignment = false) 141protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, PropertySetAbstractValue assignedValue) 198out IOperation? propertySetInstance)) 230if (this.TryUnwrapFlowCaptureReference(operation.Target, out IOperation? lValueOperation, OperationKind.PropertyReference, OperationKind.FieldReference)) 277this.TryUnwrapFlowCaptureReference(operation.Target, out IOperation? lValue, OperationKind.PropertyReference); 454public override PropertySetAbstractValue VisitInvocation_NonLambdaOrDelegateOrLocalFunction(IMethodSymbol method, IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments, bool invokedAsDelegate, IOperation originalOperation, PropertySetAbstractValue defaultValue) 476IOperation? propertySetInstance = visitedInstance; 514[NotNullWhen(returnValue: true)] out IOperation? instance) 530IOperation value = argumentOperation.Value; 595IOperation propertySetInstance, 633public override PropertySetAbstractValue VisitInvocation_LocalFunction(IMethodSymbol localFunction, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, PropertySetAbstractValue defaultValue) 641public override PropertySetAbstractValue VisitInvocation_Lambda(IFlowAnonymousFunctionOperation lambda, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, PropertySetAbstractValue defaultValue) 649protected override void ProcessReturnValue(IOperation? returnValue) 666private void MergeInterproceduralResults(IOperation originalOperation) 703private bool TryUnwrapFlowCaptureReference(IOperation flowCaptureReferenceOperation, [NotNullWhen(returnValue: true)] out IOperation? unwrappedOperation, params OperationKind[] kinds) 711IOperation lValueOperation = lValuePointsToAbstractValue.LValueCapturedOperations.First();

175public override TaintedDataAbstractValue DefaultVisit(IOperation operation, object? argument) 184foreach (IOperation childOperation in operation.Children) 230protected override TaintedDataAbstractValue ComputeAnalysisValueForReferenceOperation(IOperation operation, TaintedDataAbstractValue defaultValue) 262IOperation? visitedInstance, 265IOperation originalOperation, 351IOperation? thenTaintedTargetOperation = visitedInstance != null && thenTaintedTarget == TaintedTargetValue.This 356var operation = visitedInstance != null && ifTaintedParameter == TaintedTargetValue.This 422public override TaintedDataAbstractValue VisitInvocation_LocalFunction(IMethodSymbol localFunction, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, TaintedDataAbstractValue defaultValue) 436public override TaintedDataAbstractValue VisitInvocation_Lambda(IFlowAnonymousFunctionOperation lambda, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, TaintedDataAbstractValue defaultValue) 490.Select<IOperation, TaintedDataAbstractValue>(this.GetCachedAbstractValue) 560IOperation originalOperation) 762private void SetTaintedForEntity(IOperation operation, TaintedDataAbstractValue value)

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)

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,

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];

29private readonly Dictionary<IOperation, AnalysisEntity?> _analysisEntityMap; 34private readonly Func<IOperation, PointsToAbstractValue>? _getPointsToAbstractValue; 38private readonly ImmutableStack<IOperation>? _interproceduralCallStack; 39private readonly Func<IOperation, AnalysisEntity?>? _interproceduralGetAnalysisEntityForFlowCapture; 40private readonly Func<ISymbol, ImmutableStack<IOperation>?> _getInterproceduralCallStackForOwningSymbol; 45Func<IOperation, PointsToAbstractValue>? getPointsToAbstractValue, 51ImmutableStack<IOperation>? interproceduralCallStack, 53Func<IOperation, AnalysisEntity?>? interproceduralGetAnalysisEntityForFlowCapture, 54Func<ISymbol, ImmutableStack<IOperation>?> getInterproceduralCallStackForOwningSymbol) 92where T : IOperation 108private static AbstractIndex CreateAbstractIndex(IOperation operation) 124public bool TryCreate(IOperation operation, [NotNullWhen(returnValue: true)] out AnalysisEntity? analysisEntity) 134IOperation? instance = null; 315IOperation? instance = null; 348if (tupleOperation.TryGetParentTupleOperation(out var parentTupleOperationOpt, out var elementOfParentTupleContainingTuple) && 409public bool TryGetForInterproceduralAnalysis(IOperation operation, out AnalysisEntity? analysisEntity) 412private AnalysisEntity GetOrCreateForFlowCapture(CaptureId captureId, ITypeSymbol? type, IOperation flowCaptureOrReference, bool isLValueFlowCapture) 439ITypeSymbol type, IOperation? instance, [NotNullWhen(returnValue: true)] out AnalysisEntity? analysisEntity) 531ImmutableStack<IOperation>? interproceduralCallStackForSymbolDeclaration; 539interproceduralCallStackForSymbolDeclaration = ImmutableStack<IOperation>.Empty;

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

17/// 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. 25private static readonly BoundedCache<IOperation, SingleThreadedConcurrentDictionary<TAnalysisContext, TAnalysisResult>> s_resultCache = 757foreach (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,

45private readonly ImmutableDictionary<IOperation, TAbstractAnalysisValue>.Builder _valueCacheBuilder; 46private readonly ImmutableDictionary<IOperation, PredicateValueKind>.Builder _predicateValueKindCacheBuilder; 49private readonly HashSet<IOperation> _visitedFlowBranchConditions; 51private readonly HashSet<IOperation>? _returnValueOperations; 111private readonly Stack<IOperation> _interproceduralCallStack; 116private readonly ImmutableDictionary<IOperation, IDataFlowAnalysisResult<TAbstractAnalysisValue>>.Builder _interproceduralResultsBuilder; 150public ImmutableDictionary<IOperation, IDataFlowAnalysisResult<TAbstractAnalysisValue>> InterproceduralResultsMap => _interproceduralResultsBuilder.ToImmutable(); 273_valueCacheBuilder = ImmutableDictionary.CreateBuilder<IOperation, TAbstractAnalysisValue>(); 274_predicateValueKindCacheBuilder = ImmutableDictionary.CreateBuilder<IOperation, PredicateValueKind>(); 279_returnValueOperations = OwningSymbol is IMethodSymbol method && !method.ReturnsVoid ? new HashSet<IOperation>() : null; 280_interproceduralResultsBuilder = ImmutableDictionary.CreateBuilder<IOperation, IDataFlowAnalysisResult<TAbstractAnalysisValue>>(); 287_interproceduralCallStack = new Stack<IOperation>(); 296foreach (var operation in analysisContext.InterproceduralAnalysisData.CallStack) 375foreach (var operation in _returnValueOperations) 417public virtual TAnalysisData Flow(IOperation statement, BasicBlock block, TAnalysisData input) 426private void AfterVisitRoot(IOperation operation) 432foreach (var descendant in operation.DescendantsAndSelf()) 804IOperation returnValueOperation, 812protected virtual void ProcessReturnValue(IOperation? returnValue) 827private TAbstractAnalysisValue GetAbstractValueForReturnOperation(IOperation returnValueOperation, out PointsToAbstractValue? implicitTaskPointsToValue) 848protected virtual void HandlePossibleThrowingOperation(IOperation operation) 867IOperation? instance = null; 868IOperation? invocation = null; 928protected virtual TAnalysisData GetMergedAnalysisDataForPossibleThrowingOperation(TAnalysisData? existingData, IOperation operation) 1017internal ImmutableDictionary<IOperation, TAbstractAnalysisValue> GetStateMap() => _valueCacheBuilder.ToImmutable(); 1019internal ImmutableDictionary<IOperation, PredicateValueKind> GetPredicateValueKindMap() => _predicateValueKindCacheBuilder.ToImmutable(); 1043public TAbstractAnalysisValue GetCachedAbstractValue(IOperation operation) 1077protected void CacheAbstractValue(IOperation operation, TAbstractAnalysisValue value) 1087protected NullAbstractValue GetNullAbstractValue(IOperation operation) => GetPointsToAbstractValue(operation).NullState; 1089protected virtual CopyAbstractValue GetCopyAbstractValue(IOperation operation) 1101protected virtual PointsToAbstractValue GetPointsToAbstractValue(IOperation operation) 1113protected virtual ValueContentAbstractValue GetValueContentAbstractValue(IOperation operation) 1125protected ImmutableHashSet<AbstractLocation> GetEscapedLocations(IOperation operation) 1209protected virtual TAbstractAnalysisValue ComputeAnalysisValueForReferenceOperation(IOperation operation, TAbstractAnalysisValue defaultValue) 1245IOperation sourceOperand, 1248IOperation operation, 1384private void PerformPredicateAnalysis(IOperation operation) 1493var current = operation.Parent; 1513var current = operation.Parent; 1542private void PerformPredicateAnalysisCore(IOperation operation, TAnalysisData targetAnalysisData) 1713IOperation? leftOperand = null; 1714IOperation? rightOperand = null; 1786bool IsNotNullWhenFalse(IOperation operation) 1804bool IsNotNullWhenTrue(IOperation operation) 1823protected virtual void SetPredicateValueKind(IOperation operation, TAnalysisData analysisData, PredicateValueKind predicateValueKind) 1892protected virtual PredicateValueKind SetValueForEqualsOrNotEqualsComparisonOperator(IOperation leftOperand, IOperation rightOperand, bool equals, bool isReferenceEquality, TAnalysisData targetAnalysisData) 1898protected virtual PredicateValueKind SetValueForIsNullComparisonOperator(IOperation leftOperand, bool equals, TAnalysisData targetAnalysisData) 1937protected virtual void ProcessThrowValue(IOperation? thrownValue) 1944protected abstract void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, TAbstractAnalysisValue value); 1945protected abstract void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, TAbstractAnalysisValue assignedValue, bool mayBeAssignment = false); 1946protected abstract void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, TAbstractAnalysisValue assignedValue); 1947private void HandleFlowCaptureReferenceAssignment(IFlowCaptureReferenceOperation flowCaptureReference, IOperation assignedValueOperation, TAbstractAnalysisValue assignedValue) 1960var target = pointsToValue.LValueCapturedOperations.First(); 1971foreach (var capturedOperation in pointsToValue.LValueCapturedOperations) 1982foreach (var capturedOperation in pointsToValue.LValueCapturedOperations) 2022private void ResetValueTypeInstanceAnalysisData(IOperation operation) 2041private void ResetReferenceTypeInstanceAnalysisData(IOperation operation) 2059private void ResetInstanceAnalysisData(IOperation? operation) 2187protected bool TryGetInterproceduralAnalysisResult(IOperation operation, [NotNullWhen(returnValue: true)] out TAnalysisResult? analysisResult) 2202IOperation? instanceReceiver, 2204IOperation originalOperation, 2345var popped = _interproceduralCallStack.Pop(); 2572AnalysisEntity? GetAnalysisEntityForFlowCapture(IOperation operation) 2758protected TAbstractAnalysisValue VisitArray(IEnumerable<IOperation> operations, object? argument) 2760foreach (var operation in operations) 2768public override TAbstractAnalysisValue Visit(IOperation? operation, object? argument) 2803private TAbstractAnalysisValue VisitCore(IOperation operation, object? argument) 2822public override TAbstractAnalysisValue DefaultVisit(IOperation operation, object? argument) 2903IOperation elementInitializer = operation.ElementValues[index]; 3285using var methodTargetsOptBuilder = PooledHashSet<(IMethodSymbol method, IOperation? instance)>.GetInstance(); 3310PooledHashSet<(IMethodSymbol method, IOperation? instance)> methodTargetsOptBuilder, 3315IOperation operation, 3316PooledHashSet<(IMethodSymbol method, IOperation? instance)> methodTargetsOptBuilder, 3321IOperation? operation, 3323PooledHashSet<(IMethodSymbol method, IOperation? instance)> methodTargetsOptBuilder, 3329IOperation? instance; 3377void AddMethodTarget(IMethodSymbol method, IOperation? instance) 3391bool HandleCreationOpt(IOperation? creation) 3436out ImmutableHashSet<(IMethodSymbol method, IOperation? instance)>? resolvedMethodTargets) 3440using var methodTargetsOptBuilder = PooledHashSet<(IMethodSymbol method, IOperation? instance)>.GetInstance(); 3533IOperation? visitedInstance, 3536IOperation originalOperation, 3564private ImmutableStack<IOperation>? GetInterproceduralCallStackForOwningSymbol(ISymbol forOwningSymbol) 3577IOperation originalOperation, 3595IOperation originalOperation, 3635public virtual void HandleEnterLockOperation(IOperation lockedObject) 3667foreach (var element in operation.Elements) 3685var assignedValueOperation = operation.Elements[i]; 3693foreach (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)

19ImmutableStack<IOperation>? interproceduralCallStack, 26InterproceduralCallStack = interproceduralCallStack ?? ImmutableStack<IOperation>.Empty; 30internal static ThrownExceptionInfo Create(BasicBlock block, INamedTypeSymbol exceptionType, ImmutableStack<IOperation>? interproceduralCallStack) 35internal static ThrownExceptionInfo CreateDefaultInfoForExceptionsPathAnalysis(BasicBlock block, WellKnownTypeProvider wellKnownTypeProvider, ImmutableStack<IOperation>? interproceduralCallStack) 68internal ThrownExceptionInfo With(BasicBlock block, ImmutableStack<IOperation>? interproceduralCallStack) 90internal ImmutableStack<IOperation> InterproceduralCallStack { get; }

90/// 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.

90public static ComputationalComplexityMetrics Compute(IOperation operationBlock) 111foreach (var operation in operationBlock.Descendants()) 299static int getExecutableLinesOfCode(IOperation operation, ref bool hasSymbolInitializer) 328static bool hasAnyExplicitExpression(IOperation operation) 334void countOperator(IOperation operation) 351void countBinaryOperator(IOperation operation, BinaryOperatorKind operatorKind) 358void countUnaryOperator(IOperation operation, UnaryOperatorKind operatorKind)

260var operationBlock = model.GetOperation(node, context.CancellationToken); 285foreach (var operation in operationBlock.DescendantsAndSelf()) 327static bool hasConditionalLogic(IOperation operation)

76foreach (var operation in operationBlockAnalysisContext.OperationBlocks)

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

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

63public static bool HasNullConstantValue(this IOperation operation) 68public static bool TryGetBoolConstantValue(this IOperation operation, out bool constantValue) 80public static bool HasConstantValue(this IOperation operation, long comparand) 85public static bool HasConstantValue(this IOperation operation, ulong comparand) 132public static ImmutableArray<IOperation> WithoutFullyImplicitOperations(this ImmutableArray<IOperation> operations) 134ImmutableArray<IOperation>.Builder? builder = null; 137var operation = operations[i]; 144builder = ImmutableArray.CreateBuilder<IOperation>(); 162public static ImmutableArray<IOperation> GetTopmostExplicitDescendants(this IOperation operation) 169var builder = ImmutableArray.CreateBuilder<IOperation>(); 170var operationsToProcess = new Queue<IOperation>(); 182foreach (var child in operation.Children) 197public static bool IsOperationNoneRoot(this IOperation operation) 205public static IBlockOperation? GetTopmostParentBlock(this IOperation? operation) 207IOperation? currentOperation = operation; 225public static IBlockOperation? GetFirstParentBlock(this IOperation? operation) 227IOperation? currentOperation = operation; 247public static TOperation? GetAncestor<TOperation>(this IOperation root, OperationKind ancestorKind, Func<TOperation, bool>? predicate = null) 248where TOperation : class, IOperation 255var ancestor = root; 282public static IOperation? GetAncestor(this IOperation root, ImmutableArray<OperationKind> ancestorKinds, Func<IOperation, bool>? predicate = null) 289var ancestor = root; 324public static IOperation? GetInstance(this IInstanceReferenceOperation operation, bool isInsideAnonymousObjectInitializer) 331for (IOperation? current = operation; current != null && current.Kind != OperationKind.Block; current = current.Parent) 355public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, Func<IOperation, bool> predicate) 357foreach (var operationBlock in operationBlocks) 368public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate) 373public static bool HasAnyOperationDescendant(this IOperation operationBlock, Func<IOperation, bool> predicate, [NotNullWhen(returnValue: true)] out IOperation? foundOperation) 375foreach (var descendant in operationBlock.DescendantsAndSelf()) 388public static bool HasAnyOperationDescendant(this ImmutableArray<IOperation> operationBlocks, OperationKind kind) 431public static IOperation GetRoot(this IOperation operation) 446private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 449public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 466private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 503public static PooledHashSet<ISymbol> GetCaptures(this IOperation operation, IMethodSymbol lambdaOrLocalFunction) 514foreach (var child in operation.Descendants()) 556public static bool IsWithinLambdaOrLocalFunction(this IOperation operation, [NotNullWhen(true)] out IOperation? containingLambdaOrLocalFunctionOperation) 562public static bool IsWithinExpressionTree(this IOperation operation, [NotNullWhen(true)] INamedTypeSymbol? linqExpressionTreeType) 598[NotNullWhen(returnValue: true)] out IOperation? elementOfParentTupleContainingTuple) 603IOperation previousOperation = tupleOperation; 604var currentOperation = tupleOperation.Parent; 636public static IOperation? GetInstance(this IInvocationOperation invocationOperation) 642public static ITypeSymbol? GetInstanceType(this IOperation operation) 644IOperation? instance = operation switch 656public static ISymbol? GetReferencedMemberOrLocalOrParameter(this IOperation? operation) 679public static IOperation WalkDownParentheses(this IOperation operation) 690public static IOperation? WalkUpParentheses(this IOperation? operation) 708public static IOperation WalkDownConversion(this IOperation operation) 725public static IOperation WalkDownConversion(this IOperation operation, Func<IConversionOperation, bool> predicate) 736public static IOperation? WalkUpConversion(this IOperation? operation) 749public static IOperation? GetThrownException(this IThrowOperation operation) 751var thrownObject = operation.Exception; 783where TOperation : class, IOperation 799public static bool HasAnyExplicitDescendant(this IOperation operation, Func<IOperation, bool>? descendIntoOperation = null) 801using var stack = ArrayBuilder<IEnumerator<IOperation>>.GetInstance(); 810var current = enumerator.Current; 839IOperation potentialLeftSide = operation; 912public static ValueUsageInfo GetValueUsageInfo(this IOperation operation, ISymbol containingSymbol) 1087public static bool IsInLeftOfDeconstructionAssignment([DisallowNull] this IOperation? operation, out IDeconstructionAssignmentOperation? deconstructionAssignment) 1091var previousOperation = operation; 1123public static IMethodSymbol? TryGetContainingAnonymousFunctionOrLocalFunction(this IOperation? operation) 1149public static bool IsAnyCompoundAssignment(this IOperation operation)

32foreach (var block in operationBlocks)

14public static IOperation? GetOperationWalkingUpParentChain(this SemanticModel semanticModel, SyntaxNode node, CancellationToken cancellationToken) 19var operation = semanticModel.GetOperation(node, cancellationToken);