[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 
(http://lists.llvm.org/pipermail/cfe-dev/2015-December/046653.html). The 
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.

Best regards,
Aleksei Sidorin
Software Engineer,
IMSWL-IMCG, SRR, Samsung Electronics

More information about the cfe-dev mailing list