diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2013-10-17 13:52:37 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-17 15:52:37 +0200 |
| commit | 9072f0698d42b378d15906853349780d6564a76b (patch) | |
| tree | 84cbcf8a81016a8b4bce0db51f29b24c8dde0eaf | |
| parent | 7c821effc4714595e7923fb466946abb38055edc (diff) | |
| download | gcc-9072f0698d42b378d15906853349780d6564a76b.zip gcc-9072f0698d42b378d15906853349780d6564a76b.tar.gz gcc-9072f0698d42b378d15906853349780d6564a76b.tar.bz2 | |
sem_ch13.adb (Analyze_Aspect_Specifications): Flag aspect Refined_Pre as not supported.
2013-10-17 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Flag aspect
Refined_Pre as not supported.
* sem_prag.adb (Analyze_Pragma): Ignore pragma Refined_Pre.
From-SVN: r203761
| -rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 10 | ||||
| -rw-r--r-- | gcc/ada/sem_prag.adb | 6 |
3 files changed, 15 insertions, 9 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 6d8be82..9f55cad 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2013-10-17 Hristian Kirtchev <kirtchev@adacore.com> + + * sem_ch13.adb (Analyze_Aspect_Specifications): Flag aspect + Refined_Pre as not supported. + * sem_prag.adb (Analyze_Pragma): Ignore pragma Refined_Pre. + 2013-10-17 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Validated_Access_Subprogram_Instance): According @@ -21,7 +27,7 @@ * sem_prag.adb (Analyze_Constituent): Move the check concerning option Part_Of to routine Check_Matching_Constituent. (Check_Matching_Constituent): Verify that an abstract state - that acts as a constituent has the prope Part_Op option in + that acts as a constituent has the proper Part_Of option in its aspect/pragma Abstract_State. Account for the case when a constituent comes from a private child or private sibling. * sem_util.ads, sem_util.adb (Is_Child_Or_Sibling): New routine. diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 4e3fcac..6aef384 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -2186,12 +2186,12 @@ package body Sem_Ch13 is -- Refined_Pre + -- Disable the support for aspect Refined_Pre as its static and + -- runtime semantics are still under heavy design. + when Aspect_Refined_Pre => - Make_Aitem_Pragma - (Pragma_Argument_Associations => New_List ( - Make_Pragma_Argument_Association (Loc, - Expression => Relocate_Node (Expr))), - Pragma_Name => Name_Refined_Pre); + Error_Msg_NE ("aspect & is not supported", Aspect, Id); + goto Continue; -- Refined_State diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 0830f09..1193a9c 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -17219,11 +17219,11 @@ package body Sem_Prag is begin -- Disable the support for pragma Refined_Pre as its static and - -- runtime semantics are still under heavy design. + -- runtime semantics are still under heavy design. The pragma is + -- silently ignored. if Pname = Name_Refined_Pre then - Error_Pragma ("pragma % is not supported"); - return; + Set_Is_Ignored (N); end if; Analyze_Refined_Pragma (Spec_Id, Body_Id, Legal); |