diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-01 12:26:42 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-01 12:26:42 +0200 |
| commit | 24de083ff5a0b613356e4ad95c501fe9a9f795e1 (patch) | |
| tree | 520e7bb444a0c8b57b449b3b72fdb8f4bfd8bfff /gcc/ada/exp_ch9.adb | |
| parent | 73999267a3581a69fc112fb7c420231ed4213357 (diff) | |
| download | gcc-24de083ff5a0b613356e4ad95c501fe9a9f795e1.zip gcc-24de083ff5a0b613356e4ad95c501fe9a9f795e1.tar.gz gcc-24de083ff5a0b613356e4ad95c501fe9a9f795e1.tar.bz2 | |
[multiple changes]
2014-08-01 Tristan Gingold <gingold@adacore.com>
* sem_ch9.adb (Analyze_Task_Type_Declaration): Move code from ...
* exp_ch9.adb (Make_Task_Create_Call): ... here.
2014-08-01 Vincent Celier <celier@adacore.com>
* gnat1drv.adb: Do not try to get the target parameters when
invoked with -gnats.
2014-08-01 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Find_Last_Init): Nothing to do for an object
declaration subject to No_Initialization.
2014-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Resolve_Array_Aggregate): Reject choice that
is a subtype with dynamic predicates, or a non-static subtype
with predicates.
* sem_ch3.adb (Analyze_Number_Declaration): Reject qualified
expression if subtype has a dynamic predicate.
(Constrain_Index): Reject subtype indication if subtype mark
has predicates.
(Inerit_Predicate_Flags): Inherit Has_Predicates as well.
(Make_Index): If index is a subtype indication, itype inhereits
predicate flags for subsequent testing.
* sem_ch5.adb (Analyze_Loop_Parameter_Specification): New
procedure Check_Predicate_Use, to reject illegal uses of domains
of iteration that have dynamic predicates.
* sem_res.adb (Resolve_Slice): Reject slices given by a subtype
indication to which a predicate applies.
* sem_util.adb (Bad_Predicated_Subtype_Use): Add guard to
prevent cascaded errors when subtype is invalid.
From-SVN: r213450
Diffstat (limited to 'gcc/ada/exp_ch9.adb')
| -rw-r--r-- | gcc/ada/exp_ch9.adb | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb index 3cacc77..d01e849 100644 --- a/gcc/ada/exp_ch9.adb +++ b/gcc/ada/exp_ch9.adb @@ -14013,20 +14013,6 @@ package body Exp_Ch9 is Ttyp := Corresponding_Concurrent_Type (Task_Rec); Tnam := Chars (Ttyp); - -- The sequential partition elaboration policy is supported only in the - -- restricted profile. - - -- This test should be in sem_ch9, not here ??? - - if Partition_Elaboration_Policy = 'S' - and then not Restricted_Profile - then - Error_Msg_N - ("sequential elaboration supported only in restricted profile", - Task_Rec); - return Make_Null_Statement (Loc); - end if; - -- Get task declaration. In the case of a task type declaration, this is -- simply the parent of the task type entity. In the single task -- declaration, this parent will be the implicit type, and we can find |