Package: gnumeric
Version: 1.12.15-1
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.

[...]
libtool: link: cc -fPIE -pie -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--as-needed 
-shared  -fPIC -DPIC  .libs/pln.o .libs/charset.o   -Wl,--as-needed -lm  -Wl,-z 
-Wl,relro -Wl,-z -Wl,now -Wl,-O1 -O2 -Wl,-z -Wl,relro -Wl,-z -Wl,now -Wl,-O1   
-Wl,-soname -Wl,plan_perfect.so -o .libs/plan_perfect.so

error: conflicting function declarations "pln_get_str"
old definition in module pln file pln.c line 157
unsigned char * (const unsigned char *, signed int)
new definition in module charset file charset.c line 391
unsigned char * (const unsigned char *ch, unsigned int len)
Makefile:507: recipe for target 'plan_perfect.la' failed
make[4]: *** [plan_perfect.la] Error 64
make[4]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-gnumeric/gnumeric-1.12.15/plugins/plan-perfect'
Makefile:476: recipe for target 'all-recursive' failed

Even though technically undefined behaviour, the name of the parameter (len)
suggests that all actual values will be positive. Hence all that is needed here
is fixing the declaration for pln.c in order to enable the compiler to provide
meaningful diagnostics in case of actual problems.

Best,
Michael

Attachment: pgp1bNLqc1vaK.pgp
Description: PGP signature

Reply via email to