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/gimple-expr.c | |
| 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/gimple-expr.c')
0 files changed, 0 insertions, 0 deletions