diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-05-10 22:02:44 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-07 05:26:57 -0400 |
| commit | 451187a3e58b4102dd8bb34589fa388a19c090bd (patch) | |
| tree | 7e274694f870db341251f57b9a0e2f3fa69bdb5b /gcc/ada/sem_util.adb | |
| parent | 2e724314af6587d9833bc0ec1b10c9e24206b311 (diff) | |
| download | gcc-451187a3e58b4102dd8bb34589fa388a19c090bd.zip gcc-451187a3e58b4102dd8bb34589fa388a19c090bd.tar.gz gcc-451187a3e58b4102dd8bb34589fa388a19c090bd.tar.bz2 | |
[Ada] Move generation of range checks for entry families to expander
gcc/ada/
* checks.ads (Expander Routines): Update the description of the
Do_Range_Check mechanism.
* checks.adb (Selected_Range_Checks): Fix typo.
* exp_ch9.adb: Add with and use clause for Checks.
(Actual_Index_Expression): Generate a range check if requested.
(Entry_Index_Expression): Likewise.
* sem_attr.adb (Resolve_Attribute) <Attribute_Count>: Call
Apply_Scalar_Range_Check instead of Apply_Range_Check.
* sem_ch9.adb (Analyze_Accept_Statement): Likewise.
* sem_res.adb (Resolve_Entry): Likewise, after having set the
actual index type on the prefix of the indexed component.
(Resolve_Indexed_Component): Remove useless conditional construct.
Diffstat (limited to 'gcc/ada/sem_util.adb')
0 files changed, 0 insertions, 0 deletions