[CIL users] extern inline triggers missing prototype warning

[Misha A. <av...@ho...>]

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