On Mon, Dec 14, 2020 at 12:28 AM Cristian Cadar <[email protected]> wrote:
> 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. > Just as I thought, thanks for clearing this up. I'll just mark the port with NOT_FOR_ARCHS=i386 > 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 >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
