On Jul 23, 2020, at 13:21, Jean Abou Samra <j...@abou-samra.fr> 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?
That was the first variable I tested, though I neglected to mention it. I tried 7, 6, and 1 jobs and the failure occurred regardless. I'm planning a round of deeper inspection in gdb. Maybe I'll find something helpful before I get bored. — Dan