diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-06-02 15:16:44 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-05 08:28:17 +0000 |
| commit | 70bb3298c2b4eaec19490ada47dbc3d7307002af (patch) | |
| tree | ac0fdce9b7bc73024244f70c3ff3d581718bf5f7 /gcc | |
| parent | 5b560170323869f7d8406da6c985b0d21b2f7ef3 (diff) | |
| download | gcc-70bb3298c2b4eaec19490ada47dbc3d7307002af.zip gcc-70bb3298c2b4eaec19490ada47dbc3d7307002af.tar.gz gcc-70bb3298c2b4eaec19490ada47dbc3d7307002af.tar.bz2 | |
[Ada] Add RM reference to check for functions without a return statement
Add comment to explain why we have an error and not just a warning.
gcc/ada/
* sem_ch6.adb (Check_Missing_Return): Add reference to an RM rule.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 5a4ba7a..05db793 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -3568,6 +3568,10 @@ package body Sem_Ch6 is Id := Body_Id; end if; + -- A function body shall contain at least one return statement + -- that applies to the function body, unless the function contains + -- code_statements; RM 6.5(5). + if Return_Present (Id) then Check_Returns (HSS, 'F', Missing_Ret); |