diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-02-09 18:03:48 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:51:08 -0400 |
| commit | bbe7d67f5ffdadeee67e0060bde212d09e38a704 (patch) | |
| tree | 090e88aca5d110cf337deec15b13225500bb1a95 /gcc/ada/csinfo.adb | |
| parent | 6476fc372a684ff42712c10508dddf0e6d229df5 (diff) | |
| download | gcc-bbe7d67f5ffdadeee67e0060bde212d09e38a704.zip gcc-bbe7d67f5ffdadeee67e0060bde212d09e38a704.tar.gz gcc-bbe7d67f5ffdadeee67e0060bde212d09e38a704.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/csinfo.adb')
| -rw-r--r-- | gcc/ada/csinfo.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/csinfo.adb b/gcc/ada/csinfo.adb index 3473704..635a2a5 100644 --- a/gcc/ada/csinfo.adb +++ b/gcc/ada/csinfo.adb @@ -89,10 +89,10 @@ procedure CSinfo is Flags : TV.Table (20); -- Maps flag numbers to letters - N_Fields : constant Pattern := BreakX ("JL"); - E_Fields : constant Pattern := BreakX ("5EFGHIJLOP"); - U_Fields : constant Pattern := BreakX ("1345EFGHIJKLOPQ"); - B_Fields : constant Pattern := BreakX ("12345EFGHIJKLOPQ"); + N_Fields : constant Pattern := BreakX ("J"); + E_Fields : constant Pattern := BreakX ("5EFGHIJOP"); + U_Fields : constant Pattern := BreakX ("1345EFGHIJKOPQ"); + B_Fields : constant Pattern := BreakX ("12345EFGHIJKOPQ"); Line : VString; Bad : Boolean; @@ -215,7 +215,6 @@ begin Set (Special, "First_Itype", True); Set (Special, "Has_Aspect_Specifications", True); Set (Special, "Has_Dynamic_Itype", True); - Set (Special, "Has_Dynamic_Range_Check", True); Set (Special, "Has_Dynamic_Length_Check", True); Set (Special, "Has_Private_View", True); Set (Special, "Is_Controlling_Actual", True); |