--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on April 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Error on using pp-annot



On Tue, Apr 1, 2014 at 9:36 PM, Frank Dordowsky <frank at strato.de> wrote:

> That was a pointer to the right direction. However, the option
> -ffreestanding did not work. With help of a C guru at my office I
> found another option that did the trick: -fpreprocessed <stdc-predef.h>.
> My complete command now reads:
>
> frama-c -cpp-extra-args="-I `frama-c -print-share-path`/libc"
> -cpp-extra-args="-nostdinc" -cpp-extra-args="-fpreprocessed
> </path/to/stdc-predef.h>" -wp -wp-rte -pp-annot constant.c
>

According to a later message in a GCC mailing list, you still seem to be
having problems (http://article.gmane.org/gmane.comp.gcc.help/46584/ ).

An alternative solution would be to use Clang to pre-process your files. It
uses the same syntax for its commandline down to the options that cause
only pre-processing to happen.

Could we see the file stdc-predef.h that is so terrible, or a minimal C
file pre-processed by GCC 4.8.2?

Regards,

Pascal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20140406/7b46835f/attachment.html>