r273122 - in /trunk/gcc/ada: ChangeLog sem_ch13...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Fri Jul  5 07:03:20 2019
New Revision: 273122

URL: https://gcc.gnu.org/viewcvs?rev=273122&root=gcc&view=rev
Log:
[Ada] Fix position of subprogram body generated for static predicate

2019-07-05  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* sem_ch13.adb (Build_Predicate_Functions): If a subtype that
	carries a static predicate aspect is frozen immediately after
	its declaration, ensure that the generated function body created
	for predicate checking is inserted after the corresponding
	subprogram declaration, which is created at the point the
	declaration is elaborated.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch13.adb