r223535 - in /trunk/gcc/ada: ChangeLog sem_prag...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri May 22 10:23:39 2015
New Revision: 223535

URL: https://gcc.gnu.org/viewcvs?rev=223535&root=gcc&view=rev
Log:
2015-05-22  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_prag.adb (Analyze_Pragma): Remove the detection
	of a useless Part_Of indicator when the related item is a constant.
	(Check_Matching_Constituent): Do not emit an error on a constant.
	(Check_Missing_Part_Of): Do not check for a missing Part_Of indicator
	when the related item is a constant.
	(Collect_Body_States): Code cleanup.
	(Collect_Visible_States): Code cleanup.
	(Report_Unused_States): Do not emit an error on a constant.
	* sem_util.ads, sem_util.adb (Has_Variable_Input): Removed.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads