diff options
| author | Steve Baird <baird@adacore.com> | 2020-04-23 14:39:55 -0700 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-18 05:08:31 -0400 |
| commit | 13175003d4aecbb1cb8f6e5707c22d318bd0f2a0 (patch) | |
| tree | 73031e221efce23558ffe69aa207f19cd44e4e82 /gcc/tree-vectorizer.h | |
| parent | a6c467131b0c07ab5d9b136148cae201de540109 (diff) | |
| download | gcc-13175003d4aecbb1cb8f6e5707c22d318bd0f2a0.zip gcc-13175003d4aecbb1cb8f6e5707c22d318bd0f2a0.tar.gz gcc-13175003d4aecbb1cb8f6e5707c22d318bd0f2a0.tar.bz2 | |
[Ada] Implement AI12-0032 fixes for 'Old attribute accessibility
2020-06-18 Steve Baird <baird@adacore.com>
gcc/ada/
* sem_util.adb (Object_Access_Level): Treat a 'Old attribute
reference like an aggregate in determining its static
accessibility level; after the evaluation of the relevant
post-condition, the implicitly declared constant associated with
an Old attribute reference ceases to exist. Similarly for
Loop_Entry attribute.
* exp_ch6.adb (Expand_Call_Helper): For an attribute reference
that is expanded into a reference to an implicitly declared
constant (e.g., a 'Old or 'Loop_Entry attribute), compute the
dynamic accessibility level of that constant by looking at the
declaration of the constant (as opposed to looking at the
attribute reference).
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions