diff options
| author | Bob Duff <duff@adacore.com> | 2020-03-14 14:32:31 -0400 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:12:03 -0300 |
| commit | ef71af1d4a2551c92a3453530c592c29a97f0838 (patch) | |
| tree | d5ce713f8667d779a58e2f1b7b351846caada6e2 /gcc/fortran | |
| parent | 26d3c8d2cf209c95382c22c91a94e1caf057b95c (diff) | |
| download | gcc-ef71af1d4a2551c92a3453530c592c29a97f0838.zip gcc-ef71af1d4a2551c92a3453530c592c29a97f0838.tar.gz gcc-ef71af1d4a2551c92a3453530c592c29a97f0838.tar.bz2 | |
[Ada] Fix unnesting crash with Predicate_Failure/no pred
2020-06-11 Bob Duff <duff@adacore.com>
gcc/ada/
* sem_ch13.adb (Analyze_Aspect_Specifications): Do not set the
Has_Predicates flag when the Predicate_Failure aspect is seen.
It is legal (but pointless) to use this aspect without a
predicate. If we set the flag, we generate a half-baked
Predicate procedure, and if that procedure is nested, it causes
unnesting to crash.
Diffstat (limited to 'gcc/fortran')
0 files changed, 0 insertions, 0 deletions