[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