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

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



Dear all,

While i analysis a preprocessed file. I add fc_runtime.c by coding:

Kernel.Files.add "/usr/local/share/frama-c/libc/fc_runtime.c"

But an error occurred:
"user error: Incompatible declaration fclose Definitions of type FILE are
not isomorphic "

Here, I don't want this to be an error. What I want is to use the new
declaration of type FILE to continue the analysis without emitting an
error.

How can I achieve that?
Thanks.

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