diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-02-21 11:36:40 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-09 04:09:00 -0400 |
| commit | 742048af50e79b4e0dabba3f4cf2e5779bdc273a (patch) | |
| tree | 07cd6e078d988f6f8a03a001e8c3c1d982785f12 /gcc/ada/sem_res.adb | |
| parent | 54025948c0a4cad05cc22fe67d104e5e3ac9b0de (diff) | |
| download | gcc-742048af50e79b4e0dabba3f4cf2e5779bdc273a.zip gcc-742048af50e79b4e0dabba3f4cf2e5779bdc273a.tar.gz gcc-742048af50e79b4e0dabba3f4cf2e5779bdc273a.tar.bz2 | |
[Ada] Refine implementation of AI05-0149 missing conversion checks
2020-06-09 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* sem_type.adb (Covers): Fix implementation of AI05-0149.
* sem_res.adb: Fix typo.
Diffstat (limited to 'gcc/ada/sem_res.adb')
| -rw-r--r-- | gcc/ada/sem_res.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 0856c89..6e26ffb 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -2852,7 +2852,7 @@ package body Sem_Res is return; -- Under relaxed RM semantics silently replace occurrences of null - -- by System.Address_Null. + -- by System.Null_Address. elsif Null_To_Null_Address_Convert_OK (N, Typ) then Replace_Null_By_Null_Address (N); |