Bug#749444: libkate: Conflicting return types of function katedesc_restart

[Michael Tautschnig]

Package: libkate
Version: 0.4.1-1
Severity: wishlist
Usertags: goto-cc

During a rebuild of all packages in a clean sid chroot (and cowbuilder+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.

[...]
/bin/bash ../libtool  --tag=CC  --silent --mode=link gcc -Wall -W    -I/usr/include/libpng12  -g -O2   -o kateenc kateenc-kateenc.o kateenc-kate_lexer.o kateenc-kate_parser.o kateenc-kpng.o ../lib/liboggkate.la ../lib/libkate.la -logg  -lpng12   

error: conflicting function declarations "katedesc_restart"
old definition in module kateenc file kateenc.c line 39
signed int (struct _IO_FILE *)
new definition in module kate_lexer file kate_lexer.c line 2375
void (struct _IO_FILE *input_file)
Makefile:456: recipe for target 'kateenc' failed
make[4]: *** [kateenc] Error 64
make[4]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-libkate/libkate-0.4.1/tools'
Makefile:835: recipe for target 'all-recursive' failed
make[3]: *** [all-recursive] Error 1

It seems that there is just an error in the forward declaration here:

http://sources.debian.net/src/libkate/0.4.1-1/tools/kateenc.c?hl=39#L39

As the acclaimed but non-existent return value isn't used right now, no
undefined behaviour is to be expected. To ensure no future code modification
makes use of the presumed return value, the declaration should be fixed.

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-xiph-maint/attachments/20140527/73be066a/attachment.sig>