Skip to content
Snippets Groups Projects

user/z3: fix build on pmmx

Closed Max Rees requested to merge fix/z3-pmmx into master
../src/util/mpz.cpp:57:30: error: definition of ‘uint32_t __builtin_ctz(uint32_t)’ ambiguates built-in declaration ‘int __builtin_ctz(unsigned int)’
 #define _trailing_zeros32(X) __builtin_ctz(X)
                              ^~~~~~~~~~~~~
../src/util/mpz.cpp:76:17: note: in expansion of macro ‘_trailing_zeros32’
 inline uint32_t _trailing_zeros32(uint32_t x) {
                 ^~~~~~~~~~~~~~~~~
make: *** [Makefile:216: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
make: Leaving directory '/af/build/user/z3/src/z3-z3-4.8.7/build'
>>> ERROR: z3: build failed

Upstream issues:

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading