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