--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Dead code that shouldn't be



On Fri, 2008-12-12 at 11:07 +0100, Pascal Cuoq wrote:
> CIL refuses to link on my non-linux platform.
I'm indeed working on linux.

> I get warnings such as...
I attached socket.h and unistd.h from my system.

> would it be possible for you to make a self-contained analysis
> project that contained all the headers used by the C files and
> to post it somewhere?
What platform are you on ? So I can test the self-contained analysis
project before sending it to you.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: socket.h.bz2
Type: application/x-bzip
Size: 3008 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/9d4c6c9c/attachment-0002.bin 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: unistd.h.bz2
Type: application/x-bzip
Size: 10063 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/9d4c6c9c/attachment-0003.bin