| commit | 5bf5aa1bfdb6c090d9d24dc6835aba0005f68fca | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Thu, 2 Mar 2023 14:09:24 +0000 (2 15:09 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Thu, 25 May 2023 07:44:15 +0000 (25 09:44 +0200) | ||
| tree | c9517a553bc809ccb916b300e8913225c4411ff1 | treesnapshot (tar.gz zip) |
| parent | fd694822ca6eda8b08fea10fcabdb0ad508a963e | commitdiff |
ada: Accept aliased parameters in Exceptional_Cases
Aliased parameters, just like parameters by-reference types, can safely
appear in consequences of Exceptional_Cases aspect.
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Allow aliased parameters; tune
error message.
Aliased parameters, just like parameters by-reference types, can safely
appear in consequences of Exceptional_Cases aspect.
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Allow aliased parameters; tune
error message.
| gcc/ada/sem_res.adb | diffblobblamehistory |