[Ada] Major code cleanup

Programming / Compilers / GCC - pmderodat [138bc75d-0d04-0410-961f-82ee72b054a4] - 16 July 2018 14:11 EDT

2018-07-16 Ed Schonberg

gcc/ada/

- einfo.adb (Set_Is_Uplevel_Referenced_Entity): Flag can appear on loop parameters.
- exp_ch7.adb (Check_Unnesting_Elaboration_Code): Handle subprogram bodies.
- exp_ch9.adb (Reset_Scopes_To): Set the scopes of entities local to an entry body to be the corresponding generated subprogram, for correct analysis of uplevel references.
- exp_unst.adb (Visit_Node): Handle properly binary and unary operators Ignore pragmas, fix component associations. (Register_Subprograms): Subprograms in synchronized types must be treated as reachable.

e6d63b71171 [Ada] Major code cleanup
gcc/ada/ChangeLog | 14 +++++++
gcc/ada/einfo.adb | 2 +-
gcc/ada/exp_ch7.adb | 3 ++
gcc/ada/exp_ch9.adb | 74 ++++++++++++++++++++++++++++++++++-
gcc/ada/exp_unst.adb | 107 ++++++++++++++++++++++++++++++++++++++++++++-------
5 files changed, 184 insertions(+), 16 deletions(-)

Upstream: gcc.gnu.org


  • Share