2 overrides of EndPointIsReachable
Microsoft.CodeAnalysis.CSharp (1)
FlowAnalysis\ControlFlowAnalysis.cs (1)
77public sealed override bool EndPointIsReachable
Microsoft.CodeAnalysis.VisualBasic (1)
Analysis\FlowAnalysis\ControlFlowAnalysis.vb (1)
69Public NotOverridable Overrides ReadOnly Property EndPointIsReachable As Boolean
274 references to EndPointIsReachable
Microsoft.CodeAnalysis.CodeStyle.Fixes (1)
src\Analyzers\Core\CodeFixes\RemoveAsyncModifier\AbstractRemoveAsyncModifierCodeFixProvider.cs (1)
96var needsReturnStatementAdded = controlFlow == null || controlFlow.EndPointIsReachable;
Microsoft.CodeAnalysis.CSharp.Emit3.UnitTests (106)
FlowAnalysis\IterationJumpYieldStatementTests.cs (41)
46Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 79Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 109Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 139Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 169Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 198Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 228Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 257Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 281Assert.False(analysisResults.EndPointIsReachable); 303Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 332Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 361Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 390Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 419Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 448Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 474Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 493Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 512Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 531Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 550Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 572Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 597Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 614Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 691Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 725Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 886Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 937Assert.False(analysis.EndPointIsReachable); 977Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 1005Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 1033Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 1061Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 1104Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 1164Assert.True(ctrlFlow.EndPointIsReachable); 1166Assert.False(ctrlFlow.EndPointIsReachable); 1232Assert.True(ctrlFlow.EndPointIsReachable); 1236Assert.True(ctrlFlow.EndPointIsReachable); 1240Assert.True(ctrlFlow.EndPointIsReachable); 1322Assert.False(ctrlFlow.EndPointIsReachable); 1326Assert.False(ctrlFlow.EndPointIsReachable); 1330Assert.True(ctrlFlow.EndPointIsReachable); 1334Assert.True(ctrlFlow.EndPointIsReachable);
FlowAnalysis\RegionAnalysisTests.cs (35)
2878Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 2910Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 3010Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 3039Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 3073Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 3200Assert.False(analysis.EndPointIsReachable); 3215Assert.True(analysis.EndPointIsReachable); 3230Assert.True(analysis.EndPointIsReachable); 3824Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 3856Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 3888Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 3920Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 3985Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 4018Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 4070Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 4097Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 4205Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 4299Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 4359Assert.False(ctrlFlows.EndPointIsReachable); 4385Assert.True(ctrlFlows.EndPointIsReachable); 4408var tmp = ctrlFlows.EndPointIsReachable; // ensure no exception thrown 4714Assert.True(controlFlow.EndPointIsReachable); 4741Assert.False(controlFlow.EndPointIsReachable); 4767Assert.False(controlFlow.EndPointIsReachable); 4793Assert.True(controlFlow.EndPointIsReachable); 4819Assert.False(controlFlow.EndPointIsReachable); 4845Assert.True(controlFlow.EndPointIsReachable); 4870Assert.True(controlFlow.EndPointIsReachable); 5081Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 5406Assert.True(ctrlFlows.EndPointIsReachable); 8947Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 8973Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 8998Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 9043Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 9092Assert.True(controlFlowAnalysisResults.EndPointIsReachable);
FlowAnalysis\TryLockUsingStatementTests.cs (30)
51Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 88Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 145Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 202Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 261Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 299Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 344Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 405Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 450Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 489Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 533Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 576Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 616Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 661Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 708Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 817Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 863Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 902Assert.True(controlFlowAnalysisResults.EndPointIsReachable); // possible if while (false)... 946Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 995Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 1093Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 1136Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 1183Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 1230Assert.False(controlFlowAnalysisResults.EndPointIsReachable); 1274Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 1314Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 1354Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 1394Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 1419Assert.True(controlFlowAnalysisResults.EndPointIsReachable); 1516Assert.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)
112var requiresBreak = operation.SemanticModel.AnalyzeControlFlow(node).EndPointIsReachable;
Microsoft.CodeAnalysis.Features (8)
ExtractMethod\MethodExtractor.Analyzer.cs (1)
427return analysis.EndPointIsReachable;
ExtractMethod\SelectionValidator.cs (2)
59if (!controlFlowAnalysisData.EndPointIsReachable) 74if (!controlFlowAnalysisData.EndPointIsReachable)
InvertIf\AbstractInvertIfCodeRefactoringProvider.cs (1)
349endPointIsReachable = flow.EndPointIsReachable;
SplitOrMergeIfStatements\Consecutive\AbstractMergeConsecutiveIfStatementsCodeRefactoringProvider.cs (1)
222return !controlFlow.EndPointIsReachable;
SplitOrMergeIfStatements\Consecutive\AbstractSplitIntoConsecutiveIfStatementsCodeRefactoringProvider.cs (1)
154return !controlFlow.EndPointIsReachable;
SplitOrMergeIfStatements\Nested\AbstractMergeNestedIfStatementsCodeRefactoringProvider.cs (1)
224return !controlFlow.EndPointIsReachable;
src\Analyzers\Core\CodeFixes\RemoveAsyncModifier\AbstractRemoveAsyncModifierCodeFixProvider.cs (1)
96var needsReturnStatementAdded = controlFlow == null || controlFlow.EndPointIsReachable;
Microsoft.CodeAnalysis.VisualBasic.Semantic.UnitTests (157)
FlowAnalysis\IterationJumpYieldStatementTests.vb (34)
43Assert.False(controlFlowAnalysis.EndPointIsReachable) 65Assert.False(controlFlowAnalysis.EndPointIsReachable) 94Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 130Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 160Assert.Equal(True, controlFlowAnalysisResults.EndPointIsReachable) 191Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 222Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 254Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 'C# is false but VB does not consider New Boolean() as a constant expression 286Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 313Assert.False(analysisResults.EndPointIsReachable) 337Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 368Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 399Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 432Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 463Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 486Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 509Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 532Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 553Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 577Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 616Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 658Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 789Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 845Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 998Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 1208Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 1407Assert.True(controlFlowAnalysis.EndPointIsReachable) 1445Assert.True(controlFlowAnalysis.EndPointIsReachable) 1534Assert.True(analysis.EndPointIsReachable) 1557Assert.False(analysis.EndPointIsReachable) 1579Assert.True(analysis.EndPointIsReachable) 1603Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 1633Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 1664Assert.False(controlFlowAnalysisResults.EndPointIsReachable)
FlowAnalysis\RegionAnalysisTests.vb (48)
1044Assert.False(analysis.EndPointIsReachable) 1062Assert.True(analysis.EndPointIsReachable) 1080Assert.True(analysis.EndPointIsReachable) 1301Assert.True(controlFlowAnalysis.EndPointIsReachable) 1348Assert.True(controlFlowAnalysis.EndPointIsReachable) 1373Assert.True(controlFlowAnalysis.EndPointIsReachable) 1397Assert.True(controlFlowAnalysis.EndPointIsReachable) 1422Assert.True(controlFlowAnalysis.EndPointIsReachable) 1479Assert.True(controlFlowAnalysis.EndPointIsReachable) 1587Assert.False(analysis.EndPointIsReachable()) 1608Assert.False(analysis.EndPointIsReachable()) 1629Assert.True(analysis.EndPointIsReachable()) 2225Assert.Equal(True, controlFlowAnalysisResults.EndPointIsReachable) 2262Assert.Equal(True, controlFlowAnalysisResults.EndPointIsReachable) 2619Assert.Equal(True, controlFlowAnalysisResults.EndPointIsReachable) 2779Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 2814Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3044Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3083Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3120Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3157Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3248Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3474Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3513Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3548Assert.Equal(True, controlFlowAnalysisResults.EndPointIsReachable) 3588Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3623Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 3944Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 3985Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 4590Assert.True(controlFlowAnalysis.EndPointIsReachable) 6651Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 6850Assert.False(ctrlFlowResults.EndPointIsReachable) 6901Assert.False(ctrlFlowResults.EndPointIsReachable) 7685Assert.False(controlFlowAnalysis.EndPointIsReachable) 7707Assert.False(controlFlowAnalysis.EndPointIsReachable) 7730Assert.False(controlFlowAnalysis.EndPointIsReachable) 7761Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 9332Assert.True(controlFlowResults.EndPointIsReachable) 9375Assert.True(controlFlowResults.EndPointIsReachable) 9418Assert.True(controlFlowResults.EndPointIsReachable) 9469Assert.True(controlFlowResults.EndPointIsReachable) 9521Assert.True(controlFlowResults.EndPointIsReachable) 9565Assert.True(controlFlowResults.EndPointIsReachable) 9611Assert.True(controlFlowResults.EndPointIsReachable) 9662Assert.True(controlFlowResults.EndPointIsReachable) 9708Assert.True(controlFlowResults.EndPointIsReachable) 9791Assert.True(controlFlowResults.EndPointIsReachable) 9830Assert.True(controlFlowResults.EndPointIsReachable)
FlowAnalysis\RegionAnalysisTestsWithStaticLocals.vb (39)
450Assert.True(controlFlowAnalysis.EndPointIsReachable) 473Assert.True(controlFlowAnalysis.EndPointIsReachable) 497Assert.True(controlFlowAnalysis.EndPointIsReachable) 520Assert.True(controlFlowAnalysis.EndPointIsReachable) 544Assert.True(controlFlowAnalysis.EndPointIsReachable) 652Assert.False(analysis.EndPointIsReachable()) 674Assert.False(analysis.EndPointIsReachable()) 696Assert.True(analysis.EndPointIsReachable()) 1316Assert.Equal(True, controlFlowAnalysisResults.EndPointIsReachable) 1602Assert.Equal(True, controlFlowAnalysisResults.EndPointIsReachable) 1637Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 1729Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 1769Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 1807Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 1845Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 1939Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 2171Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 2211Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 2247Assert.Equal(True, controlFlowAnalysisResults.EndPointIsReachable) 2287Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 2328Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 2510Assert.True(controlFlowAnalysis.EndPointIsReachable) 3960Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 4138Assert.False(ctrlFlowResults.EndPointIsReachable) 4507Assert.False(controlFlowAnalysis.EndPointIsReachable) 4529Assert.False(controlFlowAnalysis.EndPointIsReachable) 4552Assert.False(controlFlowAnalysis.EndPointIsReachable) 4584Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 5961Assert.True(controlFlowResults.EndPointIsReachable) 6005Assert.True(controlFlowResults.EndPointIsReachable) 6049Assert.True(controlFlowResults.EndPointIsReachable) 6101Assert.True(controlFlowResults.EndPointIsReachable) 6154Assert.True(controlFlowResults.EndPointIsReachable) 6199Assert.True(controlFlowResults.EndPointIsReachable) 6246Assert.True(controlFlowResults.EndPointIsReachable) 6298Assert.True(controlFlowResults.EndPointIsReachable) 6345Assert.True(controlFlowResults.EndPointIsReachable) 6430Assert.True(controlFlowResults.EndPointIsReachable) 6470Assert.True(controlFlowResults.EndPointIsReachable)
FlowAnalysis\TryLockUsingStatementTests.vb (26)
58Assert.True(controlFlowAnalysis.EndPointIsReachable) 108Assert.True(analysis.EndPointIsReachable) 145Assert.False(controlFlowAnalysis.EndPointIsReachable) 195Assert.True(controlFlowAnalysis.EndPointIsReachable) 242Assert.False(controlFlowAnalysis.EndPointIsReachable) 299Assert.True(controlFlowAnalysis.EndPointIsReachable) 358Assert.False(controlFlowAnalysis.EndPointIsReachable) 415Assert.True(controlFlowAnalysis.EndPointIsReachable) 471Assert.True(controlFlowAnalysis.EndPointIsReachable) 576Assert.True(controlFlowAnalysis.EndPointIsReachable) 620Assert.True(controlFlowAnalysis.EndPointIsReachable) 754Assert.True(controlFlowAnalysis.EndPointIsReachable) 800Assert.True(controlFlowAnalysis.EndPointIsReachable) 849Assert.True(controlFlowAnalysis.EndPointIsReachable) 894Assert.True(controlFlowAnalysis.EndPointIsReachable) 974Assert.True(controlFlowAnalysis.EndPointIsReachable) 1033Assert.False(controlFlowAnalysis.EndPointIsReachable) 1126Assert.True(controlFlowAnalysis.EndPointIsReachable) 1170Assert.True(controlFlowAnalysis.EndPointIsReachable) 1226Assert.True(controlFlowAnalysis.EndPointIsReachable) 1281Assert.True(controlFlowAnalysis.EndPointIsReachable) 1372Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 1422Assert.True(controlFlowAnalysisResults.EndPointIsReachable) 1471Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 1520Assert.False(controlFlowAnalysisResults.EndPointIsReachable) 1567Assert.True(controlFlowAnalysisResults.EndPointIsReachable)
Semantics\ForeachTest.vb (1)
1350Assert.Equal(EndPointIsReachable, analyze.EndPointIsReachable)
Semantics\ForLoopTest.vb (1)
616Assert.Equal(EndPointIsReachable, analyze.EndPointIsReachable)
Semantics\GotoTests.vb (4)
63Assert.False(controlFlowResults.EndPointIsReachable) 107Assert.True(controlFlowResults.EndPointIsReachable) 149Assert.True(controlFlowResults.EndPointIsReachable) 174Assert.False(controlFlowResults.EndPointIsReachable)
Semantics\IteratorTests.vb (1)
191Assert.Equal(True, controlFlowAnalysisResults.EndPointIsReachable)
Semantics\WithBlockSemanticModelTests.vb (3)
151Assert.False(controlFlowResults.EndPointIsReachable) 184Assert.True(controlFlowResults.EndPointIsReachable) 216Assert.True(controlFlowResults.EndPointIsReachable)