r138364 - in /trunk/gcc/ada: sem_attr.adb sem_p...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jul 31 08:17:31 2008
New Revision: 138364

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

	sem_attr.adb: 'Result can have an ambiguous prefix, and is resolved
	from context. This attribute must be usable in Ada95 mode.
	The attribute can appear in the body of a function marked
	Inline_Always, but in this case the postocondition is not enforced.
	
	sem_prag.adb (Check_Precondition_Postcondition): within the expansion
	of an inlined call pre- and postconditions are legal


Modified:
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_prag.adb