https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66483
--- Comment #13 from Thomas Preud'homme <thopre01 at gcc dot gnu.org> --- Thanks doko. I meant to do it today but lacked the time. As to the variation issue I've been experiencing, I'll create a new PR when I isolate the source of variation. Best regards.