https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64246
--- Comment #7 from rguenther at suse dot de <rguenther at suse dot de> --- On Mon, 15 Dec 2014, ebotcazou at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64246 > > --- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > > I suppose extracting a testcase for this is too hard? > > Do you mean a testcase like the one I attached on Friday? 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)