diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-09-19 08:13:20 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-19 08:13:20 +0000 |
| commit | 890cde5319470afab7e96e3b7953075681c015f5 (patch) | |
| tree | 60fde4523f7cb6c05caebbd1cc2f664e7ba1b76c /gcc/ada/gcc-interface/Make-lang.in | |
| parent | f56add9cb032cb4b22abbb33a7b867bfcbbc5f0d (diff) | |
| download | gcc-890cde5319470afab7e96e3b7953075681c015f5.zip gcc-890cde5319470afab7e96e3b7953075681c015f5.tar.gz gcc-890cde5319470afab7e96e3b7953075681c015f5.tar.bz2 | |
[Ada] Crash on predicate in full view in a generic unit
This patch fixes a compiler abort on a dynamic predicate applied to the
full view of a type in a generic package declaration, when the
expression for the predicate is a conditionql expression that contains
references to components of the full view of the type.
2019-09-19 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Simplify
handling of expressions in predicates when the context is a
generic unit.
gcc/testsuite/
* gnat.dg/predicate14.adb, gnat.dg/predicate14.ads: New
testcase.
From-SVN: r275939
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
0 files changed, 0 insertions, 0 deletions