Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C: #define not taken into account into annotations

Pariente Dillon a ?crit :
> Is there any means to make such annotations compliant with #define?

Hello Dillon,

I haven't tested it, but it seems that there is an option in gcc to do 
that :

     Do not discard comments, including during macro expansion.
     This is like -C, except that comments contained within macros
     are also passed through to the output file where the macro
     is expanded.
     The -CC option is generally used to support lint comments.

Isn't it what you want ?