diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-03-18 23:13:20 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-12 04:29:08 -0400 |
| commit | 90e975175757b4ac9712d90d27ec59cd09f22cc9 (patch) | |
| tree | a63f89330826d72e6a5149b4cc5d07561cfafdd7 /gcc/tree-vect-data-refs.c | |
| parent | eda72164ade26fe3886515dd55dd9716ff076140 (diff) | |
| download | gcc-90e975175757b4ac9712d90d27ec59cd09f22cc9.zip gcc-90e975175757b4ac9712d90d27ec59cd09f22cc9.tar.gz gcc-90e975175757b4ac9712d90d27ec59cd09f22cc9.tar.bz2 | |
[Ada] Implement AI12-0269 No_Return for functions
2020-06-12 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* einfo.ads (No_Return): Document it for all subprograms.
* einfo.adb (Set_No_Return): Adjust assertion accordingly.
* sem_ch3.adb (Check_Abstract_Overriding): Implement the
check prescribed by RM 6.5.1(6/2) here instead of...
(Derive_Subprogram): Adjust comment accordingly.
* sem_disp.adb (Override_Dispatching_Operation): ...here.
Remove superfluous return statement.
* sem_ch6.adb (Check_No_Return_Expression): New procedure.
(Analyze_Function_Return): Call it to implement the check
prescribed by AI12-0269 for simple return statements of
No_Return functions, and also checks extended statements.
(Analyze_Return_Statement): Only give an error on a return
statement in No_Return procedures. Use idiomatic form.
* sem_ch8.adb (Analyze_Subprogram_Renaming): Adjust error
message for No_Return renaming subprogram.
* sem_prag.adb (Analyze_Pragma) <Pragma_No_Return>: Accept
it on functions and generic functions in Ada 2020.
Diffstat (limited to 'gcc/tree-vect-data-refs.c')
0 files changed, 0 insertions, 0 deletions