https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82233
--- Comment #9 from Christophe Lyon <clyon at gcc dot gnu.org> --- Indeed, it passes/fails randomly in subsequent builds. It is killed, maybe because of a timeout, but there is nothing in the standard logs. I've been trying to patch dejagnu to be more verbose in such cases, to avoid reporting noise; it's still wip.
