--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on July 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Casting to a generic function pointer



2018-07-04 15:21 GMT+02:00 Divya Muthukumaran <divya84 at gmail.com>:

> Thanks, when I change the declaration from void *(void) to void *() I
> don't get that error anymore.
>
> I am not encountering an error saying --
>
> [kernel:annot:missing-spec] src/os/unix/ngx_errno.c:67: Warning:
>
>   Neither code nor specification for function strlen, generating default
> assigns from the prototype
>
> [value] src/os/unix/ngx_errno.c:67: builtin Frama_C_strlen: invalid base:
> NULL
>
>
> I had assumed that Frama-C automatically uses its own specfication for
> libc functions such as strlen, so why do I get that complaint?
>
>
This is indeed normally the case. Can you give us the exact command line
that you're using to launch Frama-C?

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180704/fec12f27/attachment.html>