2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>

2011-08-29  Hristian Kirtchev  <kirtchev@adacore.com>

	* exp_ch3.adb (Freeze_Type): Generate an accessibility check which
	ensures that the level of the subpool access type is not deeper than
	that of the pool object.
	* sem_util.adb (Object_Access_Level): Expand to handle defining
	identifiers.
	* sem_res.adb (Resolve_Allocator): Add a guard to avoid examining the
	subpool handle name of a rewritten allocator.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178250 138bc75d-0d04-0410-961f-82ee72b054a4