On Fri, Jan 15, 2010 at 09:59:03AM +0100, muriel wrote:
> It works, but it not visite the statement itself, it visite the two
> blocks then and else.

Indeed, I didn't understand you wanted to visit If too.

> But I can do it by hand.

Instead of:
     ChangeDoChildrenPost(ifStmt, fun s -> s)
you could use:
      ChangeTo (visitCilStmt self ifStmt)
.

Regards,
-- 
Gabriel Kerneis

------------------------------------------------------------------------------
Throughout its 18-year history, RSA Conference consistently attracts the
world's best and brightest in the field, creating opportunities for Conference
attendees to learn about information security's most important issues through
interactions with peers, luminaries and emerging and established companies.
http://p.sf.net/sfu/rsaconf-dev2dev
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to