[cfe-dev] Correspondence between AST and the CFG
kremenek at apple.com
Mon Jun 28 18:08:33 CDT 2010
When you say "CFG", are you talking about the LLVM IR or the source-level CFGs that clang supports for some warnings and static analysis? For the latter, the source-level CFGs are just a layer on top of the original ASTs; the elements of the basic blocks are the original AST nodes.
On Jun 24, 2010, at 7:45 AM, Prakash Prabhu wrote:
> I am just curious to find out whether any correspondence between AST nodes and CFG is maintained in clang ? For instance, is it possible to find out once a CFG is generated, what nodes in the CFG correspond to a CompoundStmt node in the AST ? I guess this correspondence will be blurred once more and more transformations are done the CFG, but if one is interested in only doing an analysis on the CFG based on some information available from the AST (for instance analyzing flow information on those CFG nodes that correspond to certain CompoundStmts, or certain try... catch sequences), is there a simple way to do it ?
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
More information about the cfe-dev