diff options
| author | Ghjuvan Lacambre <lacambre@adacore.com> | 2020-10-28 11:03:16 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-27 04:15:44 -0500 |
| commit | bf85ff03b3e6a17da5bee164114721ea076e33ad (patch) | |
| tree | 0d88cdf0ec89d00322763dd0af54b0cbe0a3e7ea /gcc/gcse-common.c | |
| parent | 78287696dc5f788b28f8541c93809e002f722f81 (diff) | |
| download | gcc-bf85ff03b3e6a17da5bee164114721ea076e33ad.zip gcc-bf85ff03b3e6a17da5bee164114721ea076e33ad.tar.gz gcc-bf85ff03b3e6a17da5bee164114721ea076e33ad.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gcse-common.c')
0 files changed, 0 insertions, 0 deletions