diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-10 12:38:44 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-10 12:38:44 +0000 |
| commit | ef95702258b9200341f41aa36b2c639f29201f4a (patch) | |
| tree | f6d8b6353875c6410d7322d14dc9a5694a443286 /gcc/ada/sem_ch9.adb | |
| parent | 4befb1a023b3eaa917101fe5eeb699d51f501762 (diff) | |
| download | gcc-ef95702258b9200341f41aa36b2c639f29201f4a.tar.gz | |
2013-10-10 Robert Dewar <dewar@adacore.com>
* sem_aggr.adb (Resolve_Array_Aggregate): Identify duplicated
cases.
2013-10-10 Robert Dewar <dewar@adacore.com>
* sem_ch9.adb (Analyze_Task_Body): Aspects are illegal
(Analyze_Protected_Body): Aspects are illegal.
2013-10-10 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb, sem_ch13.adb: Minor reformatting.
* sem_case.adb (Check_Choices): Fix bad listing of missing
values from predicated subtype case (Check_Choices): List
duplicated values.
* errout.adb (Set_Msg_Text): Process warning tags in VMS mode
* erroutc.adb (Output_Msg_Text): Handle VMS warning tags
* gnat_ugn.texi: Document /WARNINGS=TAG_WARNINGS for VMS
* ug_words: Add entries for -gnatw.d and -gnatw.D
* vms_data.ads: Add [NO]TAG_WARNINGS for -gnatw.D/-gnatw.d
* lib-writ.ads: Documentation fixes
2013-10-10 Robert Dewar <dewar@adacore.com>
* a-wichha.adb, a-wichha.ads, a-zchhan.adb, a-zchhan.ads
(Is_Other_Format): New name for Is_Other.
(Is_Punctuation_Connector): New name for Is_Punctuation
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203366 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_ch9.adb')
| -rw-r--r-- | gcc/ada/sem_ch9.adb | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/gcc/ada/sem_ch9.adb b/gcc/ada/sem_ch9.adb index 52dcb90d184..b7374ba8398 100644 --- a/gcc/ada/sem_ch9.adb +++ b/gcc/ada/sem_ch9.adb @@ -1736,16 +1736,16 @@ package body Sem_Ch9 is -- Protected bodies are currently removed by the expander. Since there -- are no language-defined aspects that apply to a protected body, it is - -- not worth changing the whole expansion to accomodate user-defined - -- aspects. Plus we cannot possibly known the semantics of user-defined - -- aspects in order to plan ahead. + -- not worth changing the whole expansion to accomodate implementation- + -- defined aspects. Plus we cannot possibly known the semantics of such + -- future implementation defined aspects in order to plan ahead. if Has_Aspects (N) then Error_Msg_N - ("?user-defined aspects on protected bodies are not supported", N); + ("aspects on protected bodies are not allowed", + First (Aspect_Specifications (N))); - -- The aspects are removed for now to prevent cascading errors down - -- stream. + -- Remove illegal aspects to prevent cascaded errors later on Remove_Aspects (N); end if; @@ -2726,15 +2726,15 @@ package body Sem_Ch9 is -- Task bodies are transformed into a subprogram spec and body pair by -- the expander. Since there are no language-defined aspects that apply -- to a task body, it is not worth changing the whole expansion to - -- accomodate user-defined aspects. Plus we cannot possibly known the - -- semantics of user-defined aspects in order to plan ahead. + -- accomodate implementation-defined aspects. Plus we cannot possibly + -- know semantics of such aspects in order to plan ahead. if Has_Aspects (N) then Error_Msg_N - ("?user-defined aspects on task bodies are not supported", N); + ("aspects on task bodies are not allowed", + First (Aspect_Specifications (N))); - -- The aspects are removed for now to prevent cascading errors down - -- stream. + -- Remove illegal aspects to prevent cascaded errors later on Remove_Aspects (N); end if; @@ -2763,7 +2763,6 @@ package body Sem_Ch9 is then if Nkind (Parent (Spec_Id)) = N_Task_Type_Declaration then Error_Msg_NE ("duplicate body for task type&", N, Spec_Id); - else Error_Msg_NE ("duplicate body for task&", N, Spec_Id); end if; |