[Ada] Remove the Has_Dynamic_Range_Check flag
authorEric Botcazou <ebotcazou@adacore.com>
Sun, 9 Feb 2020 17:03:48 +0000 (18:03 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:51:08 +0000 (03:51 -0400)
commitbbe7d67f5ffdadeee67e0060bde212d09e38a704
tree090e88aca5d110cf337deec15b13225500bb1a95
parent6476fc372a684ff42712c10508dddf0e6d229df5
[Ada] Remove the Has_Dynamic_Range_Check flag

2020-06-08  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* atree.adb (New_Copy): Do not clear Has_Dynamic_Range_Check.
* checks.ads (Append_Range_Checks): Remove Flag_Node parameter.
(Insert_Range_Checks): Likewise and remove default value of
Static_Loc parameter.
* checks.adb (Append_Range_Checks): Remove Flag_Node parameter.
Do not test and set Has_Dynamic_Range_Check.
(Insert_Range_Checks): Likewise and remove default value of
Static_Loc parameter.
* csinfo.adb (CSinfo): Remove 'L' from [NEUB]_Fields pattern and
do not handle Has_Dynamic_Range_Check.
* exp_ch5.adb (Expand_N_Assignment_Statement): Remove argument
in call to Insert_Range_Checks.
* sem_ch3.adb (Analyze_Subtype_Declaration): Do not fiddle
with Has_Dynamic_Range_Check.
(Process_Range_Expr_In_Decl): Remove argument in calls to
Insert_Range_Checks and Append_Range_Checks.
* sinfo.ads (Has_Dynamic_Range_Check): Delete.
(Set_Has_Dynamic_Range_Check): Likewise.
* sinfo.adb (Has_Dynamic_Range_Check): Delete.
(Set_Has_Dynamic_Range_Check): Likewise.
* treepr.adb (Print_Node): Do not print Has_Dynamic_Range_Check.
gcc/ada/atree.adb
gcc/ada/checks.adb
gcc/ada/checks.ads
gcc/ada/csinfo.adb
gcc/ada/exp_ch5.adb
gcc/ada/sem_ch3.adb
gcc/ada/sinfo.adb
gcc/ada/sinfo.ads
gcc/ada/treepr.adb