[PATCH] D41151: [analyzer] Adding LoopContext and improve loop modeling

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Or not. Loop counter has its own whole-loop scope.

I guess `LoopContext` can be treated as a sub-class of `ScopeContext`. And i don't mind having `ScopeContext` be split into small distinct sub-classes. Because we're stuck in cornercases for covering all possible scopes, while we're fine with covering only simple scopes (it's better than nothing) and lacking a scope from time to time.


https://reviews.llvm.org/D41151