projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a0d290) | patch
[Ada] Ada2020: AI12-0289 Implicitly null excluding anon access
authorBob Duff <duff@adacore.com>
Mon, 8 Jun 2020 17:54:27 +0000 (13:54 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 16 Jul 2020 09:18:05 +0000 (05:18 -0400)
commitad323bbf943820aab97a06d318aadd003f8b978e
treee4d1e68be6199e2c03b46f59a00deeaf3cfe8af5tree
parent1a0d29099af1fa1f0dc8aa7c13ec71c7e014cd96commit | diff
[Ada] Ada2020: AI12-0289 Implicitly null excluding anon access

gcc/ada/

* sem_ch6.adb (Null_Exclusions_Match): New function to check
that the null exclusions match, including in the case addressed
by this AI.
(Check_Conformance): Remove calls to Comes_From_Source
when calling Null_Exclusions_Match. These are not
needed, as indicated by an ancient "???" comment.
gcc/ada/sem_ch6.adb diff | blob | history