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

Attachment: pgpG61GSdC28H.pgp
Description: PGP signature

Reply via email to