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