diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/specs/static_initializer4.ads')
-rw-r--r-- | gcc/testsuite/gnat.dg/specs/static_initializer4.ads | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/static_initializer4.ads b/gcc/testsuite/gnat.dg/specs/static_initializer4.ads new file mode 100644 index 000000000..a1a5e846e --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/static_initializer4.ads @@ -0,0 +1,13 @@ +-- { dg-do compile } + +package Static_Initializer4 is + + type R is tagged record + b : Boolean; + end record; + + type NR is new R with null record; + + C : NR := (b => True); + +end Static_Initializer4; |