diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2019-07-08 08:14:27 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-08 08:14:27 +0000 |
| commit | 570d5bbc7b7c5f7eb0eb03660a93687a6698ae7e (patch) | |
| tree | 01098a79c7af2350fd4b1f213ff5cce95ebd8006 /gcc/tree-pass.h | |
| parent | 47bcd81fe7f8f9251f0777ae5ee77520b615af26 (diff) | |
| download | gcc-570d5bbc7b7c5f7eb0eb03660a93687a6698ae7e.zip gcc-570d5bbc7b7c5f7eb0eb03660a93687a6698ae7e.tar.gz gcc-570d5bbc7b7c5f7eb0eb03660a93687a6698ae7e.tar.bz2 | |
[Ada] Assertion failure on validity check for Address
This patch corrects the verification of 'Address clauses to avoid
processing a clause where the prefix of the attribute is a generic
formal object.
2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not
register an address clause when its prefix denotes a generic
formal object.
gcc/testsuite/
* gnat.dg/addr13.adb, gnat.dg/addr13.ads: New testcase.
From-SVN: r273218
Diffstat (limited to 'gcc/tree-pass.h')
0 files changed, 0 insertions, 0 deletions