projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6c7e02) | patch
[Ada] Validate_Access_Subprogram_Instance: check if not null types match
authorGhjuvan Lacambre <lacambre@adacore.com>
Mon, 16 Dec 2019 10:33:13 +0000 (10:33 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 16 Dec 2019 10:33:13 +0000 (10:33 +0000)
commit4efe11c6bcb6ba19745e98fae8887e3b4a978965
tree684207ad09fe1e130a7cfa5d945a4191734e8ee8tree
parentd6c7e020cffa8570c77e80da755c8963034657fbcommit | diff
[Ada] Validate_Access_Subprogram_Instance: check if not null types match

2019-12-16  Ghjuvan Lacambre  <lacambre@adacore.com>

gcc/ada/

* sem_ch12.adb (Validate_Access_Subprogram_Instance): Add
Can_Never_Be_Null checks.

From-SVN: r279413
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history