]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0aca9f5) | patch
ada: Fix for attribute Range in Exceptional_Cases
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 5 Jun 2023 08:30:39 +0000 (10:30 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 20 Jun 2023 07:30:50 +0000 (09:30 +0200)
commitb367a66cfb620b88338111eebd549cc2fad1c16b
treeb441a95e8c062caa29b88e6d6d5d02d3e6240d60tree
parent0aca9f500e7e8f4b6c84f25a25289b2d4d4ca95fcommit | diff
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.
gcc/ada/sem_res.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git