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

[Frank Busse]

Hi,


On Sun, 13 Dec 2020 23:55:25 +0400
Gleb Popov <arrowd at freebsd.org> wrote:

> Hello KLEE devs.
> 
> I stumbled upon a strange building failure when trying to compile
> KLEE on i386 FreeBSD. Here's the log:
> 
> [...]
> 
> Any ideas what might be wrong here?

The latest PTree implementation uses bit-stealing (fat pointers) and
defaults to three bits:

https://github.com/klee/klee/blob/master/lib/Core/PTree.h#L25

On 32bit systems you simply can't reserve 3 bits due to smaller
alignments. One could fix it but KLEE does not support 32bit host
systems anymore I'm afraid.


Kind regards,

Frank