From: Misha A. <av...@ho...> - 2009-10-27 12:57:00
|
hi, when I try to compile the attached file with CIL and -Wmissing-prototypes, I get cilly -Wmissing-prototypes hello.c -o hello C:/programs/cygwin/bin/gcc -D_GNUCC -E -DCIL=1 hello.c -o /tmp/cil-bojpekco.i /c/docs/verification/tools/cil-1.3.7/obj/x86_WIN32/cilly.asm.exe --out /tmp/cil-OWqW9f1n.cil.c /tmp/cil-bojpekco.i C:/programs/cygwin/bin/gcc -D_GNUCC -E /tmp/cil-OWqW9f1n.cil.c -o /tmp/cil-ELM_nmK3.cil.i C:/programs/cygwin/bin/gcc -D_GNUCC -c -Wmissing-prototypes -o /tmp/cil-pSS4fdLv.o /tmp/cil-ELM_nmK3.cil.i /usr/include/stdio.h:518: warning: no previous prototype for '__sgetc_r' C:/programs/cygwin/bin/gcc -D_GNUCC -o hello -Wmissing-prototypes /tmp/cil-pSS4fdLv.o This is probably because CIL changes extern __inline__ __attribute__ ((__always_inline__)) int __sgetc_r(struct _reent *__ptr, FILE *__p) to __inline extern int ( __attribute__((__always_inline__)) __sgetc_r)(struct _reent *__ptr , FILE *__p ) Is there anything I can do about this? There is an entry on extern inlines in the docs and a couple of previous emails on the list: https://sourceforge.net/mailarchive/forum.php?thread_name=1249079124.3936.18.camel%40localhost&forum_name=cil-users https://sourceforge.net/mailarchive/forum.php?thread_name=200703272132.l2RLWPPD009861%40gateway0.EECS.Berkeley.EDU&forum_name=cil-users https://sourceforge.net/mailarchive/forum.php?thread_name=200508310027.j7V0QxAQ028451%40gateway0.EECS.Berkeley.EDU&forum_name=cil-users but they seem to be about different stuff. The reason I'm complaining is because OpenSSL uses -Wmissing-prototypes -Werror in debug configuration, so as a result I cannot compile it with CIL without changing the makefile. Best, Misha |