git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Wed, 20 Apr 2016 09:22:59 +0000 (09:22 +0000)
committer	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Wed, 20 Apr 2016 09:22:59 +0000 (09:22 +0000)
commit	acd4c1ed02193d95458699900f352becde5de342
tree	8dc786e9321efcb09b44d818d2d73acd1760555c	tree
parent	b2ff4e1fddca0b032ec844b1ad07db0df798e2ec	commit \| diff

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235249 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/ChangeLog		diff \| blob \| blame \| history
gcc/ada/sem_res.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.ads		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom