Your message dated Mon, 02 Nov 2015 01:18:49 +0000
with message-id <[email protected]>
and subject line Bug#748418: fixed in dd2 0.2.2-3
has caused the Debian Bug report #748418,
regarding Conflicting declaration may cause undefined behaviour
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
748418: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748418
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: dd2
Version: 0.2.2-2
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.
[...]
x86_64-linux-gnu-gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\"
-DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\"
-DPACKAGE_URL=\"\" -DPACKAGE=\"dodgindiamond2\" -DVERSION=\"0.2.2\"
-DHAVE_LIBM=1 -DHAVE_LIBSDL_MIXER=1 -I. -D_FORTIFY_SOURCE=2
-DDD2_DATA=\"/usr/share/games/dodgindiamond2\" -Wall -g -O2 -fPIE
-fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security
-Wall -I/usr/include/SDL -D_GNU_SOURCE=1 -D_REENTRANT -DALT_FIRE -c -o main.o
main.c
x86_64-linux-gnu-gcc -DDD2_DATA=\"/usr/share/games/dodgindiamond2\" -Wall -g
-O2 -fPIE -fstack-protector --param=ssp-buffer-size=4 -Wformat
-Werror=format-security -Wall -I/usr/include/SDL -D_GNU_SOURCE=1 -D_REENTRANT
-DALT_FIRE -fPIE -pie -Wl,-z,relro -Wl,-z,now -o dd2 menu.o SDL_plus.o cfg.o
engine.o control.o main.o -lSDL_mixer -lm -L/usr/lib/x86_64-linux-gnu -lSDL
file engine.c line 33: error: conflicting array sizes for variable "efx"
old definition in module menu file menu.c line 31
struct Mix_Chunk *[8l]
new definition in module engine file engine.c line 33
struct Mix_Chunk *[2l]
make[3]: *** [dd2] Error 64
make[3]: Leaving directory
`/srv/jenkins-slave/workspace/sid-goto-cc-dd2/dd2-0.2.2/src'
make[2]: *** [all-recursive] Error 1
The problem here is that the declaration in engine.c is just wrong (outdated?):
http://sources.debian.net/src/dd2/0.2.2-2/src/engine.c?hl=33#L33
as all other code appears to assume 8 elements, including the remaining code in
engine.c:
http://sources.debian.net/src/dd2/0.2.2-2/src/engine.c?hl=330,331#L330
Yet such code has undefined behaviour, as the compiler may assume this
constitutes and invalid memory access.
Best,
Michael
pgpSZTL1tl5hX.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: dd2
Source-Version: 0.2.2-3
We believe that the bug you reported is fixed in the latest version of
dd2, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Markus Koschany <[email protected]> (supplier of updated dd2 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 02 Nov 2015 01:05:14 +0100
Source: dd2
Binary: dodgindiamond2
Architecture: source
Version: 0.2.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Games Team <[email protected]>
Changed-By: Markus Koschany <[email protected]>
Description:
dodgindiamond2 - Little shoot-'em-up arcade game for one or two players
Closes: 748418
Changes:
dd2 (0.2.2-3) unstable; urgency=medium
.
* Team upload.
* Add array-out-of-bounds.patch.
Fix conflicting array sizes for variable "efx".
Thanks to Michael Tautschnig for the report. (Closes: #748418)
* Vcs-Browser: Use https.
* Declare compliance with Debian Policy 3.9.6.
* Update copyright years.
* Resize dodgindiamond2.png to 128x128 pixel and install the image to the
hicolor icon directory.
Checksums-Sha1:
2172178afd56d54ed2a016763a6c004f78943d53 2103 dd2_0.2.2-3.dsc
9de35fc45d7d34db2a70837c69686040b101b0c9 9336 dd2_0.2.2-3.debian.tar.xz
Checksums-Sha256:
525c1e2b1cd683aaca15274a5a7fd13892280bd8503c351199052976f4553592 2103
dd2_0.2.2-3.dsc
0fd85cffc185d86433f43101fc1124ccd5256ae9511b9ddc90c6f3a603dd5dda 9336
dd2_0.2.2-3.debian.tar.xz
Files:
88062c890726b35f4c5bea9a7938756d 2103 games optional dd2_0.2.2-3.dsc
5737148fb3b89fd9adfcbfe0bd0aeb19 9336 games optional dd2_0.2.2-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQJ8BAEBCgBmBQJWNq1KXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXRBQ0YzRDA4OEVGMzJFREVGNkExQTgzNUZE
OUFEMTRCOTUxM0I1MUU0AAoJENmtFLlRO1Hktc0P/0MebMlbQTaExfohzMgjzD3S
GxhiABZACyZlybZgqxg98vJzf/2Qh1eeQne+KX36mxFWitSzRDOPkHS+/94lPmAx
9XURuzohmAA/EhfLaqV08u1DHA7mGSE6LFEUTrTC7cRn9aUOFovKEpY15KBSapJN
6A6zRJSBtlgqBEepgJjIkRpbroK/OZfZscqAyuVC2MU+IjgnWfW6V83qIAL14TSt
AkEG7z1NFxtbVOAe5R/5DieFWnuJ32L6dt6ONLJvyoCBXS/iIzWkGRW+6EaIGW8M
eW2A6ji93mNfcYw+hLDR3b78xA7sLWJ1I86dionbFshUOR1SB5WyNG9GqV6jUMWT
2AId7rr9iupSSc4Sz60s9XAqGG0Mr824cXOEz7CzwESHuXq01tqxzZfEK+kH3ahK
7fwgfTpSRGsrtDH598GueGyLdjqw5rolh1N9ddG+5AzbVb1fDckVuY7tJl2oEv2d
PmA3nfzU/WIi1vIDqk8WDsm2bxu1GE/TSjidDHLMJuBHXZPPXjJYTCHPTKNyKCKc
W/Y+98rNn4hXO/6VA4Z399Y1mvTyhtOj0GfjjxH4I1YokEnp7xnO2HMIxqSGnpVr
pN5BiK3mAQ1tpYDCFPaG3zGo2MNNvdc/gV5opd4a/o37kfTJAV8+iuooGs8e0TaA
fBVG9+5DNXS/enC/5D5S
=qCpw
-----END PGP SIGNATURE-----
--- End Message ---
