--- layout: fc_discuss_archives title: Message 107 from Frama-C-discuss on March 2009 ---
[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 :

-CC
     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 ?

-- 
Anne.