[PATCH] D127874: [analyzer] Reimplement UnreachableCodeChecker using worklists

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

In D127874#3628112 <https://reviews.llvm.org/D127874#3628112>, @martong wrote:

>> I don't think any of the issues mentioned in this patch relates to strongly connected components, thus I don't think I can answer to this question.
>
> In your example above, repeated here:
>
>   #6(entry)      #2(goto a;)
>    |              |        ^
>   #5(goto end;)   |         \
>    |             #4(goto b;) |
>   #1(end:)        |          |
>    |             #3(goto c;) |
>   #0(exit)         \________/
>
> [#2, #4, #3] is a strongly connected (and unreachable) component  of the CFG, isn't it?

Upsz, I've made a mistake. I wanted to write **connected components** without the **strongly** adverb. Please remove the **strongly** from all my comments above.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D127874/new/

https://reviews.llvm.org/D127874