2 overrides of EndPointIsReachable
Microsoft.CodeAnalysis.CSharp (1)
FlowAnalysis\ControlFlowAnalysis.cs (1)
77
public sealed override bool
EndPointIsReachable
Microsoft.CodeAnalysis.VisualBasic (1)
Analysis\FlowAnalysis\ControlFlowAnalysis.vb (1)
69
Public NotOverridable Overrides ReadOnly Property
EndPointIsReachable
As Boolean
144 references to EndPointIsReachable
Microsoft.CodeAnalysis.CodeStyle.Fixes (1)
src\Analyzers\Core\CodeFixes\RemoveAsyncModifier\AbstractRemoveAsyncModifierCodeFixProvider.cs (1)
96
var needsReturnStatementAdded = controlFlow == null || controlFlow.
EndPointIsReachable
;
Microsoft.CodeAnalysis.CSharp.Emit3.UnitTests (106)
FlowAnalysis\IterationJumpYieldStatementTests.cs (41)
46
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
79
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
109
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
139
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
169
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
198
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
228
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
257
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
281
Assert.False(analysisResults.
EndPointIsReachable
);
303
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
332
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
361
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
390
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
419
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
448
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
474
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
493
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
512
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
531
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
550
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
572
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
597
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
614
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
691
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
725
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
886
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
937
Assert.False(analysis.
EndPointIsReachable
);
977
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
1005
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
1033
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
1061
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
1104
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
1164
Assert.True(ctrlFlow.
EndPointIsReachable
);
1166
Assert.False(ctrlFlow.
EndPointIsReachable
);
1232
Assert.True(ctrlFlow.
EndPointIsReachable
);
1236
Assert.True(ctrlFlow.
EndPointIsReachable
);
1240
Assert.True(ctrlFlow.
EndPointIsReachable
);
1322
Assert.False(ctrlFlow.
EndPointIsReachable
);
1326
Assert.False(ctrlFlow.
EndPointIsReachable
);
1330
Assert.True(ctrlFlow.
EndPointIsReachable
);
1334
Assert.True(ctrlFlow.
EndPointIsReachable
);
FlowAnalysis\RegionAnalysisTests.cs (35)
2878
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
2910
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
3010
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
3039
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
3073
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
3200
Assert.False(analysis.
EndPointIsReachable
);
3215
Assert.True(analysis.
EndPointIsReachable
);
3230
Assert.True(analysis.
EndPointIsReachable
);
3824
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
3856
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
3888
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
3920
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
3985
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
4018
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
4070
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
4097
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
4205
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
4299
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
4359
Assert.False(ctrlFlows.
EndPointIsReachable
);
4385
Assert.True(ctrlFlows.
EndPointIsReachable
);
4408
var tmp = ctrlFlows.
EndPointIsReachable
; // ensure no exception thrown
4714
Assert.True(controlFlow.
EndPointIsReachable
);
4741
Assert.False(controlFlow.
EndPointIsReachable
);
4767
Assert.False(controlFlow.
EndPointIsReachable
);
4793
Assert.True(controlFlow.
EndPointIsReachable
);
4819
Assert.False(controlFlow.
EndPointIsReachable
);
4845
Assert.True(controlFlow.
EndPointIsReachable
);
4870
Assert.True(controlFlow.
EndPointIsReachable
);
5081
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
5406
Assert.True(ctrlFlows.
EndPointIsReachable
);
8947
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
8973
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
8998
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
9043
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
9092
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
FlowAnalysis\TryLockUsingStatementTests.cs (30)
51
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
88
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
145
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
202
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
261
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
299
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
344
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
405
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
450
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
489
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
533
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
576
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
616
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
661
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
708
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
817
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
863
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
902
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
); // possible if while (false)...
946
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
995
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
1093
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
1136
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
1183
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
1230
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
);
1274
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
1314
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
1354
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
1394
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
1419
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
);
1516
Assert.True(analysisControlFlow.
EndPointIsReachable
);
Microsoft.CodeAnalysis.CSharp.Features (3)
ConvertIfToSwitch\CSharpConvertIfToSwitchCodeRefactoringProvider.Analyzer.cs (1)
19
=> !operation.SemanticModel.AnalyzeControlFlow(operation.Syntax).
EndPointIsReachable
;
ConvertIfToSwitch\CSharpConvertIfToSwitchCodeRefactoringProvider.Rewriting.cs (1)
111
var requiresBreak = operation.SemanticModel.AnalyzeControlFlow(node).
EndPointIsReachable
;
ExtractMethod\CSharpMethodExtractor.Analyzer.cs (1)
46
endPointIsReachable: controlFlowAnalysis.
EndPointIsReachable
);
Microsoft.CodeAnalysis.Features (6)
ExtractMethod\SelectionResult.cs (1)
298
if (!controlFlowAnalysisData.
EndPointIsReachable
)
InvertIf\AbstractInvertIfCodeRefactoringProvider.cs (1)
349
endPointIsReachable = flow.
EndPointIsReachable
;
SplitOrMergeIfStatements\Consecutive\AbstractMergeConsecutiveIfStatementsCodeRefactoringProvider.cs (1)
222
return !controlFlow.
EndPointIsReachable
;
SplitOrMergeIfStatements\Consecutive\AbstractSplitIntoConsecutiveIfStatementsCodeRefactoringProvider.cs (1)
153
return !controlFlow.
EndPointIsReachable
;
SplitOrMergeIfStatements\Nested\AbstractMergeNestedIfStatementsCodeRefactoringProvider.cs (1)
224
return !controlFlow.
EndPointIsReachable
;
src\Analyzers\Core\CodeFixes\RemoveAsyncModifier\AbstractRemoveAsyncModifierCodeFixProvider.cs (1)
96
var needsReturnStatementAdded = controlFlow == null || controlFlow.
EndPointIsReachable
;
Microsoft.CodeAnalysis.VisualBasic.Features (1)
ExtractMethod\VisualBasicMethodExtractor.Analyzer.vb (1)
56
endPointIsReachable:=controlFlowAnalysis.
EndPointIsReachable
)
Microsoft.CodeAnalysis.VisualBasic.Semantic.UnitTests (27)
FlowAnalysis\IterationJumpYieldStatementTests.vb (9)
307
Assert.False(analysisResults.
EndPointIsReachable
)
457
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
480
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
503
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
526
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
547
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
1528
Assert.True(analysis.
EndPointIsReachable
)
1551
Assert.False(analysis.
EndPointIsReachable
)
1573
Assert.True(analysis.
EndPointIsReachable
)
FlowAnalysis\RegionAnalysisTests.vb (9)
1044
Assert.False(analysis.
EndPointIsReachable
)
1062
Assert.True(analysis.
EndPointIsReachable
)
1080
Assert.True(analysis.
EndPointIsReachable
)
1587
Assert.False(analysis.
EndPointIsReachable
())
1608
Assert.False(analysis.
EndPointIsReachable
())
1629
Assert.True(analysis.
EndPointIsReachable
())
7685
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
7707
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
7730
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
FlowAnalysis\RegionAnalysisTestsWithStaticLocals.vb (6)
651
Assert.False(analysis.
EndPointIsReachable
())
673
Assert.False(analysis.
EndPointIsReachable
())
695
Assert.True(analysis.
EndPointIsReachable
())
4506
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
4528
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
4551
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
FlowAnalysis\TryLockUsingStatementTests.vb (1)
101
Assert.True(analysis.
EndPointIsReachable
)
Semantics\ForeachTest.vb (1)
1347
Assert.Equal(EndPointIsReachable, analyze.
EndPointIsReachable
)
Semantics\ForLoopTest.vb (1)
614
Assert.Equal(EndPointIsReachable, analyze.
EndPointIsReachable
)