]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f561db) | patch
[Ada] Document rounding mode assumed for dynamic floating-point computations
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 13 Aug 2021 16:32:53 +0000 (18:32 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 1 Oct 2021 06:13:39 +0000 (06:13 +0000)
commitf5d4b3fbf62a4c49d5951fc7848127af32876b78
tree8f8e48ad0c6fc50d8fe5655a15cd9c5702b7f156tree
parent3f561db7ca1fba70a90c3ff9f7682b7841585258commit | diff
[Ada] Document rounding mode assumed for dynamic floating-point computations

gcc/ada/

* doc/gnat_rm/implementation_defined_characteristics.rst: Document
the rounding mode assumed for dynamic computations as per 3.5.7(16).
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git