OSDN Git Service

* gcc-interface/trans.c (unchecked_conversion_nop): Handle function
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gnat.dg / specs / discr_private.ads
1 -- { dg-do compile }
2 -- { dg-options "-gnatws" }
3
4 package Discr_Private is
5
6    package Dec is
7       type T_DECIMAL (Prec : Integer := 1) is private;
8    private
9       type T_DECIMAL (Prec : Integer := 1) is record
10          case Prec is
11             when  1 .. 2 => Value : Integer;
12             when others => null;
13          end case;
14       end record;
15    end;
16
17    type Value_T is record
18       Bits  : Dec.T_DECIMAL(1);
19    end record;
20    for Value_T'size use 88;
21
22    type Value_Entry_T is record
23       Index : Integer;
24       Value : Value_T;
25    end record;
26
27    type Value_Mode is (QI, HI, SI, DI, XI);
28    for Value_Mode'size use 8;
29
30    type Valid_Modes_T is array (Value_Mode) of Boolean;
31
32    type Register_T is record
33       Ventry : Value_Entry_T;
34       Vmodes : Valid_Modes_T;
35    end record;
36
37    type Regid_T is (Latch, Acc);
38    for Regid_T use (Latch => 0, Acc => 2);
39    for Regid_T'Size use 8;
40
41    type Regarray_T is array (Regid_T) of Register_T;
42
43    type Machine_T (Up : Boolean := True) is record
44       case Up is
45          when True  => Regs : Regarray_T;
46          when False => null;
47        end case;
48    end record;
49
50 end Discr_Private;