diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-05-25 09:03:09 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-25 09:03:09 +0000 |
| commit | 5fe0b8c32cbafad220cfc7668bde71c2cf8d072f (patch) | |
| tree | 1b91f81318a1fd8d623be5df5c497629f10826be /gcc/tree-vect-data-refs.c | |
| parent | 8218cfde96a4e9df2ce00fabc3d616d6f3cfc83c (diff) | |
| download | gcc-5fe0b8c32cbafad220cfc7668bde71c2cf8d072f.zip gcc-5fe0b8c32cbafad220cfc7668bde71c2cf8d072f.tar.gz gcc-5fe0b8c32cbafad220cfc7668bde71c2cf8d072f.tar.bz2 | |
[Ada] Refine checks for uplevel references
2018-05-25 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* exp_unst.adb (Visit_Node): Restrict check for uplevel references in
prefixes of array attributes, to prefixes that are entity names whose
type is constrained.
(Note_Uplevel_Bound): Verify that the bound is declared in an enclosing
subprogram, as itype created for loops in pre/postcondition may appear
in loops at the library level.
From-SVN: r260717
Diffstat (limited to 'gcc/tree-vect-data-refs.c')
0 files changed, 0 insertions, 0 deletions