[cfe-dev] Correspondence between AST and the CFG

[Ted Kremenek]

Hi Prakash,

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.

Ted

On Jun 24, 2010, at 7:45 AM, Prakash Prabhu wrote:

> Hi,
> 
> 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 ?
> 
> thanks,
> Prakash
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev