]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0a072e) | patch
ada: Pragmas Pre_Class/Post_Class rejected for abstract subprograms
authorJavier Miranda <miranda@adacore.com>
Thu, 26 Sep 2024 10:14:10 +0000 (10:14 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 25 Oct 2024 09:09:01 +0000 (11:09 +0200)
commitc2d4ca9c1de23ca08fb4b1e1fb5e266c6483090e
tree390d40fd67ec03afd9d95e64643ac07b9f3cb428tree
parentd0a072e1f8b46eccf8fcc014e25cd47f17b86496commit | diff
ada: Pragmas Pre_Class/Post_Class rejected for abstract subprograms

The Pre_Class/Post_Class pragmas are rejected at compile time
for abstract subprograms.

gcc/ada/ChangeLog:

* sem_prag.adb (Analyze_Pre_Post_Condition): Allow the use of
pragma Pre_Class/Post_Class with abstract subprograms.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git