r198282 - in /trunk/gcc/ada: ChangeLog einfo.ad...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Apr 25 10:10:58 2013
New Revision: 198282

URL: http://gcc.gnu.org/viewcvs?rev=198282&root=gcc&view=rev
Log:
2013-04-25  Hristian Kirtchev  <kirtchev@adacore.com>

	* einfo.adb (Is_Ghost_Subprogram): Remove useless code.

2013-04-25  Robert Dewar  <dewar@adacore.com>

	* gnat_rm.texi: Minor addition of index entry.

2013-04-25  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_ch6.adb (Check_Access_Invariants): Test whether an
	invariant procedure is empty before generating a call to it.
	(Has_Enabled_Predicate): New routine.
	(Has_Null_Body): New routine.
	(Process_PPCs): Test whether an invariant procedure is
	empty before generating a call to it. Test whether predicates are
	enabled for a particular type before generating a predicate call.
	* sem_util.ads, sem_util.adb (Find_Pragma): New routine.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/einfo.adb
    trunk/gcc/ada/gnat_rm.texi
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads