Hi,
On Sun, 13 Dec 2020 23:55:25 +0400 Gleb Popov <arr...@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 _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev