diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-20 09:22:59 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-20 09:22:59 +0000 |
| commit | acd4c1ed02193d95458699900f352becde5de342 (patch) | |
| tree | 8dc786e9321efcb09b44d818d2d73acd1760555c /gcc/ada/s-pack28.ads | |
| parent | b2ff4e1fddca0b032ec844b1ad07db0df798e2ec (diff) | |
| download | gcc-acd4c1ed02193d95458699900f352becde5de342.tar.gz | |
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
Diffstat (limited to 'gcc/ada/s-pack28.ads')
0 files changed, 0 insertions, 0 deletions