projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9cfd2c3) | patch
[Ada] Reject Global/Depends contracts on null procedures
authorYannick Moy <moy@adacore.com>
Mon, 28 Sep 2020 15:58:31 +0000 (17:58 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 24 Nov 2020 10:15:59 +0000 (05:15 -0500)
commit41273281cef411c75d12f45e8083faff2633e61a
tree8a193228463997f1dfe224a8242d1a7dca8c969atree
parent9cfd2c38f39cc2160d057dcd9e44acf73fec58bdcommit | diff
[Ada] Reject Global/Depends contracts on null procedures

gcc/ada/

* sem_prag.adb (Analyze_Depends_Global): Reject Global and
Depends on null procedure.
gcc/ada/sem_prag.adb diff | blob | history