[Ada] Further evaluation of type bounds in GNATprove mode
authorYannick Moy <moy@adacore.com>
Mon, 28 May 2018 08:52:53 +0000 (08:52 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 28 May 2018 08:52:53 +0000 (08:52 +0000)
commite740ff85bd5f9924128d67db1bb66b6a0ba23518
tree7f0c72a8f67cb40e274d883fd8933377aee44529
parent7672ab42ccdedf12b8bab23309e86e7a393e9d99
[Ada] Further evaluation of type bounds in GNATprove mode

Some static bounds of types are not recognized and evaluated as such in the
semantic analysis phase of the frontend, which leads to incomplete information
in GNATprove. Fix that in the GNATprove mode only, as this is not needed when
full expansion is used.

There is no impact on compilation.

2018-05-28  Yannick Moy  <moy@adacore.com>

gcc/ada/

* sem_res.adb (Resolve_Range): Re-resolve the low bound of a range in
GNATprove mode, as the order of resolution (low then high) means that
all the information is not available when resolving the low bound the
first time.

From-SVN: r260816
gcc/ada/ChangeLog
gcc/ada/sem_res.adb