]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58ccdca) | patch
ada: Adjust documentation on floating-point overflow handling
authorMarc Poulhiès <poulhies@adacore.com>
Thu, 20 Nov 2025 14:59:49 +0000 (15:59 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 5 Dec 2025 12:22:52 +0000 (13:22 +0100)
commitfb0daefc42baa50112d260f6a52ee97994c3893e
treed34baa427dfc19f126a1267c090af116df6ccd16tree
parent58ccdca74a4d0e6b2087df211aedc5747edc65c3commit | diff
ada: Adjust documentation on floating-point overflow handling

The description of the floating-point overflow behavior is already
documented in other sections: remove the duplication.
This removal also removes confusing/wrong informations

gcc/ada/ChangeLog:

* doc/gnat_ugn/building_executable_programs_with_gnat.rst
(-gnato??): Remove redundant/confusing doc on floating-point
overflow.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst diff | blob | blame | history
gcc/ada/gnat_ugn.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git