[Ada] Allow uninitialized values on Big_Positive/Natural
authorArnaud Charlet <charlet@adacore.com>
Wed, 1 Apr 2020 15:46:22 +0000 (11:46 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 15 Jun 2020 08:04:37 +0000 (04:04 -0400)
commitb85120adbab0723862baed90c0430b39b2d6b938
tree2eaaa137d71e38e43aeaad800e7461a8839f8841
parent63e96d44215b7b86eb2eb754dcf139437e40d850
[Ada] Allow uninitialized values on Big_Positive/Natural

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

gcc/ada/

* libgnat/a-nbnbin.ads (Big_Positive, Big_Natural): Fix
predicate.
gcc/ada/libgnat/a-nbnbin.ads