diff options
author | Ed Schonberg <schonberg@adacore.com> | 2020-03-25 12:49:13 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-12 04:29:27 -0400 |
commit | 834bb57ac5a28e740b8f6e55059a102b99380176 (patch) | |
tree | b4713691503071d4687babdbd70609f6cb9dd8df /gcc/gimplify.c | |
parent | a80b1eb72d6f227fc7d1cca36a6c29614a80ab10 (diff) | |
download | gcc-834bb57ac5a28e740b8f6e55059a102b99380176.zip gcc-834bb57ac5a28e740b8f6e55059a102b99380176.tar.gz gcc-834bb57ac5a28e740b8f6e55059a102b99380176.tar.bz2 |
[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.
Diffstat (limited to 'gcc/gimplify.c')
0 files changed, 0 insertions, 0 deletions