[Ada] Move generation of range checks for entry families to expander
authorEric Botcazou <ebotcazou@adacore.com>
Sun, 10 May 2020 20:02:44 +0000 (22:02 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 7 Jul 2020 09:26:57 +0000 (05:26 -0400)
commit451187a3e58b4102dd8bb34589fa388a19c090bd
tree7e274694f870db341251f57b9a0e2f3fa69bdb5b
parent2e724314af6587d9833bc0ec1b10c9e24206b311
[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.
gcc/ada/checks.adb
gcc/ada/checks.ads
gcc/ada/exp_ch9.adb
gcc/ada/sem_attr.adb
gcc/ada/sem_ch9.adb
gcc/ada/sem_res.adb