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

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Dec 21 15:35:32 PST 2017

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.


More information about the cfe-commits mailing list