--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on March 2012 ---
> 2012/3/16 Virgile Prevosto<virgile.prevosto at m4x.org <http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss>>: > >/ > />/ The attached script contains a very basic visitor that generates a new > / > Oops, I forgot that since the visitor adds some statement, It'd be > better to recompute the cfg afterwards. The issue does not show up > when printing the code, but doing a real analysis (e.g. -val) would > result in a lot of trouble if the cfg is not correct. Attached is a > correct version. Sorry for the noise. > > -- > E tutto per oggi, a la prossima volta > Virgile Thanks for your help! I'll take a look at your script and see how I can adapt it to my needs. Cheers, Pierre -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120316/a490b9a6/attachment.html>