http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56474
--- Comment #17 from Eric Botcazou 2013-05-06
09:33:53 UTC ---
> is the testcase when changed to 'Empty_Vector : Vector (-2);' valid?
Yes, this is the superflat case.
> In any case, in 0 .. Size, Size seems to be signed.
Yes, Stream
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56474
--- Comment #16 from Richard Biener 2013-04-22
13:34:40 UTC ---
The testcase in the patch posted to the mailing list is
-- { dg-do compile }
with Ada.Streams;
package Array3 is
use type Ada.Streams.Stream_Element_Offset;
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56474
Jakub Jelinek changed:
What|Removed |Added
Target Milestone|4.8.0 |4.8.1
--- Comment #15 from Jaku