diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-26 11:17:42 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-26 11:17:42 +0000 |
| commit | 5655be8afbb033a35325bfe5b9234d9da2fd0c80 (patch) | |
| tree | 582d1c2afaba5d035f73c43da9e2c038b6dcae62 /gcc/ada/exp_aggr.adb | |
| parent | d26e54e89736fa25ca9faf044068b4d8ee5ce134 (diff) | |
| download | gcc-5655be8afbb033a35325bfe5b9234d9da2fd0c80.tar.gz | |
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Expand_N_Case_Expression): In the scope of a
predicate function, delay the expansion of the expression only
if the target type has a specified Static_ Predicate aspect,
because the expression is processed later. A dynamic predicate
must be expanded in standard fashion.
2015-10-26 Claire Dross <dross@adacore.com>
* a-nudira.ads: Remove SPARK_Mode as it currently causes an error.
2015-10-26 Arnaud Charlet <charlet@adacore.com>
* sem_aggr.adb, sem_type.adb, sem_ch12.adb, sem_res.adb, sem_ch4.adb,
sem_ch8.adb, exp_aggr.adb, sem_eval.adb, s-fatgen.adb, a-tienio.adb:
Fix typos.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): The processing
for aspects Abstract_State, Ghost, Initial_Condition, Initializes
and Refined_State no longer have to take SPARK_Mode into account.
(Insert_After_SPARK_Mode): Removed.
(Insert_Pragma): Update profile and comment on usage. The routine can
now insert a pragma after the "header" of an instance.
* sem_prag.adb (Analyze_If_Available): New routine.
(Analyze_Pragma): Do not reset the Analyzed flag of various
SPARK pragmas as they use the Is_Analyzed_Pragma attribute to
avoid reanalysis. Various pragmas now trigger the analysis
of related pragmas that depend on or are dependent on the
current pragma. Remove the declaration order checks related
to pragmas Abstract_State, Initial_Condition and Initializes.
(Analyze_Pre_Post_Condition): Analyze pragmas SPARK_Mode and
Volatile_Function prior to analyzing the pre/postcondition.
(Check_Declaration_Order): Removed.
(Check_Distinct_Name): Ensure that a potentially duplicated pragma
Test_Case is not the pragma being analyzed.
(Is_Followed_By_Pragma): Removed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229331 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_aggr.adb')
| -rw-r--r-- | gcc/ada/exp_aggr.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index f09759702aa..5266bca6cd5 100644 --- a/gcc/ada/exp_aggr.adb +++ b/gcc/ada/exp_aggr.adb @@ -2477,7 +2477,7 @@ package body Exp_Aggr is then Ancestor_Is_Expression := True; - -- Set up finalization data for enclosing record, because + -- Set up finalization data for enclosing record, because -- controlled subcomponents of the ancestor part will be -- attached to it. @@ -3559,7 +3559,7 @@ package body Exp_Aggr is end if; if Nkind (N) = N_Aggregate - and then Present (Component_Associations (N)) + and then Present (Component_Associations (N)) then Expr := First (Component_Associations (N)); while Present (Expr) loop @@ -3936,7 +3936,7 @@ package body Exp_Aggr is -- If the size is known, or all the components are static, try to -- build a fully positional aggregate. - -- The size of the type may not be known for an aggregate with + -- The size of the type may not be known for an aggregate with -- discriminated array components, but if the components are static -- it is still possible to verify statically that the length is -- compatible with the upper bound of the type, and therefore it is @@ -3980,7 +3980,7 @@ package body Exp_Aggr is else Error_Msg_N - ("non-static object requires elaboration code??", N); + ("non-static object requires elaboration code??", N); exit; end if; |