diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/specs/corr_discr.ads')
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/corr_discr.ads | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/corr_discr.ads b/gcc/testsuite/gnat.dg/specs/corr_discr.ads new file mode 100644 index 000000000..70ea86056 --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/corr_discr.ads @@ -0,0 +1,13 @@ +package Corr_Discr is + + type Base (T1 : Boolean := True; T2 : Boolean := False) + is null record; + for Base use record + T1 at 0 range 0 .. 0; + T2 at 0 range 1 .. 1; + end record; + + type Deriv (D : Boolean := False) is new Base (T1 => True, T2 => D); + +end Corr_Discr; + |