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] Finalization list for access type with limited view of designated type


A type that is imported through a limited_with clause cannot generate any code,
and need not be frozen. However, an access type with an imported designated
type needs a finalization list, which may be referenced in some other package
that has non-limited visibility on the designated type. Thus we must create the
finalization list at the point the access type is frozen to prevent unsatisfied
referenced at link time.

No simple example available.

Tested on x86_64-pc-linux-gnu, committed on trunk

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access
	type even if the designated type comes from a limited_with clause, to
	ensure that the symbol for the finalization list of the access type is
	created.

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]