FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

* gnat.dg/specs/null_aggr_bug.ads: New test.

Browse source 
From-SVN: r138413
This commit is contained in:
Arnaud Charlet 2008-07-31 13:55:12 +00:00 • committed by Arnaud Charlet
parent eff332d9a5
commit e116fd0cdf
2 changed files with 21 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
gcc/testsuite/ChangeLog
View file

@ -3,6 +3,7 @@
* gnat.dg/sync_iface_test.ad[s,b]: New test.
* gnat.dg/specs/sync_iface_test.ads: New test.
* gnat.dg/specs/null_aggr_bug.ads: New test.
2008-07-31 H.J. Lu <hongjiu.lu@intel.com>

20
gcc/testsuite/gnat.dg/specs/null_aggr_bug.ads Normal file
View file

@ -0,0 +1,20 @@
-- { dg-do compile }
package Null_Aggr_Bug is
type Rec1 is null record;
type Rec2 is tagged null record;
type Rec3 is new Rec2 with null record;
X1 : Rec1 := (null record);
Y1 : Rec1 := (others => <>);
X2 : Rec2 := (null record);
Y2 : Rec2 := (others => <>);
X3 : Rec3 := (null record);
Y3 : Rec3 := (others => <>);
Z3 : Rec3 := (Rec2 with others => <>);
end Null_Aggr_Bug;