https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Trace of check ada runtests You can do 'make mail-report.log' after 'make -k check' to have a report. The results are acceptable although gnat.dg/entry_queues.adb and c380004, which probably come from the same underlying issue, would need to be investigated.
