29 lines
513 B
Ada
29 lines
513 B
Ada
-- { dg-do run }
|
|
-- { dg-options "-gnato" }
|
|
|
|
procedure Test_8bitlong_Overflow is
|
|
|
|
pragma Unsuppress (Overflow_Check);
|
|
generic
|
|
type T is range <>;
|
|
package G is
|
|
LO : T := T'first;
|
|
ONE : T := T(1);
|
|
|
|
type A2 is array(T range <>) of T;
|
|
subtype SA2 is A2(LO..4*ONE);
|
|
|
|
ARRAY_AGGR : SA2 := SA2'(others=>LO + 1);
|
|
|
|
POS_1 : T := T'pos(LO*ONE);
|
|
end;
|
|
|
|
type T is new LONG_INTEGER range -1..10;
|
|
for T'size use 8;
|
|
|
|
package P is new G (T);
|
|
|
|
begin
|
|
null;
|
|
end;
|