https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64246
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Yes, but in suitable form for gnat.dg (not sure how I can do > multi-file testcases there or which one would be the main one) Most testcases are multi-file under gnat.dg... I'm going to attach it.