]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4ef65f) | patch
[Ada] Add detection of uninitialized big reals
authorArnaud Charlet <charlet@adacore.com>
Tue, 14 Jan 2020 13:21:20 +0000 (08:21 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 3 Jun 2020 10:01:46 +0000 (06:01 -0400)
commit3f06f6c30a8c168388886c13785597e56b398981
treea6466efc45cd0a536648ba9ed2cf29180e8af451tree | snapshot
parente4ef65f9049ff5cf04635917e7cc845a8c4446eccommit | diff
[Ada] Add detection of uninitialized big reals

2020-06-03  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* libgnat/a-nbnbin.ads: Minor reformatting.
* libgnat/a-nbnbre.ads, libgnat/a-nbnbre.adb (Is_Valid): Add
convention Intrinsic. Add detection of uninitialized big reals.
gcc/ada/libgnat/a-nbnbin.ads diff | blob | blame | history
gcc/ada/libgnat/a-nbnbre.adb diff | blob | blame | history
gcc/ada/libgnat/a-nbnbre.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git