2005-03-29 Ed Schonberg <schonberg@adacore.com>

2005-03-29  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Set_Formal_Mode): If the subtype has a non_null
	indicator, indicate that the formal can never be null.
	(Process_Formals): If a formal has a non_null indicator, insert the
	resulting subtype immediately before the enclosing subprogram decl,
	and not at the beginning of the corresponding declarative part, to
	prevent access before elaboration (Ada2005).

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