projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a476d7) | patch
sem_res.adb (Rewrite_Renamed_Operator): Do not rewrite the renamed operator when...
authorHristian Kirtchev <kirtchev@adacore.com>
Wed, 20 Apr 2016 09:22:59 +0000 (09:22 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 20 Apr 2016 09:22:59 +0000 (11:22 +0200)
commitd566e90a165b8d8aeb74765fc1d845047200cf45
tree8dc786e9321efcb09b44d818d2d73acd1760555ctree
parent9a476d752d5693cba41ae966e680b9ae1e03f144commit | diff
sem_res.adb (Rewrite_Renamed_Operator): Do not rewrite the renamed operator when the associated node appears within a...

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.

From-SVN: r235249
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_res.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history