Hi Gleb,
Please see the discussion at https://github.com/klee/klee/issues/1327.
In short, we're not supporting 32-bit platforms anymore, but if someone
wants to revive support for this, we're happy to accept such a contribution.
Best,
Cristian
On 13/12/2020 19:55, Gleb Popov wrote:
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.
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
