| commit | f8bf6ae4cf087a9947c431a06f77104fa20ae36f | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Tue, 4 Apr 2023 07:49:26 +0000 (4 09:49 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 29 May 2023 08:23:19 +0000 (29 10:23 +0200) | ||
| tree | 770726f11adb03d1991d35df54ee1bd9d2678ce5 | treesnapshot (tar.gz zip) |
| parent | 1f0d389488382d51a2e0ef38c2761a074e9bd2d3 | commitdiff |
ada: Allow attributes like First and Last to be read in Exceptional_Cases
Attributes that do not read data from the object can be safely used in
consequences of Exceptional_Cases regardless of the parameter passing
mode.
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Relax rules for Exceptional_Cases.
Attributes that do not read data from the object can be safely used in
consequences of Exceptional_Cases regardless of the parameter passing
mode.
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Relax rules for Exceptional_Cases.
| gcc/ada/sem_res.adb | diffblobblamehistory |