[PATCH] D16403: Add scope information to CFG

[Artem Dergachev via Phabricator via llvm-commits]

NoQ added a comment.

Hmm. @m.ostapenko @szepet @mgehre - I think it might be a good time to figure out if `ScopeBegin`/`ScopeEnd`, `LoopEntrance`/`LoopExit`, `LifetimeEnds`, `AutomaticObjectDtor` elements work nicely together. How should they be ordered with respect to each other? Is any of these scope representation a superset of another scope representation, or maybe fully covered by other two or three other scope representations? Would anybody be willing to produce some pictures (`-analyzer-checker debug.ViewCFG` and attach here) with current and/or intended behavior? Not sure, i guess `LifetimeEnds` is mostly used in `clang-tidy` so it does not necessarily need to work together with analyzer-specific elements (or maybe it's so great that we should switch to using it), but it would still be great if we had a single scope representation which would be rich enough to satisfy all needs.


Repository:
  rL LLVM

https://reviews.llvm.org/D16403