--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on July 2019 ---
Le jeu. 18 juil. 2019 à 08:14, Virgile Prevosto <virgile.prevosto at m4x.org> a écrit : > > > I've also tried to play with the -constfold option of the kernel, but > apparently it only operates inside function bodies and not in global > initializers. I'll take that as a feature wish. > > Come to think of it, -constfold is a pretty old option, which dates back to a time where frama-c treated const merely as a decoration to a type. Now that it is more aggressive at tracking down writes into a const location, it would probably make sense to let -constfold expand the value of variables declared as const. Best regards, -- E tutto per oggi, a la prossima volta Virgile -------------- section suivante -------------- Une pièce jointe HTML a été nettoyée... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190718/378022bf/attachment-0001.html>