blob: b22c87170e558a6f80c7dc059616c932c985b872 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
-- { 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;
|
