[cfe-dev] [Analyzer] ScopeContext implementation
Aleksei Sidorin via cfe-dev
cfe-dev at lists.llvm.org
Fri Apr 1 10:20:39 PDT 2016
We have developed a static analyzer feature to handle scope enter/exit.
It may be useful to check variable lifetime. It may also solve some
issues pointed on "Lifetime checker" discussion
implementation of this feature is based on the patch that is currently
on the review (http://reviews.llvm.org/D16403).
In our implementation, local variables have ScopeLocalsSpaceRegion (a
special kind of MemorySpace) as their parent.
Before I'll put this on review, (it will take 2-3 weeks because I'm
going on a vacation), I want to ask some questions.
1. Should we eliminate StackLocalsSpaceRegion? As I understand, it
should be replaced by ScopeLocalsSpaceRegion.
2. Is there any activity on http://reviews.llvm.org/D16403? If no, I'm
going to fix the issues with this review since our patch strongly
depends on it.
IMSWL-IMCG, SRR, Samsung Electronics
More information about the cfe-dev