projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7828769) | patch
[Ada] Emit error messages for null/generic nonreturning procedures
authorGhjuvan Lacambre <lacambre@adacore.com>
Wed, 28 Oct 2020 10:03:16 +0000 (11:03 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 27 Nov 2020 09:15:44 +0000 (04:15 -0500)
commitbf85ff03b3e6a17da5bee164114721ea076e33ad
tree0d88cdf0ec89d00322763dd0af54b0cbe0a3e7eatree | snapshot
parent78287696dc5f788b28f8541c93809e002f722f81commit | diff
[Ada] Emit error messages for null/generic nonreturning procedures

gcc/ada/

* sem_prag.adb (Analyze_Pragma): declare new Check_No_Return
function and call it.
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;