--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on March 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c fails to open a C file



Hi.

For now, I just want to open a particular C file with frama-c-gui.

The file, bsd-base64.c, can compile fine with 'gcc -c bsd-base64.c'

However, with 'frama-c-gui bsd-base64.c', I got some errors:
> Parsing
> [preprocessing] running gcc -C -E -I.   bsd-base64.c
> /usr/include/ctype.h:48: Error: Constant expression tmp has effects
> /usr/include/ctype.h:48: Fatal error: Constant initializer tmp not an
> integer
> Skipping file "bsd-base64.c" that has errors.

If I run 'gcc -C -E -I. bsd-base64.c > bsd-base64.i' myself, then 'gcc
-c bsd-base64.i' runs ok.

Directly feeding frama-c with the preprocessed output doesn't help:
> Parsing
> /usr/include/ctype.h:48: Error: Constant expression tmp has effects
> /usr/include/ctype.h:48: Fatal error: Constant initializer tmp not an
> integer
> Skipping file "bsd-base64.i" that has errors.

I tried to figure this out but I have been unlucky so far.
So if anyone got an idea about what I've been doing wrong, it would be
of a great help ;)

PS: attached, bsd-base64.i, the output of 'gcc -C -E -I. bsd-base64.c',
my '/usr/include/ctype.h' and a tarball of the files needed from the
project bsd-base64.c is from to generate the preprocessing.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bsd-base64.i.bz2
Type: application/x-bzip
Size: 52461 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090316/b66a74bf/attachment-0003.bin 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bsd-base64.tbz2
Type: application/x-bzip-compressed-tar
Size: 9388 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090316/b66a74bf/attachment-0004.bin 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ctype.h.bz2
Type: application/x-bzip
Size: 3583 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090316/b66a74bf/attachment-0005.bin