Some examples segfault on MacOS

[lamech]

I built v4.87 from source on my MacBook Pro M2 using ideas suggested in #304. The resulting binary handles a lot of things quite well, but notably produces segmentation faults on the following inputs when I run scripts/solveExamples.sh:

EXAMPLES/blackchk.inp
EXAMPLES/extragrid.inp
EXAMPLES/proteanp.inp
EXAMPLES/sat.inp
BEISPIEL/maxi.inp
BEISPIEL/nontriv.inp
BEISPIEL/sat.inp
BEISPIEL/stip.inp

I see the same segmentation faults if I use the v4.85 build from #304.

If I load an Ubuntu Dockerfile and build a Linux v4.87 for aarch64 inside the container, everything works fine and I do not see these segmentation faults.

Full output and Dockerfile.txt attached (I can't use Dockerfile because Github won't let me attach a file with no extension). Assuming one has Docker installed, one can build and run the Dockerfile with:

docker build -f Dockerfile.txt -t popeye-chess:latest .       # Build the Docker image
docker run -it --entrypoint /bin/bash popeye-chess            # Open a shell on the container
cd popeye && py EXAMPLES/blackchk.inp                         # Quick test, should not segfault

solveExamples-output.zip
Dockerfile.txt

[lamech]

Update: I've found that if I install llvm from Homebrew (which provides a more up to date clang etc) and rebuild, all the examples that segfaulted work! So, I believe this issue can be closed.

[lamech]

With #359 merged, this issue can be closed.