Your message dated Tue, 27 May 2014 09:45:15 +0000
with message-id <[email protected]>
and subject line Bug#748645: fixed in fizmo 0.7.9-1
has caused the Debian Bug report #748645,
regarding Conflicting array sizes 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.)
--
748645: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748645
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: fizmo
Version: 0.7.8-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.
[...]
gcc
-I/srv/jenkins-slave/workspace/sid-goto-cc-fizmo/fizmo-0.7.8/build/include/fizmo
-I/srv/jenkins-slave/workspace/sid-goto-cc-fizmo/fizmo-0.7.8/build/include/fizmo
-I/usr/include/ncursesw
-I/srv/jenkins-slave/workspace/sid-goto-cc-fizmo/fizmo-0.7.8/build/include/fizmo
-I/usr/include -I/usr/include/libpng12 -DENABLE_X11_IMAGES=
-I/srv/jenkins-slave/workspace/sid-goto-cc-fizmo/fizmo-0.7.8/build/include/fizmo
-D_GNU_SOURCE=1 -D_REENTRANT -I/usr/include/SDL
-DSOUND_INTERFACE_STRUCT_NAME="sound_interface_sdl"
-DSOUND_INTERFACE_INCLUDE_FILE="<sound_sdl/sound_sdl.h>" -g -O2 -fPIE
-fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security
-fPIE -pie -Wl,-z,relro -Wl,-z,now -o fizmo-ncursesw
../locales/fizmo_ncursesw_locales.o fizmo-ncursesw.o
-L/srv/jenkins-slave/workspace/sid-goto-cc-fizmo/fizmo-0.7.8/build/lib/fizmo
-lfizmo
-L/srv/jenkins-slave/workspace/sid-goto-cc-fizmo/fizmo-0.7.8/build/lib/fizmo
-lcellif -lncursesw
-L/srv/jenkins-slave/workspace/sid-goto-cc-fizmo/fizmo-0.7.8/build/lib/fizmo
-ldrilbo -lpthread -lX11 -L/usr/lib -ljpeg -lpng12 -lX11
-L/srv/jenkins-slave/workspace/sid-goto-cc-fizmo/fizmo-0.7.8/build/lib/fizmo
-lsndifsdl -lSDL -lsndfile -lm -lxml2
file zpu.c line 66: error: conflicting array sizes for variable "op"
old definition in module mathemat file zpu.h line 58
unsigned short int [7l]
new definition in module zpu file zpu.c line 66
unsigned short int [8l]
Makefile:448: recipe for target 'fizmo-ncursesw' failed
make[3]: *** [fizmo-ncursesw] Error 64
make[3]: Leaving directory
'/srv/jenkins-slave/workspace/sid-goto-cc-fizmo/fizmo-0.7.8/fizmo-ncursesw/src/fizmo-ncursesw'
Makefile:467: recipe for target 'all-recursive' failed
make[2]: *** [all-recursive] Error 1
These two conflicting declarations may be reviewed here:
http://sources.debian.net/src/fizmo/0.7.8-2/libfizmo/src/interpreter/zpu.h?hl=58#L58
http://sources.debian.net/src/fizmo/0.7.8-2/libfizmo/src/interpreter/zpu.c?hl=66#L66
It is guaranteed that the size of actual allocation is at least 8 elements - but
code seeing the header file only may lead to optimisations by a compiler relying
on the fact that at most 7 elements constitute valid memory.
Best,
Michael
pgpQi5NqG7_L5.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: fizmo
Source-Version: 0.7.9-1
We believe that the bug you reported is fixed in the latest version of
fizmo, 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.
Christoph Ender <[email protected]> (supplier of updated fizmo
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: SHA256
Format: 1.8
Date: Sun, 25 May 2014 10:55:00 +0200
Source: fizmo
Binary: fizmo-common fizmo-ncursesw fizmo-console
Architecture: source all amd64
Version: 0.7.9-1
Distribution: unstable
Urgency: low
Maintainer: Christoph Ender <[email protected]>
Changed-By: Christoph Ender <[email protected]>
Description:
fizmo-common - Provides localization data from all default fizmo-related
fizmo-console - Console-based Z-machine interpreter for Infocom/Inform games
fizmo-ncursesw - Ncurses-based Z-machine interpreter for Infocom/Inform games
Closes: 748645
Changes:
fizmo (0.7.9-1) unstable; urgency=low
.
* New upstream release (Closes: #748645).
Checksums-Sha1:
b171d14cdecb98cbda3a648bbe8a8cc026038e3a 2019 fizmo_0.7.9-1.dsc
4ef4d090630d939cc319e70a278674ffc0ad08f6 2620227 fizmo_0.7.9.orig.tar.gz
cc501f9e9dd5231061bce5c5f895f343b23f5e89 8280 fizmo_0.7.9-1.debian.tar.xz
5242ce108deef3b6a3070c69505206fa4affbdf6 90806 fizmo-common_0.7.9-1_all.deb
2215b786aec6496bb06a4d534552d348a226f6a7 88594 fizmo-console_0.7.9-1_amd64.deb
f8e269dacb70ef519489b1679a05eef2eec708eb 123296
fizmo-ncursesw_0.7.9-1_amd64.deb
Checksums-Sha256:
3ce9b7c5a3a4351cb99650375872be8d1e92b939551e40b6e17793752cb5328f 2019
fizmo_0.7.9-1.dsc
a7197227f14000f86eab8772c3dc2af402f80f865fc6afb26c6a3e98a57fecf0 2620227
fizmo_0.7.9.orig.tar.gz
3b6c5799b5328ede7130cfb79fed12a3acbe672826cb57016a65f325ab3a0bf0 8280
fizmo_0.7.9-1.debian.tar.xz
26c87e055997e9d33456b4fc0c913115c2d2033846d17c3cc21892386867c1e9 90806
fizmo-common_0.7.9-1_all.deb
91c6265129953a75450f8f919d677fb18a51d757e2a313c020aa6476d008f049 88594
fizmo-console_0.7.9-1_amd64.deb
fd8eee73636a555c8c1760e19ff366c8e89763d1c5765f775646676622a64a57 123296
fizmo-ncursesw_0.7.9-1_amd64.deb
Files:
74ac090fb365a2fea938eb64040792c7 90806 games extra fizmo-common_0.7.9-1_all.deb
e89a73789924d604c699d4b5284a54ca 88594 games extra
fizmo-console_0.7.9-1_amd64.deb
108bbc251f53694b22b65581838b37ed 123296 games extra
fizmo-ncursesw_0.7.9-1_amd64.deb
39198b5884b53a27064fd98eea653555 2019 games extra fizmo_0.7.9-1.dsc
4b36df277d5ca7a8517ac02ab4d42347 2620227 games extra fizmo_0.7.9.orig.tar.gz
277b4d3c0ba813d0d8e96fad5dd17832 8280 games extra fizmo_0.7.9-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJThFlEAAoJEBLZsEqQy9jk7ccQAJ8h2daYb/YJ5nh+j4wYHR7X
YNBphQ2Og52Jgk/d5dYnOm6TaLD9W/ljFo7ydLd3tNb0m6nn0opPKCxK8fk3odXH
JXsYw9f85Hk8J9r04XTxHzQhwM/DAiKFXrc41rLxXcsl30GO7bTpo/iClX4hzUSu
K6qrT+wMEcvSQ7z+HZUWstObVzOX0hCUVCzwWMrFFmyXR9MtqfP0hfLX+35DV+oP
wT9DtA4UTYgabJnb3K2Yi/LS/3DuSjBEe9q8FUBIHEBABfsozoViPhpsiP6Kx3er
GvkuDonTuQjH1c3t0FGA4z9UINIL2EbPtyhi+hhgZQkJD2bJWxvfDdztp8A+hssu
fWvgpR3RrQgWDsPrjJ7M2b0eEySWkZwVOrbiTOd5avifSm9edBmFsarfXp4LF3RP
Gsu+i/qhchaz9SI2eIfERL5ZQfJ/R855Eko+jj/MV7EC3ZvqTRzUXIfk3N+YKO/k
ae5FnWU8GKdZdFD227wPW0e3ZV2FdiU5DAzx0h6xG2KZvb7BU985bU2LVXBnhgfN
r/plL+Mqt05QsyGkr2JvFazhVf0z5e19e5Uf+0ZzZuEmRrFmjDjMgM7N7UmOe5sr
x9lni1IzXxEPuvTjWunCAIExNOVUzKCahP3Dkyj4rMUwvFxL7C1xqZWiddOKLY8N
Sg/1l8Ujv5MUAAxTtANa
=sVIc
-----END PGP SIGNATURE-----
--- End Message ---
