[cfe-dev] CFG blocks and variable scope
clattner at apple.com
Sat Mar 28 19:25:19 CDT 2009
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?
More information about the cfe-dev