[cfe-dev] Variable Scope Checking

Ted Kremenek kremenek at apple.com
Tue Jul 23 14:41:12 PDT 2013


No, scopes are not modeled in the CFG, and code in a basic block can possibly span multiple scopes.

On Jul 23, 2013, at 2:31 PM, Christian Wailes <chriswailes at google.com> wrote:

> When traversing a function's CFG is there a way to see if a variable is leaving scope at the end of the block or to get a list of variables that are leaving scope at the end of a block?
> 
> - Chris
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130723/8ef52794/attachment.html>


More information about the cfe-dev mailing list