151 references to ControlFlowConditionKind
GenerateDocumentationAndConfigFiles (2)
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
142if (current.ConditionKind != ControlFlowConditionKind.None) 150if (constant == (current.ConditionKind == ControlFlowConditionKind.WhenTrue))
ILLink.RoslynAnalyzer (4)
DataFlow\ControlFlowGraphProxy.cs (3)
83ControlFlowConditionKind.None => ConditionKind.Unconditional, 84ControlFlowConditionKind.WhenFalse => branch.IsConditionalSuccessor ? ConditionKind.WhenFalse : ConditionKind.WhenTrue, 85ControlFlowConditionKind.WhenTrue => branch.IsConditionalSuccessor ? ConditionKind.WhenTrue : ConditionKind.WhenFalse,
DataFlow\LocalDataFlowVisitor.cs (1)
92if (block.Block.ConditionKind != ControlFlowConditionKind.None)
Microsoft.CodeAnalysis (7)
Operations\BasicBlock.cs (2)
32ControlFlowConditionKind conditionKind, 68public ControlFlowConditionKind ConditionKind { get; }
Operations\ControlFlowGraphBuilder.BasicBlockBuilder.cs (2)
28public ControlFlowConditionKind ConditionKind; 115bool result = ConditionKind != ControlFlowConditionKind.None;
Operations\ControlFlowGraphBuilder.cs (3)
286if (constant == (current.ConditionKind == ControlFlowConditionKind.WhenTrue)) 2983previous.ConditionKind = jumpIfTrue ? ControlFlowConditionKind.WhenTrue : ControlFlowConditionKind.WhenFalse;
Microsoft.CodeAnalysis.Analyzers (2)
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
142if (current.ConditionKind != ControlFlowConditionKind.None) 150if (constant == (current.ConditionKind == ControlFlowConditionKind.WhenTrue))
Microsoft.CodeAnalysis.AnalyzerUtilities (63)
src\683181b2796de991\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (5)
395var isNullNotEqualsOnWhenTrue = FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue && 403var isNullEqualsOnWhenFalse = FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse && 440if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse && 447if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue && 462if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue)
src\97c55a67c449f67c\GlobalFlowStateValueSetFlowOperationVisitor.cs (2)
31branch.ControlFlowConditionKind != ControlFlowConditionKind.None && 36var negate = branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenFalse;
src\a172c07bebba4cd8\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (4)
340else if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse && 452var isNullEqualsOnWhenTrue = FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue && 460var isNullNotEqualsOnWhenFalse = FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse && 486if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (6)
35controlFlowConditionKind: ControlFlowConditionKind.None, 48ControlFlowConditionKind controlFlowConditionKind, 70public ControlFlowConditionKind ControlFlowConditionKind { get; } 91ControlFlowConditionKind controlFlowConditionKind) 121private static ControlFlowConditionKind GetControlFlowConditionKind(ControlFlowBranch branch) 124branch.Source.ConditionKind == ControlFlowConditionKind.None)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\ControlFlowConditionKindExtensions.cs (6)
11public static ControlFlowConditionKind Negate(this ControlFlowConditionKind controlFlowConditionKind) 15case ControlFlowConditionKind.WhenFalse: 16return ControlFlowConditionKind.WhenTrue; 18case ControlFlowConditionKind.WhenTrue: 19return ControlFlowConditionKind.WhenFalse;
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (4)
86using var _4 = PooledDictionary<int, (int Ordinal, ControlFlowConditionKind BranchKind)?>.GetInstance(out var blockToUniqueInputFlowMap); 192PooledDictionary<int, (int Ordinal, ControlFlowConditionKind BranchKind)?> blockToUniqueInputFlowMap, 388var blockToSuccessorBranchKind = successorWithBranch.ControlFlowConditionKind; 671var successor = branch.With(branchValue: null, controlFlowConditionKind: ControlFlowConditionKind.None);
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (34)
196protected ControlFlowConditionKind FlowBranchConditionKind { get; private set; } 694if (branch.ControlFlowConditionKind != ControlFlowConditionKind.None) 714FlowBranchConditionKind = ControlFlowConditionKind.None; 745Debug.Assert(branch.ControlFlowConditionKind != ControlFlowConditionKind.None); 751if (alwaysTrue && branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenFalse || 752!alwaysTrue && branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenTrue) 788Debug.Assert(branch.ControlFlowConditionKind != ControlFlowConditionKind.None); 792PredicateValueKind.AlwaysFalse => branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenTrue, 794PredicateValueKind.AlwaysTrue => branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenFalse, 1397if (FlowBranchConditionKind == ControlFlowConditionKind.None || !IsRootOfCondition()) 1419FlowBranchConditionKind = ControlFlowConditionKind.WhenTrue; 1422FlowBranchConditionKind = ControlFlowConditionKind.None; 1451FlowBranchConditionKind = ControlFlowConditionKind.WhenTrue; 1456FlowBranchConditionKind = ControlFlowConditionKind.WhenFalse; 1459FlowBranchConditionKind = ControlFlowConditionKind.None; 1547Debug.Assert(FlowBranchConditionKind != ControlFlowConditionKind.None); 1554predicateValueKind = SetValueForIsNullComparisonOperator(isNullOperation.Operand, equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue, targetAnalysisData: targetAnalysisData); 1569predicateValueKind = SetValueForIsNullComparisonOperator(isPatternOperation.Pattern, equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse, targetAnalysisData: targetAnalysisData); 1574if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue) 1584if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue) 1594equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue, isReferenceEquality: false, targetAnalysisData: targetAnalysisData); 1602equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse, isReferenceEquality: false, targetAnalysisData: targetAnalysisData); 1609if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue) 1621if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse) 1629else if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue) 1692predicateValueKind = ApplyPredicatedDataForEntity(targetAnalysisData, flowCaptureReferenceEntity, trueData: FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue); 1707if (invocation.Arguments.Length == 1 && FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse) 1751equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue, 1832if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse) 1854Debug.Assert(FlowBranchConditionKind != ControlFlowConditionKind.None); 1886if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse) 3079Debug.Assert(FlowBranchConditionKind == ControlFlowConditionKind.None); 3082FlowBranchConditionKind = ControlFlowConditionKind.WhenTrue; 3084FlowBranchConditionKind = ControlFlowConditionKind.None;
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
142if (current.ConditionKind != ControlFlowConditionKind.None) 150if (constant == (current.ConditionKind == ControlFlowConditionKind.WhenTrue))
Microsoft.CodeAnalysis.CodeStyle (2)
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
142if (current.ConditionKind != ControlFlowConditionKind.None) 150if (constant == (current.ConditionKind == ControlFlowConditionKind.WhenTrue))
Microsoft.CodeAnalysis.NetAnalyzers (65)
Microsoft.NetCore.Analyzers\Tasks\UseValueTasksCorrectly.cs (4)
308case ControlFlowConditionKind.WhenTrue when completionCondition == true: 309case ControlFlowConditionKind.WhenFalse when completionCondition == false: 312case ControlFlowConditionKind.WhenTrue when completionCondition == false: 313case ControlFlowConditionKind.WhenFalse when completionCondition == true:
src\47c588c5b8785708\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (5)
393var isNullNotEqualsOnWhenTrue = FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue && 401var isNullEqualsOnWhenFalse = FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse && 438if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse && 445if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue && 460if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue)
src\8ce1f4f68b646e6d\GlobalFlowStateValueSetFlowOperationVisitor.cs (2)
30branch.ControlFlowConditionKind != ControlFlowConditionKind.None && 35var negate = branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenFalse;
src\afc74d572e54ec72\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (4)
337else if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse && 449var isNullEqualsOnWhenTrue = FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue && 457var isNullNotEqualsOnWhenFalse = FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse && 483if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue)
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\BranchWithInfo.cs (6)
34controlFlowConditionKind: ControlFlowConditionKind.None, 47ControlFlowConditionKind controlFlowConditionKind, 69public ControlFlowConditionKind ControlFlowConditionKind { get; } 90ControlFlowConditionKind controlFlowConditionKind) 120private static ControlFlowConditionKind GetControlFlowConditionKind(ControlFlowBranch branch) 123branch.Source.ConditionKind == ControlFlowConditionKind.None)
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\Extensions\ControlFlowConditionKindExtensions.cs (6)
10public static ControlFlowConditionKind Negate(this ControlFlowConditionKind controlFlowConditionKind) 14case ControlFlowConditionKind.WhenFalse: 15return ControlFlowConditionKind.WhenTrue; 17case ControlFlowConditionKind.WhenTrue: 18return ControlFlowConditionKind.WhenFalse;
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (4)
84using var blockToUniqueInputFlowMap = PooledDictionary<int, (int Ordinal, ControlFlowConditionKind BranchKind)?>.GetInstance(); 190PooledDictionary<int, (int Ordinal, ControlFlowConditionKind BranchKind)?> blockToUniqueInputFlowMap, 386var blockToSuccessorBranchKind = successorWithBranch.ControlFlowConditionKind; 669var successor = branch.With(branchValue: null, controlFlowConditionKind: ControlFlowConditionKind.None);
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (34)
193protected ControlFlowConditionKind FlowBranchConditionKind { get; private set; } 691if (branch.ControlFlowConditionKind != ControlFlowConditionKind.None) 711FlowBranchConditionKind = ControlFlowConditionKind.None; 742Debug.Assert(branch.ControlFlowConditionKind != ControlFlowConditionKind.None); 748if (alwaysTrue && branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenFalse || 749!alwaysTrue && branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenTrue) 785Debug.Assert(branch.ControlFlowConditionKind != ControlFlowConditionKind.None); 789PredicateValueKind.AlwaysFalse => branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenTrue, 791PredicateValueKind.AlwaysTrue => branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenFalse, 1394if (FlowBranchConditionKind == ControlFlowConditionKind.None || !IsRootOfCondition()) 1416FlowBranchConditionKind = ControlFlowConditionKind.WhenTrue; 1419FlowBranchConditionKind = ControlFlowConditionKind.None; 1448FlowBranchConditionKind = ControlFlowConditionKind.WhenTrue; 1453FlowBranchConditionKind = ControlFlowConditionKind.WhenFalse; 1456FlowBranchConditionKind = ControlFlowConditionKind.None; 1544Debug.Assert(FlowBranchConditionKind != ControlFlowConditionKind.None); 1551predicateValueKind = SetValueForIsNullComparisonOperator(isNullOperation.Operand, equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue, targetAnalysisData: targetAnalysisData); 1566predicateValueKind = SetValueForIsNullComparisonOperator(isPatternOperation.Pattern, equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse, targetAnalysisData: targetAnalysisData); 1571if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue) 1581if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue) 1591equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue, isReferenceEquality: false, targetAnalysisData: targetAnalysisData); 1599equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse, isReferenceEquality: false, targetAnalysisData: targetAnalysisData); 1606if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue) 1618if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse) 1626else if (FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue) 1689predicateValueKind = ApplyPredicatedDataForEntity(targetAnalysisData, flowCaptureReferenceEntity, trueData: FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue); 1704if (invocation.Arguments.Length == 1 && FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse) 1748equals: FlowBranchConditionKind == ControlFlowConditionKind.WhenTrue, 1829if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse) 1851Debug.Assert(FlowBranchConditionKind != ControlFlowConditionKind.None); 1883if (FlowBranchConditionKind == ControlFlowConditionKind.WhenFalse) 3076Debug.Assert(FlowBranchConditionKind == ControlFlowConditionKind.None); 3079FlowBranchConditionKind = ControlFlowConditionKind.WhenTrue; 3081FlowBranchConditionKind = ControlFlowConditionKind.None;
Microsoft.CodeAnalysis.ResxSourceGenerator (2)
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
142if (current.ConditionKind != ControlFlowConditionKind.None) 150if (constant == (current.ConditionKind == ControlFlowConditionKind.WhenTrue))
Microsoft.CodeAnalysis.Workspaces (2)
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
142if (current.ConditionKind != ControlFlowConditionKind.None) 150if (constant == (current.ConditionKind == ControlFlowConditionKind.WhenTrue))
Roslyn.Diagnostics.Analyzers (2)
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
142if (current.ConditionKind != ControlFlowConditionKind.None) 150if (constant == (current.ConditionKind == ControlFlowConditionKind.WhenTrue))