diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-02-05 18:02:03 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:51 -0400 |
| commit | 32115be843e3d7bd344b1e899deee27aef9a3b65 (patch) | |
| tree | c1e21353c59aaa1abbf792e0e289ebba6579525b /gcc/ada/sem_ch3.ads | |
| parent | 0ad46f04488199557f2b407f8d10839ef5c6e604 (diff) | |
| download | gcc-32115be843e3d7bd344b1e899deee27aef9a3b65.zip gcc-32115be843e3d7bd344b1e899deee27aef9a3b65.tar.gz gcc-32115be843e3d7bd344b1e899deee27aef9a3b65.tar.bz2 | |
[Ada] Make the Has_Dynamic_Range_Check flag obsolete
2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* atree.adb (New_Copy): Clear Has_Dynamic_Range_Check on
subexpression nodes.
* checks.adb (Append_Range_Checks): Assert that the node
doesn't have the Has_Dynamic_Range_Check flag set.
(Insert_Range_Checks): Likewise.
* exp_ch3.adb (Expand_N_Subtype_Indication): Do not apply
range checks for a full type or object declaration.
* sem_ch3.ads: Move with and use clauses for Nlists to...
(Process_Range_Expr_In_Decl): Change default to No_List for
the Check_List parameter.
* sem_ch3.adb: ...here.
(Process_Range_Expr_In_Decl): Likewise. When the insertion
node is a declaration, only insert on the list if is present
when the declaration involves discriminants, and only insert
on the node when there is no list otherwise.
Diffstat (limited to 'gcc/ada/sem_ch3.ads')
| -rw-r--r-- | gcc/ada/sem_ch3.ads | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch3.ads b/gcc/ada/sem_ch3.ads index 55e3890..1d1d983 100644 --- a/gcc/ada/sem_ch3.ads +++ b/gcc/ada/sem_ch3.ads @@ -23,7 +23,6 @@ -- -- ------------------------------------------------------------------------------ -with Nlists; use Nlists; with Types; use Types; package Sem_Ch3 is @@ -265,7 +264,7 @@ package Sem_Ch3 is (R : Node_Id; T : Entity_Id; Subtyp : Entity_Id := Empty; - Check_List : List_Id := Empty_List; + Check_List : List_Id := No_List; R_Check_Off : Boolean := False; In_Iter_Schm : Boolean := False); -- Process a range expression that appears in a declaration context. The |