--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on November 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] preprocessor problems with jessie



Hello,

2013/11/7 John Regehr <regehr at cs.utah.edu>:
> I'm simply trying to verify

>From the annotations I assume you are using the Jessie plug-in.

> an example code (below, I believe it is straight
> from the web) but Frama-C is dying with a large amount of preprocessor
> problems as shown in the attached file.

Apparently your code is not using any #include directive so I would
say the issue is related to your local gcc setup.

Can your Frama-C parse the attached C files? If not, maybe you can use
only the Frama-C includes with a command line similar to this one:
 frama-c-gui -cpp-command 'gcc -nostdlib -C -E
-I/usr/local/stow/frama-c-Fluorine-20130601/share/frama-c/libc'

Best regards,
david
-------------- next part --------------
A non-text attachment was scrubbed...
Name: abs.c
Type: text/x-csrc
Size: 68 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131107/73c09635/attachment.c>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: abs-proved.c
Type: text/x-csrc
Size: 203 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131107/73c09635/attachment-0001.c>