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

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Jul 27 13:33:32 2009
New Revision: 150113

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=150113
Log:
2009-07-27  Ed Schonberg  <schonberg@adacore.com>

	* exp_attr.adb (Expand_Attribute_Reference, case 'Valid): Reset the
	Is_Known_Valid flag on the temporary created for the value whose
	validity is being checked.

	* sem.adb (Do_Unit_And_Dependents): Further code reorganization to
	handle properly main units that are package specifications.

2009-07-27  Geert Bosch  <bosch@adacore.com>

	* einfo.ads (Checks_May_Be_Suppressed): Fix typo in comment
	* sem_aux.ads: Fix typo in comment
	* sem_util.ads (Is_LHS): Adjust comment to match body

2009-07-27  Sergey Rybin  <rybin@adacore.com>

	* gnat_ugn.texi (gnatcheck Complex_Inlined_Subprograms rule): Update
	rule definition.

2009-07-27  Olivier Hainque  <hainque@adacore.com>

	* g-sse.ads, g-ssvety.ads: Update comments.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/exp_attr.adb
    trunk/gcc/ada/g-sse.ads
    trunk/gcc/ada/gnat_ugn.texi
    trunk/gcc/ada/sem.adb
    trunk/gcc/ada/sem_aux.ads
    trunk/gcc/ada/sem_util.ads