r138489 - /trunk/gcc/ada/sem_prag.adb

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Aug  1 09:03:23 2008
New Revision: 138489

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

	* sem_prag.adb:
	(Check_Precondition_Postcondition): If not generating code, analyze the
	expression in a postcondition that appears in a subprogram body, so that
	it is properly decorated for ASIS use.


Modified:
    trunk/gcc/ada/sem_prag.adb