Howdy,

> For "If" statement nodes, is there any easy way to know which of the
> statements in the "succs" list corresponds to the "then" (or "else")
> branch?

I'm pretty sure that you can get at this information by looking into the
If stmtkind used by CIL.  It is defined is:

If of exp * block * block * location

where the first block is the "then" branch and the second block is the
"else" branch.  You could then unpack the block of interest and try to
match it to one of the succs.

Peace,
-Roy

------------------------------------------------------------------------------
Crystal Reports - New Free Runtime and 30 Day Trial
Check out the new simplified licensing option that enables unlimited
royalty-free distribution of the report engine for externally facing 
server and web deployment.
http://p.sf.net/sfu/businessobjects
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to