On Mon, Apr 27, 2009 at 02:14:45PM -0400, Elnatan Reisner wrote: > I don't know why changing s.succs didn't work,
Because this is a read-only field, computed by Cfg. It contains control-flow graph information, nothing else. > but I think you should be able to use ChangeTo if you replace 's' with a > statement with skind Block and put the list of statements you want into that > Block. Indeed. I do this all the time in CPC and it works very well. http://www.pps.jussieu.fr/~kerneis/software/repos/cpc/stable/src/ext/cpc.ml Look for example at add_goto src dst which adds a goto to dst just after src. Regards, -- Gabriel Kerneis ------------------------------------------------------------------------------ Crystal Reports - New Free Runtime and 30 Day Trial Check out the new simplified licensign 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
