diff options
Diffstat (limited to 'gcc/testsuite/opt55.ads')
-rw-r--r-- | gcc/testsuite/opt55.ads | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/opt55.ads b/gcc/testsuite/opt55.ads new file mode 100644 index 0000000000..fec3c9ae2e --- /dev/null +++ b/gcc/testsuite/opt55.ads @@ -0,0 +1,22 @@ +package Opt55 is
+
+ type Date is record
+ D : Float;
+ end record;
+
+ type Rec1 (Kind : Boolean := False) is record
+ case Kind is
+ when True => N : Natural;
+ when False => null;
+ end case;
+ end record;
+
+ type Rec2 (D : Positive) is record
+ R : Rec1;
+ D1 : Date;
+ D2 : Date;
+ end record;
+
+ function F (C : Rec2; B : Boolean) return Date;
+
+end Opt55;
|