diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2020-09-10 15:57:06 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-26 04:59:00 -0400 |
| commit | cfc3a1db82cb6a11e9bdfc903f71fb116c9b6706 (patch) | |
| tree | c4af1863f29ca85f8e028c65520658060dd7bfcc /gcc/gimple-array-bounds.cc | |
| parent | adf1c867c01eece19081c157d2c6bf05f7848c64 (diff) | |
| download | gcc-cfc3a1db82cb6a11e9bdfc903f71fb116c9b6706.zip gcc-cfc3a1db82cb6a11e9bdfc903f71fb116c9b6706.tar.gz gcc-cfc3a1db82cb6a11e9bdfc903f71fb116c9b6706.tar.bz2 | |
[Ada] Spurious error on Old attribute reference in delta aggregate
gcc/ada/
* sem_aggr.adb (Resolve_Delta_Array_Aggregate): For an
association that is an iterated component association, attach
the copy of the expression to the tree prior to analysis, in
order to preserve its context. This is needed when verifying
static semantic rules that depend on context, for example that a
use of 'Old appears only within a postcondition.
Diffstat (limited to 'gcc/gimple-array-bounds.cc')
0 files changed, 0 insertions, 0 deletions