[Ada] Compiler locks up with -gnatX and formal subprogram with aspects
authorEd Schonberg <schonberg@adacore.com>
Wed, 25 Mar 2020 16:49:13 +0000 (12:49 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 12 Jun 2020 08:29:27 +0000 (04:29 -0400)
commit834bb57ac5a28e740b8f6e55059a102b99380176
treeb4713691503071d4687babdbd70609f6cb9dd8df
parenta80b1eb72d6f227fc7d1cca36a6c29614a80ab10
[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.
gcc/ada/sem_ch12.adb