diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-07-16 14:11:52 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-16 14:11:52 +0000 |
| commit | ccc2a6139062395fb5747d0846a1ed6de25293c2 (patch) | |
| tree | e7664caba9debf77bbe18083906f927e8d88e4be /gcc/ada/contracts.adb | |
| parent | 93bc357b34765dcc12709962a074c8001677c27b (diff) | |
| download | gcc-ccc2a6139062395fb5747d0846a1ed6de25293c2.zip gcc-ccc2a6139062395fb5747d0846a1ed6de25293c2.tar.gz gcc-ccc2a6139062395fb5747d0846a1ed6de25293c2.tar.bz2 | |
[Ada] Major code cleanup
2018-07-16 Ed Schonberg <schonberg@adacore.com>
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.
From-SVN: r262723
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions