diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-06-05 10:30:39 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-20 09:30:50 +0200 |
| commit | b367a66cfb620b88338111eebd549cc2fad1c16b (patch) | |
| tree | b441a95e8c062caa29b88e6d6d5d02d3e6240d60 /libcpp/directives.cc | |
| parent | 0aca9f500e7e8f4b6c84f25a25289b2d4d4ca95f (diff) | |
| download | gcc-b367a66cfb620b88338111eebd549cc2fad1c16b.zip gcc-b367a66cfb620b88338111eebd549cc2fad1c16b.tar.gz gcc-b367a66cfb620b88338111eebd549cc2fad1c16b.tar.bz2 | |
ada: Fix for attribute Range in Exceptional_Cases
Attribute Range is now handled like First and Last when occurring within
the consequence of Exceptional_Cases, i.e. attribute Range is not
considered to be a read of a formal parameter that would not be allowed
in the contract.
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Handle Range like First and Last.
Diffstat (limited to 'libcpp/directives.cc')
0 files changed, 0 insertions, 0 deletions