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

[Frama-c-discuss] frama-c undefined behaviour during preprocessing




Dear Frama-C Developers, 
I’m using your project with slicing and metrics opetion, I have found some problems I can not fix, while I’m facing a deadline I decided to ask for help from you. 
I use the follwing command: 

gcc -E -C -I.  -dD -D__FRAMAC__  -nostdinc -D__FC_MACHDEP_X86_32 -I/usr/share/frama-c/libc -I../include -I../lib -o tool_help.i tool_help.c
and it will creat tool_help.i, but when I use this .i file it fails with frame-c with the follwing error: 

[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tool_help.i (no preprocessing)
[kernel] syntax error at /root/old/curl/lib/curl_setup_once.h:175:
         173   #ifndef sread
         174     /* */
         175     Error Missing_definition_of_macro_sread
               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
         176     /* */
         177   #endif
[kernel] Frama-C aborted: invalid user input.

The code is from curl github, (/curl/src). 
Please if you kbow what’s wrong, let me know. I have already tried evry possible workaround. Thanks in advance. 

—
Regards, 
Rooney 

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