diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2020-03-20 09:24:49 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-12 04:29:12 -0400 |
| commit | c14b424ec73738165d0031888b534562a7ce6438 (patch) | |
| tree | ba6456954bf520a8d0589f5faa2ebe664af88475 /gcc/ada/sinfo.adb | |
| parent | c324c77eeda3203bc9280b7aeefc9aea13503792 (diff) | |
| download | gcc-c14b424ec73738165d0031888b534562a7ce6438.zip gcc-c14b424ec73738165d0031888b534562a7ce6438.tar.gz gcc-c14b424ec73738165d0031888b534562a7ce6438.tar.bz2 | |
[Ada] Compiler crash on instance with overloaded actual and aspects
2020-06-12 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch12.adb (Has_Contracts): New predicate to check whether a
formal subprogram carries an aspect specification for a pre- or
postcondition.
(Build_Subprogram_Wrappers): If actual is overloaded, create a
new name to be used in call inside wrapper body. This names
carries the interpretations of the actual, and is resolved when
the body is analyzed.
(Build_Subprogram_Body_Wrapper): Use this generated name in
call.
(Build_Subprogram_Decl_Wrapper): Build profile of wrapper from
the profile of formal, and reset type entities for subsequent
analysis.
Diffstat (limited to 'gcc/ada/sinfo.adb')
0 files changed, 0 insertions, 0 deletions