Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • Adélie Package Tree Adélie Package Tree
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
  • Issues 164
    • Issues 164
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 17
    • Merge requests 17
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Adélie LinuxAdélie Linux
  • Adélie Package TreeAdélie Package Tree
  • Merge requests
  • !472

user/z3: fix build on pmmx

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Max Rees requested to merge sroracle/packages:fix/z3-pmmx into master Jun 16, 2020
  • Overview 1
  • Commits 1
  • Pipelines 0
  • Changes 2
../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:

  • https://github.com/Z3Prover/z3/issues/2727
  • https://github.com/Z3Prover/z3/issues/2776
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: fix/z3-pmmx