r235137 - in /trunk/gcc/ada: ChangeLog sem_ch6....

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Apr 18 12:30:55 2016
New Revision: 235137

URL: https://gcc.gnu.org/viewcvs?rev=235137&root=gcc&view=rev
Log:
2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_prag.adb (Check_In_Out_States.Check_Constituent_Usage):
	Update the comment on usage.  Reimplemented.
	(Check_Input_States.Check_Constituent_Usage): Update the comment
	on usage. A Proof_In constituent can now refine an Input state
	as long as there is at least one Input constituent present.

2016-04-18  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Check_Inline_Pragma): Use the Sloc of the
	body id as the sloc of the entity in the generated subprogram
	declaration, to avoid spurious conformance errors when style
	checks are enabled.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_prag.adb