]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95a3a29) | patch
[Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries
authorJoffrey Huguet <huguet@adacore.com>
Tue, 26 May 2020 16:06:58 +0000 (18:06 +0200)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:17:09 +0000 (13:17 -0300)
commit7bf8bbb15cd34d235343eed04fadf2245aeb01a7
tree094618cd44b1055d75dda5825e9d84b03c0718ectree
parent95a3a293db2f2e9be67438860ac90519d3c62722commit | diff
[Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries

gcc/ada/

* libgnat/a-nbnbin.ads, libgnat/a-nbnbre.ads: Add global
contract (Global => null) to all functions.
gcc/ada/libgnat/a-nbnbin.ads diff | blob | blame | history
gcc/ada/libgnat/a-nbnbre.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git