[klee-dev] Strange compilation failure on 32-bit FreeBSD

[Gleb Popov]

Hello KLEE devs.

I stumbled upon a strange building failure when trying to compile KLEE on
i386 FreeBSD. Here's the log:

In file included from
/wrkdirs/usr/ports/security/klee/work/klee-2.2/lib/Core/PTree.cpp:10:
In file included from
/wrkdirs/usr/ports/security/klee/work/klee-2.2/lib/Core/PTree.h:15:
/usr/local/llvm90/include/llvm/ADT/PointerIntPair.h:147:3: error:
static_assert failed due to requirement '3U <=
PointerLikeTypeTraits<klee::PTreeNode *>::NumLowBitsAvailable'
"PointerIntPair with integer size too large for pointer"
 static_assert(IntBits <= PtrTraits::NumLowBitsAvailable,
 ^             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/local/llvm90/include/llvm/ADT/PointerIntPair.h:71:13: note: in
instantiation of template class 'llvm::PointerIntPairInfo<klee::PTreeNode
*, 3, llvm::PointerLikeTypeTraits<klee::PTreeNode *> >' requested here
   Value = Info::updatePointer(0, PtrVal);
           ^
/usr/local/llvm90/include/llvm/ADT/PointerIntPair.h:56:47: note: in
instantiation of member function 'llvm::PointerIntPair<klee::PTreeNode *,
3, unsigned char, llvm::PointerLikeTypeTraits<klee::PTreeNode *>,
llvm::PointerIntPairInfo<klee::PTreeNode *, 3, llvm::P
ointerLikeTypeTraits<klee::PTreeNode *> > >::initWithPointer' requested
here
 explicit PointerIntPair(PointerTy PtrVal) { initWithPointer(PtrVal); }
                                             ^
/wrkdirs/usr/ports/security/klee/work/klee-2.2/lib/Core/PTree.cpp:35:12:
note: in instantiation of member function
'llvm::PointerIntPair<klee::PTreeNode *, 3, unsigned char,
llvm::PointerLikeTypeTraits<klee::PTreeNode *>,
llvm::PointerIntPairInfo<klee::PTreeNode
*, 3, llvm::PointerLikeTypeTraits<klee::PTreeNode *> > >::PointerIntPair'
requested here
   : root(PTreeNodePtr(new PTreeNode(nullptr, initialState))) {
          ^

Any ideas what might be wrong here?

Thanks in advance.
-------------- next part --------------
HTML attachment scrubbed and removed