]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0307abc) | patch
ada: Reject references to attribute Result in Exceptional_Cases
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 16 Dec 2024 13:36:13 +0000 (14:36 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 7 Jan 2025 12:33:32 +0000 (13:33 +0100)
commiteccfadd5e22abba75138dd9762d8a873db80eaee
treefc8e1e73699438184294671b9f45dd9c1daa0b9btree | snapshot
parent0307abc8626da292843a080c809d59be5bfb720bcommit | diff
ada: Reject references to attribute Result in Exceptional_Cases

Functions with aspect Side_Effects should not reference attribute Result in
consequences of their aspect Exceptional_Cases.

gcc/ada/ChangeLog:

* sem_prag.adb (Analyze_Exceptional_Cases_In_Decl_Part): Reject
references to attribute Result.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git