Package: fribidi
Version: 0.19.6-1
Severity: wishlist
Usertags: goto-cc
Tags: upstream

During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder
and 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.

[...]
  CCLD     fribidi-bidi-types

error: conflicting function declarations "fribidi_get_bidi_type"
old definition in module fribidi-bidi-types file ../lib/fribidi-bidi-types.h 
line 352
int (unsigned int)
new definition in module fribidi-bidi-types file fribidi-bidi-types.c line 58
int (signed int ch)
Makefile:453: recipe for target 'fribidi-bidi-types' failed
make[3]: *** [fribidi-bidi-types] Error 64
make[3]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-fribidi/fribidi-0.19.6/bin'
Makefile:493: recipe for target 'all-recursive' failed
make[2]: *** [all-recursive] Error 1

Assuming that all values passed in fit into a positive signed int, this is
really just about helping the compiler generate appropriate diagnostics: the
declaration in fribidi-bidi-types.h should be adjusted to match the actual
definition.

Best,
Michael

PS.: I believe this is an upstream issue, but don't hold an account with
upstream's development system. If the maintainer does, please feel free to
forward. Thanks!

Attachment: pgp07E6XDL_55.pgp
Description: PGP signature

Reply via email to