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

[Gleb Popov]

On Mon, Dec 14, 2020 at 12:28 AM Cristian Cadar <c.cadar at imperial.ac.uk>
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
> > klee-dev at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> >
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed