--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on July 2018 ---
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>