Bug#946448: z3: FTBFS: ../src/util/mpz.cpp:57:30: error: definition of ‘uint32_t __builtin_ctz(uint32_t) ’ ambiguates built-in declaration ‘int __builtin_ctz(unsigned int) ’

[Sebastian Ramacher]

Source: z3
Version: 4.8.7-1
Severity: serious
Tags: ftbfs
Justification: fails to build from source (but built successfully in the past)

z3 fails to build on all 32 bit architectures with:
| ../src/util/mpz.cpp:57:30: error: definition of ‘uint32_t __builtin_ctz(uint32_t)’ ambiguates built-in declaration ‘int __builtin_ctz(unsigned int)’
|    57 | #define _trailing_zeros32(X) __builtin_ctz(X)
|       |                              ^~~~~~~~~~~~~
| ../src/util/mpz.cpp:76:17: note: in expansion of macro ‘_trailing_zeros32’
|    76 | inline uint32_t _trailing_zeros32(uint32_t x) {
|       |                 ^~~~~~~~~~~~~~~~~
| make[2]: *** [Makefile:188: util/mpz.o] Error 1

See
https://buildd.debian.org/status/fetch.php?pkg=z3&arch=i386&ver=4.8.7-1&stamp=1575849231&raw=0
for a full log

Cheers
-- 
Sebastian Ramacher
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20191209/acd2f161/attachment.sig>