annotate gcc/testsuite/gnat.dg/vfa1_pkg.ads @ 144:8f4e72ab4e11

fix segmentation fault caused by nothing next cur_op to end
author Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 21:23:56 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 package VFA1_Pkg is
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 type Int8_t is mod 2**8;
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 type Int is new Integer;
kono
parents:
diff changeset
6 pragma Volatile_Full_Access (Int);
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 Counter1 : Int;
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 Counter2 : Integer;
kono
parents:
diff changeset
11 pragma Volatile_Full_Access (Counter2);
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 type Arr is array (1 .. 4) of Int8_t;
kono
parents:
diff changeset
14 for Arr'Alignment use 4;
kono
parents:
diff changeset
15 pragma Volatile_Full_Access (Arr);
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 Timer1 : Arr;
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 Timer2 : array (1 .. 4) of Int8_t;
kono
parents:
diff changeset
20 for Timer2'Alignment use 4;
kono
parents:
diff changeset
21 pragma Volatile_Full_Access (Timer2);
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 type Rec is record
kono
parents:
diff changeset
24 A : Short_Integer;
kono
parents:
diff changeset
25 B : Short_Integer;
kono
parents:
diff changeset
26 end record;
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 type Rec_VFA is new Rec;
kono
parents:
diff changeset
29 pragma Volatile_Full_Access (Rec_VFA);
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 Buffer1 : Rec_VFA;
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 Buffer2 : Rec;
kono
parents:
diff changeset
34 pragma Volatile_Full_Access (Buffer2);
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 type Code is record
kono
parents:
diff changeset
37 R : Int8_t;
kono
parents:
diff changeset
38 I : Int8_t;
kono
parents:
diff changeset
39 end record;
kono
parents:
diff changeset
40 pragma Volatile_Full_Access (Code);
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 type CArr is array (1 .. 2) of Code;
kono
parents:
diff changeset
43 pragma Volatile_Full_Access (CArr);
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 Mixer1 : Carr;
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 Mixer2 : array (1 .. 2) of Code;
kono
parents:
diff changeset
48 pragma Volatile_Full_Access (Mixer2);
kono
parents:
diff changeset
49
kono
parents:
diff changeset
50 end VFA1_Pkg;