[cfe-dev] CFG blocks and variable scope

[Chris Lattner]

On Mar 28, 2009, at 5:23 PM, Ted Kremenek wrote:

>> Would it make sense for the CFG to contain a "virtual statement"  
>> saying "variable x destroyed here"?  This would be a natural way to  
>> handle C++ dtors and would also be useful in C, because you'd know  
>> the end of the variable's life.  CFG construction would handle this  
>> as it is walking the scopes.
>>
> Yes, this is the approach I was envisioning.  We still need the  
> scope information to be available during CFG construction.


For declstmt's?  I think the AST has enough information to know  
scopes. What is missing?

-Chris