[Ada] AI-280

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on trunk.

For AI-280. Raise Program_Error in certain circumstances. In particular, when
a task is created whose master has finished waiting for dependents, and when a
controlled object is allocated whose collection finalization has already
started.

gnat.dg/nested_controlled_alloc.adb should run silently.

2006-10-31  Bob Duff  <duff@adacore.com>

	* a-filico.adb (Finalize(List_Controller)): Mark the finalization list
	as finalization-started, so we can raise Program_Error on 'new'.

	* s-finimp.adb: Raise Program_Error on 'new' if finalization of the
	collection has already started.

	* s-finimp.ads (Collection_Finalization_Started): Added new special
	flag value for indicating that a collection's finalization has started.

	* s-tassta.adb (Create_Task): Raise Program_Error on an attempt to
	create a task whose master has already waited for dependent tasks.

Attachment: difs
Description: Text document