]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8408995) | patch
ada: Update the GNAT RM with assertion level documentation
authorViljar Indus <indus@adacore.com>
Mon, 15 Sep 2025 11:51:13 +0000 (14:51 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 29 Sep 2025 09:43:38 +0000 (11:43 +0200)
commit891b42a7f18101f9d204351fae2e8c286cb7645f
tree6a9868090bcbea030d3a3537d3fb047505886c07tree | snapshot
parent840899585a23ae346235035aca4842b3d1358180commit | diff
ada: Update the GNAT RM with assertion level documentation

* Add an entry for pragma Assertion Level.
* Point all assertion kind pragmas that support assertion level
  associations to the relevant section in the SPARK RM.

gcc/ada/ChangeLog:

* doc/gnat_rm/implementation_defined_pragmas.rst: update
rules for pragmas affected by assertion levels.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git