1 write to ControlFlowConditionKind
Microsoft.CodeAnalysis.AnalyzerUtilities (1)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
58ControlFlowConditionKind = controlFlowConditionKind;
12 references to ControlFlowConditionKind
Microsoft.CodeAnalysis.AnalyzerUtilities (12)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
84controlFlowConditionKind: ControlFlowConditionKind,
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateValueSetFlowOperationVisitor.cs (2)
31branch.ControlFlowConditionKind != ControlFlowConditionKind.None && 36var negate = branch.ControlFlowConditionKind == ControlFlowConditionKind.WhenFalse;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (1)
389var blockToSuccessorBranchKind = successorWithBranch.ControlFlowConditionKind;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (8)
691FlowBranchConditionKind = branch.ControlFlowConditionKind; 694if (branch.ControlFlowConditionKind != 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,