--- layout: fc_discuss_archives title: Message 23 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
Type: text/x-chdr
Size: 9209 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/ac56aa32/attachment-0002.h 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: unistd.h
Type: text/x-chdr
Size: 40143 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/ac56aa32/attachment-0003.h