--- layout: fc_discuss_archives title: Message 80 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?



Hello,

2013/9/12 David Yang <abiao.yang at gmail.com>:
> 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.

I would say you have multiple declaration of type FILE.

Are you sure you are NOT including system standard headers before
pre-processing your C files? You should use Frama-C version of
standard headers instead (in $FRAMA_C_PATH/share/frama-c/libc/).

Best regards,
david