[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