2 -- { dg-options "-O2" }
4 with Text_IO
; use Text_IO
;
5 with System
.Storage_Elements
; use System
.Storage_Elements
;
6 with Warn12_Pkg
; use Warn12_Pkg
;
8 procedure Warn12
(N
: Natural) is
10 Buffer_Size
: constant Storage_Offset
11 := Token_Groups
'Size/System
.Storage_Unit
+ 4096;
13 Buffer
: Storage_Array
(1 .. Buffer_Size
);
14 for Buffer
'Alignment use 8;
17 for Tg1
'Address use Buffer
'Address;
20 pragma Warnings
(Off
, Tg2
);
22 sid
: Sid_And_Attributes
;
24 pragma Suppress
(Index_Check
, Sid_And_Attributes_Array
);
29 sid
:= Tg1
.Groups
(I
); -- { dg-bogus "out-of-bounds access" }
30 Put_Line
("Iteration");
34 sid
:= Tg1
.Groups
(I
); -- { dg-bogus "out-of-bounds access" }
35 Put_Line
("Iteration");
39 sid
:= Tg2
.Groups
(I
); -- { dg-warning "out-of-bounds access" }
40 Put_Line
("Iteration");
44 sid
:= Tg2
.Groups
(I
); -- { dg-warning "out-of-bounds access" }
45 Put_Line
("Iteration");