--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on March 2012 ---
2012/3/16 Virgile Prevosto <virgile.prevosto at m4x.org>: > > 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 -------------- section suivante -------------- Une pi?ce jointe autre que texte a ?t? nettoy?e... Nom: insert_stmt.ml Type: text/x-ocaml Taille: 1671 octets Desc: non disponible URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120316/f85b2b3b/attachment.bin>