| commit | 834bb57ac5a28e740b8f6e55059a102b99380176 | |
| author | Ed Schonberg <schonberg@adacore.com> | |
| Wed, 25 Mar 2020 16:49:13 +0000 (25 12:49 -0400) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Fri, 12 Jun 2020 08:29:27 +0000 (12 04:29 -0400) | ||
| tree | b4713691503071d4687babdbd70609f6cb9dd8df | treesnapshot (tar.gz zip) |
| parent | a80b1eb72d6f227fc7d1cca36a6c29614a80ab10 | commitdiff |
[Ada] Compiler locks up with -gnatX and formal subprogram with aspects
2020-06-12 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch12.adb (Find_Matching_Actual): Add guard on search loops
to detect a compilation error when using a compiler built
without assertions.
(Instantiate_Formal_Subprogram): Create a new subprogram name
for the actual only if formal has contract aspects and expansion
is enabled.
2020-06-12 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch12.adb (Find_Matching_Actual): Add guard on search loops
to detect a compilation error when using a compiler built
without assertions.
(Instantiate_Formal_Subprogram): Create a new subprogram name
for the actual only if formal has contract aspects and expansion
is enabled.
| gcc/ada/sem_ch12.adb | diffblobblamehistory |