diff options
| author | Steve Baird <baird@adacore.com> | 2023-01-30 15:41:48 -0800 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-22 10:44:08 +0200 |
| commit | e1f5cf0b14c460f04e878e8c52c90132f19c5e3f (patch) | |
| tree | 4e972f9ce8cb1302977da4117612bb247d3f07d1 /gcc/ada/debug.adb | |
| parent | 60498ae3a06ba9a08cd2bf4a851e01e7e6fb1557 (diff) | |
| download | gcc-e1f5cf0b14c460f04e878e8c52c90132f19c5e3f.zip gcc-e1f5cf0b14c460f04e878e8c52c90132f19c5e3f.tar.gz gcc-e1f5cf0b14c460f04e878e8c52c90132f19c5e3f.tar.bz2 | |
ada: Better error message if non-Ada2022 code declares No_Return function
When a feature that is legal in Ada2022 but not in earlier Ada versions
is used, we typically want to call Error_Msg_Ada_2022_Feature in order to
generate an informative message in the error case. Specifying No_Return
for a function (as opposed to a procedure) is no exception to this rule.
gcc/ada/
* sem_prag.adb (Analyze_Pragma): In Check_No_Return, call
Error_Msg_Ada_2022_Feature in the case of a function. Remove code
outside of Check_No_Return that was querying Ada_Version.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions