]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e26e26) | patch
ada: Adjust SPARK RM rule numbers for new handling of Async_Writers
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 20 Nov 2025 22:29:15 +0000 (23:29 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 9 Jan 2026 10:57:13 +0000 (11:57 +0100)
commita67a5e0fa64df574dbbfd31e7c0e04386c83fec2
tree7fca62963eb0c1a8d2149b227245d0bd76775fb5tree
parent3e26e2677c0085b7db2d269fd2839d55dab3300ccommit | diff
ada: Adjust SPARK RM rule numbers for new handling of Async_Writers

A SPARK RM rule 7.1.2(14) about Async_Writes being implicitly initialized is
now removed; adjust references to subsequent rules in comments.

gcc/ada/ChangeLog:

* sem_prag.adb (Analyze_Pragma): Adjust references in comments for
pragma Side_Effects and Volatile_Function.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git