diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 15:53:55 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 15:53:55 +0100 |
| commit | a6abfd78fe2571bb025268983633ac1978a1d3c3 (patch) | |
| tree | 983cca983a4ca093d869c629f61de58f41015db2 /gcc/ada/par-ch3.adb | |
| parent | 64e86d00889c7694172fc130726bd3123c19564c (diff) | |
| download | gcc-a6abfd78fe2571bb025268983633ac1978a1d3c3.zip gcc-a6abfd78fe2571bb025268983633ac1978a1d3c3.tar.gz gcc-a6abfd78fe2571bb025268983633ac1978a1d3c3.tar.bz2 | |
[multiple changes]
2014-02-25 Robert Dewar <dewar@adacore.com>
* sem_attr.adb, sem_ch6.adb, par-ch3.adb: Minor reformatting.
2014-02-25 Bob Duff <duff@adacore.com>
* s-tassta.adb (Finalize_Global_Tasks): Limit the number of loop
iterations while waiting for independent tasks to terminate;
if an independent task does not terminate, we do not want to
hang here. In that case, the thread will be terminated when the
process exits.
* s-taprop-linux.adb (Abort_Task): Fix Assert to allow for ESRCH.
2014-02-25 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Check_SPARK_Aspect_For_ASIS): New subprogram,
used to perform pre-analysis of the expression for SPARK
aspects that have a non-standard syntax, such as GLobal and
Initializes. The procedure applies to the original expression
in an aspect specification, prior to the analysis of the
corresponding pragma, in order to provide semantic information
for ASIS navigation purposes.
(Analyze_Global_In_Decl_List, Analyze_Initializes_In_Decl_Part):
Call new subprogram.
From-SVN: r208127
Diffstat (limited to 'gcc/ada/par-ch3.adb')
| -rw-r--r-- | gcc/ada/par-ch3.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/par-ch3.adb b/gcc/ada/par-ch3.adb index de50e02..e9524fa 100644 --- a/gcc/ada/par-ch3.adb +++ b/gcc/ada/par-ch3.adb @@ -4620,8 +4620,8 @@ package body Ch3 is -- Test for body scanned, not acceptable as basic decl item if Kind = N_Subprogram_Body or else - Kind = N_Package_Body or else - Kind = N_Task_Body or else + Kind = N_Package_Body or else + Kind = N_Task_Body or else Kind = N_Protected_Body then Error_Msg ("proper body not allowed in package spec", Sloc (Decl)); @@ -4629,9 +4629,8 @@ package body Ch3 is -- Complete declaration of mangled subprogram body, for better -- recovery if analysis is attempted. - if Nkind_In - (Decl, N_Subprogram_Body, N_Package_Body, N_Task_Body) - and then No (Handled_Statement_Sequence (Decl)) + if Nkind_In (Decl, N_Subprogram_Body, N_Package_Body, N_Task_Body) + and then No (Handled_Statement_Sequence (Decl)) then Set_Handled_Statement_Sequence (Decl, Make_Handled_Sequence_Of_Statements (Sloc (Decl), |