--- layout: fc_discuss_archives title: Message 87 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] "Re: How to ignore Incompatible declarations without emitting errors?"



>
> I don't think so. For me this is complicated (a system header might
> use another system header the defines a symbol identical to one in
> Frama-C's header, even if at first sight both first level included
> files are different) and risky (you might think that a symbol is
> defined by a system header while in fact it is defined by a Frama-C
> one, or vice versa).
> It is probably better to use only Frama-C headers, maybe augmented by
> copied/pasted and annotated version of system ones if Frama-C headers
> are lacking some features.


Dear david,

Thank you very much for this information. It helps a lot.

Best regards,

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