diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/discr36.ads')
| -rw-r--r-- | gcc/testsuite/gnat.dg/discr36.ads | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/discr36.ads b/gcc/testsuite/gnat.dg/discr36.ads new file mode 100644 index 00000000000..9e39eb1c7c9 --- /dev/null +++ b/gcc/testsuite/gnat.dg/discr36.ads @@ -0,0 +1,12 @@ +package Discr36 is
+
+ type R (D : Boolean := True) is record
+ case D is
+ when True => I : Integer;
+ when False => null;
+ end case;
+ end record;
+
+ function N return Natural;
+
+end Discr36;
|