Debian Bug report logs - #749444
libkate: Conflicting return types of function katedesc_restart

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Michael Tautschnig <mt@debian.org>

To: submit@bugs.debian.org

Subject: libkate: Conflicting return types of function katedesc_restart

Date: Tue, 27 May 2014 00:43:34 +0100

[Message part 1 (text/plain, inline)]

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

[Message part 2 (application/pgp-signature, inline)]

Message #10 received at 749444-close@bugs.debian.org (full text, mbox, reply):

From: Petter Reinholdtsen <pere@debian.org>

To: 749444-close@bugs.debian.org

Subject: Bug#749444: fixed in libkate 0.4.1-3

Date: Wed, 22 Oct 2014 09:24:12 +0000

Source: libkate
Source-Version: 0.4.1-3

We believe that the bug you reported is fixed in the latest version of
libkate, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 749444@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Petter Reinholdtsen <pere@debian.org> (supplier of updated libkate package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 22 Oct 2014 10:05:02 +0200
Source: libkate
Binary: libkate-dev libkate1 liboggkate-dev liboggkate1 libkate-tools libkate1-dbg
Architecture: source amd64
Version: 0.4.1-3
Distribution: unstable
Urgency: low
Maintainer: Debian Xiph.org Maintainers <pkg-xiph-maint@lists.alioth.debian.org>
Changed-By: Petter Reinholdtsen <pere@debian.org>
Description:
 libkate-dev - Codec for karaoke and text encapsulation (dev)
 libkate-tools - Utilities for mangling kate Ogg files
 libkate1   - Codec for karaoke and text encapsulation
 libkate1-dbg - Codec for karaoke and text encapsulation for Ogg (dbg)
 liboggkate-dev - Codec for karaoke and text encapsulation for Ogg (dev)
 liboggkate1 - Codec for karaoke and text encapsulation for Ogg
Closes: 749444
Changes:
 libkate (0.4.1-3) unstable; urgency=low
 .
   [ Martin Steghöfer ]
   * New watch file.  The Google Code redirector is broken and not
     necessary any longer.  Thanks to Bart Martens
   * Divide squashed patch into separate patches, tag them properly and
     convert them to gbp-pq format.
 .
   [ Petter Reinholdtsen ]
   * Added 0003-fix-retval-katedesc_restart.patch to fix incorrect
     return type for katedesc_restart in forward declaration (Closes:
     #749444).  Thanks to Michael Tautschnig for discovering the
     problem.
Checksums-Sha1:
 b505fd714b7805e514dd7e8b6e4ba3d1d1ac6143 1729 libkate_0.4.1-3.dsc
 c800c1f946fadc8d516ad778d2ea0931c7e734bc 6208 libkate_0.4.1-3.debian.tar.xz
 0523f26cdd9baaa5e356e3e57f9b704c7d937246 52390 libkate-dev_0.4.1-3_amd64.deb
 fb7016b2d8f78584f5a787c30086d885f9679a5d 41932 libkate1_0.4.1-3_amd64.deb
 73f39ff3ae3633dbaa649ec05aaf37a3f45a11f0 9846 liboggkate-dev_0.4.1-3_amd64.deb
 19a141ddb2c95c3e494bdc227724c52f5d8add7b 10358 liboggkate1_0.4.1-3_amd64.deb
 e0e209f5c12abf2b903660cb704876428bb119f5 73668 libkate-tools_0.4.1-3_amd64.deb
 8b3f27a4154949b7ac58f5015eec7ff6c5906247 169562 libkate1-dbg_0.4.1-3_amd64.deb
Checksums-Sha256:
 77d377db17c8cd7c4f5ab6351f361487d40d22388d7908516f070efb1ace04a0 1729 libkate_0.4.1-3.dsc
 e5904c0c20964bf5edf0890c622fdc6eaa6d1ffb45b96241ea80184aad12eb3a 6208 libkate_0.4.1-3.debian.tar.xz
 a92d6f37f11d0397be0ed68a5ef6a52ec4087b5547ebd1bc40e38beebae0dee8 52390 libkate-dev_0.4.1-3_amd64.deb
 f5e424093cf44c501dc020cac8214a3e6347b11680343845046ce3a99a0d7923 41932 libkate1_0.4.1-3_amd64.deb
 92dd3ff3dfa2e241ff942b70fe785e957467cbac83878d963a13241f7de5f7ca 9846 liboggkate-dev_0.4.1-3_amd64.deb
 d7bd2c07dfab9dfab7e2f8efd5f6bf3a2ea5336d6246401026d4f589944a6d07 10358 liboggkate1_0.4.1-3_amd64.deb
 07e304c0c6d38c753bc85c59ead8aba1a5e0d9081fdf81e189166fec11cbf499 73668 libkate-tools_0.4.1-3_amd64.deb
 aca2df403c200c15107aa3462da03e7d669dfbf99ab6c647061597337ede29b5 169562 libkate1-dbg_0.4.1-3_amd64.deb
Files:
 fb60a00137ee911a3a39a282a3881920 1729 libs optional libkate_0.4.1-3.dsc
 d0505009865d1586aef1d613d5a3c5c3 6208 libs optional libkate_0.4.1-3.debian.tar.xz
 e55d692913d6f185eb9b69a0ee33b9e5 52390 libdevel optional libkate-dev_0.4.1-3_amd64.deb
 452aa02d71f4c2e1244e233121821fa5 41932 libs optional libkate1_0.4.1-3_amd64.deb
 b8269ba86003f4967fd7cf32d903ef0e 9846 libdevel optional liboggkate-dev_0.4.1-3_amd64.deb
 c71b26e7eb886e97eec33cd8405e6866 10358 libs optional liboggkate1_0.4.1-3_amd64.deb
 21ec6c3eb838a9ec1989bdc6995929d1 73668 utils optional libkate-tools_0.4.1-3_amd64.deb
 88b0dd6765ca0e5fad0fb123fd7e3a57 169562 debug extra libkate1-dbg_0.4.1-3_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iD8DBQFUR2Ya20zMSyow1ykRArsuAKCQToR0/cj9r7sd8fgukcOoAXI2eQCgzyRo
RqjP/O1W/IaS/bCfl6OYfT8=
=FBtR
-----END PGP SIGNATURE-----

Send a report that this bug log contains spam.