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

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>