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
274 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 (2)
ConvertIfToSwitch\CSharpConvertIfToSwitchCodeRefactoringProvider.Analyzer.cs (1)
19
=> !operation.SemanticModel.AnalyzeControlFlow(operation.Syntax).
EndPointIsReachable
;
ConvertIfToSwitch\CSharpConvertIfToSwitchCodeRefactoringProvider.Rewriting.cs (1)
112
var requiresBreak = operation.SemanticModel.AnalyzeControlFlow(node).
EndPointIsReachable
;
Microsoft.CodeAnalysis.Features (8)
ExtractMethod\MethodExtractor.Analyzer.cs (1)
409
return analysis.
EndPointIsReachable
;
ExtractMethod\SelectionValidator.cs (2)
59
if (!controlFlowAnalysisData.
EndPointIsReachable
)
74
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)
154
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.Semantic.UnitTests (157)
FlowAnalysis\IterationJumpYieldStatementTests.vb (34)
43
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
65
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
94
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
130
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
160
Assert.Equal(True, controlFlowAnalysisResults.
EndPointIsReachable
)
191
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
222
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
254
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
) 'C# is false but VB does not consider New Boolean() as a constant expression
286
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
313
Assert.False(analysisResults.
EndPointIsReachable
)
337
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
368
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
399
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
432
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
463
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
486
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
509
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
532
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
553
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
577
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
616
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
658
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
789
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
845
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
998
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
1208
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
1407
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1445
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1534
Assert.True(analysis.
EndPointIsReachable
)
1557
Assert.False(analysis.
EndPointIsReachable
)
1579
Assert.True(analysis.
EndPointIsReachable
)
1603
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
1633
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
1664
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
FlowAnalysis\RegionAnalysisTests.vb (48)
1044
Assert.False(analysis.
EndPointIsReachable
)
1062
Assert.True(analysis.
EndPointIsReachable
)
1080
Assert.True(analysis.
EndPointIsReachable
)
1301
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1348
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1373
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1397
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1422
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1479
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1587
Assert.False(analysis.
EndPointIsReachable
())
1608
Assert.False(analysis.
EndPointIsReachable
())
1629
Assert.True(analysis.
EndPointIsReachable
())
2225
Assert.Equal(True, controlFlowAnalysisResults.
EndPointIsReachable
)
2262
Assert.Equal(True, controlFlowAnalysisResults.
EndPointIsReachable
)
2619
Assert.Equal(True, controlFlowAnalysisResults.
EndPointIsReachable
)
2779
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
2814
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3044
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3083
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3120
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3157
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3248
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3474
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3513
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3548
Assert.Equal(True, controlFlowAnalysisResults.
EndPointIsReachable
)
3588
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3623
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
3944
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
3985
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
4590
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
6651
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
6850
Assert.False(ctrlFlowResults.
EndPointIsReachable
)
6901
Assert.False(ctrlFlowResults.
EndPointIsReachable
)
7685
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
7707
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
7730
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
7761
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
9332
Assert.True(controlFlowResults.
EndPointIsReachable
)
9375
Assert.True(controlFlowResults.
EndPointIsReachable
)
9418
Assert.True(controlFlowResults.
EndPointIsReachable
)
9469
Assert.True(controlFlowResults.
EndPointIsReachable
)
9521
Assert.True(controlFlowResults.
EndPointIsReachable
)
9565
Assert.True(controlFlowResults.
EndPointIsReachable
)
9611
Assert.True(controlFlowResults.
EndPointIsReachable
)
9662
Assert.True(controlFlowResults.
EndPointIsReachable
)
9708
Assert.True(controlFlowResults.
EndPointIsReachable
)
9791
Assert.True(controlFlowResults.
EndPointIsReachable
)
9830
Assert.True(controlFlowResults.
EndPointIsReachable
)
FlowAnalysis\RegionAnalysisTestsWithStaticLocals.vb (39)
450
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
473
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
497
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
520
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
544
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
652
Assert.False(analysis.
EndPointIsReachable
())
674
Assert.False(analysis.
EndPointIsReachable
())
696
Assert.True(analysis.
EndPointIsReachable
())
1316
Assert.Equal(True, controlFlowAnalysisResults.
EndPointIsReachable
)
1602
Assert.Equal(True, controlFlowAnalysisResults.
EndPointIsReachable
)
1637
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
1729
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
1769
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
1807
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
1845
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
1939
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
2171
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
2211
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
2247
Assert.Equal(True, controlFlowAnalysisResults.
EndPointIsReachable
)
2287
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
2328
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
2510
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
3960
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
4138
Assert.False(ctrlFlowResults.
EndPointIsReachable
)
4507
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
4529
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
4552
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
4584
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
5961
Assert.True(controlFlowResults.
EndPointIsReachable
)
6005
Assert.True(controlFlowResults.
EndPointIsReachable
)
6049
Assert.True(controlFlowResults.
EndPointIsReachable
)
6101
Assert.True(controlFlowResults.
EndPointIsReachable
)
6154
Assert.True(controlFlowResults.
EndPointIsReachable
)
6199
Assert.True(controlFlowResults.
EndPointIsReachable
)
6246
Assert.True(controlFlowResults.
EndPointIsReachable
)
6298
Assert.True(controlFlowResults.
EndPointIsReachable
)
6345
Assert.True(controlFlowResults.
EndPointIsReachable
)
6430
Assert.True(controlFlowResults.
EndPointIsReachable
)
6470
Assert.True(controlFlowResults.
EndPointIsReachable
)
FlowAnalysis\TryLockUsingStatementTests.vb (26)
58
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
108
Assert.True(analysis.
EndPointIsReachable
)
145
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
195
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
242
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
299
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
358
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
415
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
471
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
576
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
620
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
754
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
800
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
849
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
894
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
974
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1033
Assert.False(controlFlowAnalysis.
EndPointIsReachable
)
1126
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1170
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1226
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1281
Assert.True(controlFlowAnalysis.
EndPointIsReachable
)
1372
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
1422
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
1471
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
1520
Assert.False(controlFlowAnalysisResults.
EndPointIsReachable
)
1567
Assert.True(controlFlowAnalysisResults.
EndPointIsReachable
)
Semantics\ForeachTest.vb (1)
1350
Assert.Equal(EndPointIsReachable, analyze.
EndPointIsReachable
)
Semantics\ForLoopTest.vb (1)
616
Assert.Equal(EndPointIsReachable, analyze.
EndPointIsReachable
)
Semantics\GotoTests.vb (4)
63
Assert.False(controlFlowResults.
EndPointIsReachable
)
107
Assert.True(controlFlowResults.
EndPointIsReachable
)
149
Assert.True(controlFlowResults.
EndPointIsReachable
)
174
Assert.False(controlFlowResults.
EndPointIsReachable
)
Semantics\IteratorTests.vb (1)
191
Assert.Equal(True, controlFlowAnalysisResults.
EndPointIsReachable
)
Semantics\WithBlockSemanticModelTests.vb (3)
151
Assert.False(controlFlowResults.
EndPointIsReachable
)
184
Assert.True(controlFlowResults.
EndPointIsReachable
)
216
Assert.True(controlFlowResults.
EndPointIsReachable
)