| Message ID | 20111013102249.GA18433@adacore.com |
|---|---|
| State | New |
| Headers | show |
Index: sem_aggr.adb =================================================================== --- sem_aggr.adb (revision 179894) +++ sem_aggr.adb (working copy) @@ -3121,6 +3121,13 @@ Expr := New_Copy_Tree (Expression (Parent (Compon))); + -- Component may have no default, in which case the + -- expression is empty and the component is default- + -- initialized, but an association for the component + -- exists, and it is not covered by an others clause. + + return Expr; + else if Present (Next (Selector_Name)) then Expr := New_Copy_Tree (Expression (Assoc));
a component association for component X has a boc, then X is covered in the aggregate even if there is not default value for X in the type declaration, and X has to be default-initialized. If the aggregate also has an others clause, X is not covered by it. The following must compile quietly in gnat05 mode: procedure P is type R is record X : Integer; Y : Boolean; end record; Z : R; begin Z := (X => <>, others => True); end P; Tested on x86_64-pc-linux-gnu, committed on trunk 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_aggr.adb (Resolve_Record_Aggregate): If a component association for component X has a box, then X is covered in the aggregate even if there is not default value for X in the type declaration, and X has to be default-initialized.