36 references to WhenFalse
ILLink.RoslynAnalyzer (1)
DataFlow\ControlFlowGraphProxy.cs (1)
84
ControlFlowConditionKind.
WhenFalse
=> branch.IsConditionalSuccessor ? ConditionKind.WhenFalse : ConditionKind.WhenTrue,
Microsoft.CodeAnalysis (1)
Operations\ControlFlowGraphBuilder.cs (1)
2983
previous.ConditionKind = jumpIfTrue ? ControlFlowConditionKind.WhenTrue : ControlFlowConditionKind.
WhenFalse
;
Microsoft.CodeAnalysis.AnalyzerUtilities (16)
src\683181b2796de991\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (2)
403
var isNullEqualsOnWhenFalse = FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
&&
440
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
&&
src\97c55a67c449f67c\GlobalFlowStateValueSetFlowOperationVisitor.cs (1)
36
var negate = branch.ControlFlowConditionKind == ControlFlowConditionKind.
WhenFalse
;
src\a172c07bebba4cd8\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (2)
340
else if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
&&
460
var isNullNotEqualsOnWhenFalse = FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
&&
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\ControlFlowConditionKindExtensions.cs (2)
15
case ControlFlowConditionKind.
WhenFalse
:
19
return ControlFlowConditionKind.
WhenFalse
;
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (9)
751
if (alwaysTrue && branch.ControlFlowConditionKind == ControlFlowConditionKind.
WhenFalse
||
794
PredicateValueKind.AlwaysTrue => branch.ControlFlowConditionKind == ControlFlowConditionKind.
WhenFalse
,
1456
FlowBranchConditionKind = ControlFlowConditionKind.
WhenFalse
;
1569
predicateValueKind = SetValueForIsNullComparisonOperator(isPatternOperation.Pattern, equals: FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
, targetAnalysisData: targetAnalysisData);
1602
equals: FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
, isReferenceEquality: false, targetAnalysisData: targetAnalysisData);
1621
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
)
1707
if (invocation.Arguments.Length == 1 && FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
)
1832
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
)
1886
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
)
Microsoft.CodeAnalysis.NetAnalyzers (18)
Microsoft.NetCore.Analyzers\Tasks\UseValueTasksCorrectly.cs (2)
309
case ControlFlowConditionKind.
WhenFalse
when completionCondition == false:
313
case ControlFlowConditionKind.
WhenFalse
when completionCondition == true:
src\47c588c5b8785708\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (2)
401
var isNullEqualsOnWhenFalse = FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
&&
438
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
&&
src\8ce1f4f68b646e6d\GlobalFlowStateValueSetFlowOperationVisitor.cs (1)
35
var negate = branch.ControlFlowConditionKind == ControlFlowConditionKind.
WhenFalse
;
src\afc74d572e54ec72\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (2)
337
else if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
&&
457
var isNullNotEqualsOnWhenFalse = FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
&&
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\Extensions\ControlFlowConditionKindExtensions.cs (2)
14
case ControlFlowConditionKind.
WhenFalse
:
18
return ControlFlowConditionKind.
WhenFalse
;
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (9)
748
if (alwaysTrue && branch.ControlFlowConditionKind == ControlFlowConditionKind.
WhenFalse
||
791
PredicateValueKind.AlwaysTrue => branch.ControlFlowConditionKind == ControlFlowConditionKind.
WhenFalse
,
1453
FlowBranchConditionKind = ControlFlowConditionKind.
WhenFalse
;
1566
predicateValueKind = SetValueForIsNullComparisonOperator(isPatternOperation.Pattern, equals: FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
, targetAnalysisData: targetAnalysisData);
1599
equals: FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
, isReferenceEquality: false, targetAnalysisData: targetAnalysisData);
1618
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
)
1704
if (invocation.Arguments.Length == 1 && FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
)
1829
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
)
1883
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenFalse
)