projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ddd01d) | patch
[Ada] Relax null exclusion mismatch check in Relaxed_RM_Semantics mode
authorArnaud Charlet <charlet@adacore.com>
Mon, 15 Mar 2021 07:45:35 +0000 (03:45 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 18 Jun 2021 08:36:46 +0000 (04:36 -0400)
commit0becb0faaecc79df3de24bd5467b90cfd08a829a
tree46e632a90840d7d5b9aca1e3a413eb034094f22btree | snapshot
parent5ddd01d6d41846eeb4b5e55351a4910841504510commit | diff
[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.
gcc/ada/sem_ch6.adb diff | blob | history
Domain: System / Toolchain;