On 23/07/2020 18:21, Jean Abou Samra wrote:
Le 23/07/2020 à 19:05, Dan Eble a écrit :
It's a heisenbug. It isn't the random seed itself that makes a
difference, just the fact that things are done differently now.
Using different optimization flags makes a difference too. I enabled
ubsan and it detected badness slightly earlier than the segfault, but
not early enough that I have any idea what might have gone wrong or
when.
—
Dan
Out of curiosity, how many processes are you using for make
test-baseline?
Best, Jean
In my case, I used all make commands with -j4 CPU_COUNT=4
James
