This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

[Ada] fix bug in handling of others => <>

From: Arnaud Charlet <charlet at adacore dot com>
To: gcc-patches at gcc dot gnu dot org
Cc: Ed Schonberg <schonberg at adacore dot com>
Date: Wed, 12 Sep 2007 14:14:46 +0200
Subject: [Ada] fix bug in handling of others => <>

In Ada2005, an association for record aggregate components in an aggregate
can have the form;  others => <>,  indicating that components not covered by
explicit associations must be initialized by default. Unlike associations with
"others" that carry an explicit expression, box associations are not required
to correspond to any components. This permission was a late addition to the
reference manual.

See gnat.dg/specs/box1.ads

2007-09-12  Ed Schonberg  <schonberg@adacore.com>

	* sem_aggr.adb (Resolve_Record_Aggregate): An others association with
	a box need not correspond to any component.

Attachment: difs
Description: Text document

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]