[Ada] change made on 03Dec2001 fixes ACATS CXD6001

[guerby@acm.org]

Just FYI. If the fix was directly targeted at this test, and if the
information is readily available at ACT, may be it's worth mentionning
it in the ChangeLog "fixes ACATS CXD6001".

I didn't check with and without the patch, it just showed in my log
between a 0100 and a 2300 update + build (Paris timeà ).

-- 
Laurent Guerby <guerby@acm.org>

,.,. CXD6001 ACATS 2.4 01-12-03 03:00:22
---- CXD6001 Check that an abort takes place as soon as the aborted task
                is no longer in an abort-deferred region..
   * CXD6001 abort was not immediate.
**** CXD6001 FAILED ****************************.

=>

,.,. CXD6001 ACATS 2.4 01-12-04 01:40:18
---- CXD6001 Check that an abort takes place as soon as the aborted task
                is no longer in an abort-deferred region..
==== CXD6001 PASSED ============================.


2001-12-03  Ed Schonberg <schonber@gnat.com>

	* sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
	push Standard on the stack before analyzing the instance body,
	in order to have a clean visibility environment.

	* sem_ch12.adb (Inline_Instance_Body): Remove redundant code.

2001-12-03  Ed Schonberg <schonber@gnat.com>

	* sem_ch12.adb (Instantiate_Package_Body): Protect against double
	instantiation of a body that contains an inlined body.

2001-12-03  Ed Schonberg <schonber@gnat.com>

	* sem_ch12.adb:
	(Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
	to prevent freezing within formal packages.
	(Freeze_Subprogram_Body): If body comes from another instance that
	appeared before its own body, place freeze node at end of current
	declarative part, to prevent a back-end crash.
	(Inline_Instance_Body): Handle properly a package instance within
	a subprogram instance that is a child unit.