--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on July 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Help with -wp-init-const and static evaluation of constants



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>