Bug#749635: fenix: Conflicting declarations of function load_file

Michael Tautschnig mt at debian.org
Wed May 28 18:49:28 UTC 2014


Package: fenix
Version: 0.92a.dfsg1-10
Usertags: goto-cc

During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder
and pbuilder) the build failed with the following error. Please note that we
use our research compiler tool-chain (using tools from the cbmc package), which
permits extended reporting on type inconsistencies at link time.

[...]
gcc  -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -fno-strict-aliasing -DUSE_GETTEXT  -Wl,-z,relro -Wl,-z,defs -o fxc  main.o main_div.o token.o identifier.o segment.o constants.o strings.o varspace.o procedure.o codeblock.o c_main.o c_data.o c_code.o c_debug.o dcbw.o messages.o error.o sysstub.o typedef.o files.o xctype.o -L/usr/lib/x86_64-linux-gnu -lSDL -Wl,-Bdynamic -lc -lz -lX11 -lm -ldl

error: conflicting function declarations "load_file"
old definition in module main file main.c line 69
signed int (char *filename)
new definition in module token file token.c line 571
void (const char *)
Makefile:241: recipe for target 'fxc' failed
make[4]: *** [fxc] Error 64
make[4]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-fenix/fenix-0.92a.dfsg1/fxc/src'
Makefile:174: recipe for target 'all-recursive' failed
make[3]: *** [all-recursive] Error 1

The following declaration does not match the actual definition of load_file:

http://sources.debian.net/src/fenix/0.92a.dfsg1-10/fxc/src/token.c?hl=571#L571

As the definition here

http://sources.debian.net/src/fenix/0.92a.dfsg1-10/fxc/src/main.c?hl=69#L69

does return specific values, it may well be the case that not only the
declaration in token.c should be fixed, but the return value should actually be
used.

Best,
Michael

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 859 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-games-devel/attachments/20140528/1328e93a/attachment.sig>


More information about the Pkg-games-devel mailing list