diff options
| author | Yannick Moy <moy@adacore.com> | 2020-05-27 17:30:23 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-10 05:16:19 -0400 |
| commit | 5f43e7893006c3cc78d196ec1e7579216c177161 (patch) | |
| tree | b5bf9e52179c62cb7189141e49edbe38c082d021 /gcc | |
| parent | 8248cf4b7006af19298f0b944c212fe2b4b66bef (diff) | |
| download | gcc-5f43e7893006c3cc78d196ec1e7579216c177161.zip gcc-5f43e7893006c3cc78d196ec1e7579216c177161.tar.gz gcc-5f43e7893006c3cc78d196ec1e7579216c177161.tar.bz2 | |
[Ada] Fix assertion failure on (in-)out function parameter
gcc/ada/
* sem_res.adb (Resolve_Actuals): Protect call to
Is_Valued_Procedure.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_res.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index f76366d..b5cdbb7 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -4641,6 +4641,7 @@ package body Sem_Res is -- This is for Starlet only though, so long obsolete. if Mechanism (F) = By_Reference + and then Ekind (Nam) = E_Procedure and then Is_Valued_Procedure (Nam) then null; |