On Thu, Nov 28, 2013 at 4:39 PM, Eric Botcazou <ebotca...@adacore.com> wrote: >> Ok if testing succeeds there but please leave out the checking bits. > > Yes, they (perhaps unsurprisingly) trigger in Ada, I'll investigate.
PR59338, I have a fix in testing (restrict checking to non-aggregates). Richard. > -- > Eric Botcazou