diff options
| author | Yannick Moy <moy@adacore.com> | 2020-05-27 17:30:23 +0200 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:17:10 -0300 |
| commit | bdb1a887253905742d9af3894b20e905fe5b2ecc (patch) | |
| tree | 2f45dfae4922b81a2b549752a3404f8b8c8afbf3 | |
| parent | 9672c9e7374170ab1d328ec01fee7a4d61bce61a (diff) | |
| download | gcc-bdb1a887253905742d9af3894b20e905fe5b2ecc.zip gcc-bdb1a887253905742d9af3894b20e905fe5b2ecc.tar.gz gcc-bdb1a887253905742d9af3894b20e905fe5b2ecc.tar.bz2 | |
[Ada] Fix assertion failure on (in-)out function parameter
gcc/ada/
* sem_res.adb (Resolve_Actuals): Protect call to
Is_Valued_Procedure.
| -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; |