Package: dnsval Version: 2.0-1.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: gcc -shared -fPIC -DPIC .libs/val_resquery.o .libs/val_support.o .libs/val_cache.o .libs/val_context.o .libs/val_crypto.o .libs/val_verify.o .libs/val_parse.o .libs/val_policy.o .libs/val_log.o .libs/val_x_query.o .libs/val_assertion.o .libs/val_get_rrset.o .libs/val_getaddrinfo.o .libs/val_gethostbyname.o .libs/val_dane.o -O2 -Wl,-soname -Wl,libval-threads.so.14 -o .libs/libval-threads.so.14.0.0 file val_gethostbyname.c line 29: error: conflicting function declarations "address_to_reverse_domain" old definition in module val_getaddrinfo file val_getaddrinfo.c line 1128 signed int (const unsigned char *saddr, signed int family, char *dadd, signed int dlen) new definition in module val_gethostbyname file val_gethostbyname.c line 29 signed int (const char *, signed int, char *, signed int) make[2]: *** [libval-threads.la] Error 64 make[2]: Leaving directory `/srv/jenkins-slave/workspace/sid-goto-cc-dnsval/dnsval-2.0/libval' The use of (signed) char* vs. unsigned char* on saddr may or may not be harmless; yet to avoid any potential for undefined behaviour these should be fixed. Best, Michael
pgp27iokb6w2s.pgp
Description: PGP signature
