[Ada] Type inconsistency in floating_point type declarations
authorEd Schonberg <schonberg@adacore.com>
Mon, 22 Jul 2019 13:57:22 +0000 (13:57 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 22 Jul 2019 13:57:22 +0000 (13:57 +0000)
commita517030d8b76ae338c7e33253fcd0177979dde2b
treea92e4621fe3c684b7e5fc3f9b175a6625cd5d651
parent2c26d262eb40998040308a57d420849fd764ef53
[Ada] Type inconsistency in floating_point type declarations

This patch fixes an inconsistency in the typing of the bounds of a
floting point type declaration, when some bound is given by a dtatic
constant of an explicit type, instead of a real literal, Previous to
this patch the bound of the type retained the given type, leading to
spurious errors in Codepeer.

2019-07-22  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch3.adb (Convert_Bound): Subsidiary of
Floating_Point_Type_Declaration, to handle properly range
specifications with bounds that may include static constants of
a given type rather than real literals.

From-SVN: r273680
gcc/ada/ChangeLog
gcc/ada/sem_ch3.adb