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/sinfo.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/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 687d2fe..f6e70c1 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -1523,15 +1523,6 @@ package body Sinfo is return Flag10 (N); end Has_Dynamic_Length_Check; - function Has_Dynamic_Range_Check - (N : Node_Id) return Boolean is - begin - pragma Assert (False - or else NT (N).Nkind = N_Subtype_Declaration - or else NT (N).Nkind in N_Subexpr); - return Flag12 (N); - end Has_Dynamic_Range_Check; - function Has_Init_Expression (N : Node_Id) return Boolean is begin @@ -4997,15 +4988,6 @@ package body Sinfo is Set_Flag10 (N, Val); end Set_Has_Dynamic_Length_Check; - procedure Set_Has_Dynamic_Range_Check - (N : Node_Id; Val : Boolean := True) is - begin - pragma Assert (False - or else NT (N).Nkind = N_Subtype_Declaration - or else NT (N).Nkind in N_Subexpr); - Set_Flag12 (N, Val); - end Set_Has_Dynamic_Range_Check; - procedure Set_Has_Init_Expression (N : Node_Id; Val : Boolean := True) is begin |