diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2021-03-15 03:45:35 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-18 04:36:46 -0400 |
| commit | 0becb0faaecc79df3de24bd5467b90cfd08a829a (patch) | |
| tree | 46e632a90840d7d5b9aca1e3a413eb034094f22b /gcc/ada/sem_ch5.adb | |
| parent | 5ddd01d6d41846eeb4b5e55351a4910841504510 (diff) | |
| download | gcc-0becb0faaecc79df3de24bd5467b90cfd08a829a.zip gcc-0becb0faaecc79df3de24bd5467b90cfd08a829a.tar.gz gcc-0becb0faaecc79df3de24bd5467b90cfd08a829a.tar.bz2 | |
[Ada] Relax null exclusion mismatch check in Relaxed_RM_Semantics mode
gcc/ada/
* sem_ch6.adb (Null_Exclusions_Match): Relax null exclusion
mismatch check when Relaxed_RM_Semantics is set.
Diffstat (limited to 'gcc/ada/sem_ch5.adb')
0 files changed, 0 insertions, 0 deletions