Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Frama-c fails to open a C file
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
  • Date: Mon, 16 Mar 2009 12:27:44 +0100
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