2 -- { dg-options "-gnato" }
4 procedure Test_8bitlong_Overflow is
6 pragma Unsuppress (Overflow_Check);
13 type A2 is array(T range <>) of T;
14 subtype SA2 is A2(LO..4*ONE);
16 ARRAY_AGGR : SA2 := SA2'(others=>LO + 1);
18 POS_1 : T := T'pos(LO*ONE);
21 type T is new LONG_INTEGER range -1..10;
24 package P is new G (T);