r235249 - in /trunk/gcc/ada: ChangeLog sem_res....

Wed Apr 20 09:23:00 GMT 2016

Author: charlet
Date: Wed Apr 20 09:22:59 2016
New Revision: 235249

URL: https://gcc.gnu.org/viewcvs?rev=235249&root=gcc&view=rev
Log:
2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_res.adb (Rewrite_Renamed_Operator): Do not rewrite the
	renamed operator when the associated node appears within a
	pre/postcondition.
	* sem_util.ads, sem_util.adb (In_Pre_Post_Condition): New routine.


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