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
#include <stdio.h>
int main()
{
printf("hello\n");
return 0;
}
CFLAGS += -Wmissing-prototypes
CC = cilly
hello:
clean:
rm hello.exe
------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
