]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8912b95) | patch
ada: Fix couple of issues in documentation of overflow checking
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 1 Jun 2023 22:11:05 +0000 (00:11 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 20 Jun 2023 07:30:50 +0000 (09:30 +0200)
commiteb5c593cab9c8e88bc83767b738307e31285c733
treeaca3d219497d64754f04abe207f5172018f1818dtree | snapshot
parent8912b95779dd233fb3a8c8b4dda033ed7b50be31commit | diff
ada: Fix couple of issues in documentation of overflow checking

There is still a mention of the defunct CHECKED mode and the Default
Settings paragraph is confusing with regard to the -gnato switch.

gcc/ada/

* doc/gnat_ugn/gnat_and_program_execution.rst (Overflows in GNAT)
<Default Settings>: Remove obsolete paragraph about -gnato.
<Implementation Notes>: Replace CHECKED with STRICT.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst diff | blob | blame | history
gcc/ada/gnat_ugn.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git