diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-12-15 12:48:25 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-12-15 12:48:25 +0100 |
| commit | 887d102a5e91157b45f7eec96c6230f5227fb0ef (patch) | |
| tree | 819f21e4a6169769ac8f57d371c1ba06b9b3ed6c /gcc | |
| parent | 4e15cee6c747d8f4fec5081b0eaff5af0e773dc5 (diff) | |
| download | gcc-887d102a5e91157b45f7eec96c6230f5227fb0ef.zip gcc-887d102a5e91157b45f7eec96c6230f5227fb0ef.tar.gz gcc-887d102a5e91157b45f7eec96c6230f5227fb0ef.tar.bz2 | |
[multiple changes]
2011-12-15 Tristan Gingold <gingold@adacore.com>
* gnatls.adb: Fix typo.
2011-12-15 Ed Falis <falis@adacore.com>
* s-tpopsp-vxworks.adb: Update comment.
2011-12-15 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Resolve_Array_Aggregate, Resolve_Aggr_Expr); If
the component type has predicates, generate corresponding check.
(Resolve_Record_Aggregate, Resolve_Aggr_Expr): Ditto.
From-SVN: r182364
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 14 | ||||
| -rw-r--r-- | gcc/ada/gnatls.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/s-tpopsp-vxworks.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/sem_aggr.adb | 8 |
4 files changed, 24 insertions, 2 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c55aad8..2e39fcc 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,17 @@ +2011-12-15 Tristan Gingold <gingold@adacore.com> + + * gnatls.adb: Fix typo. + +2011-12-15 Ed Falis <falis@adacore.com> + + * s-tpopsp-vxworks.adb: Update comment. + +2011-12-15 Ed Schonberg <schonberg@adacore.com> + + * sem_aggr.adb (Resolve_Array_Aggregate, Resolve_Aggr_Expr); If + the component type has predicates, generate corresponding check. + (Resolve_Record_Aggregate, Resolve_Aggr_Expr): Ditto. + 2011-12-13 Cesar Strauss <cestrauss@gmail.com> Eric Botcazou <ebotcazou@adacore.com> diff --git a/gcc/ada/gnatls.adb b/gcc/ada/gnatls.adb index a7c276d..9d37180 100644 --- a/gcc/ada/gnatls.adb +++ b/gcc/ada/gnatls.adb @@ -1231,7 +1231,7 @@ procedure Gnatls is -- Add the lib subdirectory if it exists - Lib_Path := Get_RTS_Search_Dir (Name, Objects); + Lib_Path := Get_RTS_Search_Dir (Rts_Full_Path.all, Objects); if Lib_Path /= null then Add_Search_Dirs (Lib_Path, Objects); diff --git a/gcc/ada/s-tpopsp-vxworks.adb b/gcc/ada/s-tpopsp-vxworks.adb index a926ca4..fb75510 100644 --- a/gcc/ada/s-tpopsp-vxworks.adb +++ b/gcc/ada/s-tpopsp-vxworks.adb @@ -30,7 +30,7 @@ ------------------------------------------------------------------------------ -- This is a VxWorks version of this package where foreign threads are --- recognized. +-- recognized. The implementation is based on VxWorks taskVarLib. separate (System.Task_Primitives.Operations) package body Specific is diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb index 011a444..ea75d48 100644 --- a/gcc/ada/sem_aggr.adb +++ b/gcc/ada/sem_aggr.adb @@ -1691,6 +1691,10 @@ package body Sem_Aggr is end if; end if; + if Present (Predicate_Function (Component_Typ)) then + Apply_Predicate_Check (Expr, Component_Typ); + end if; + if Raises_Constraint_Error (Expr) and then Nkind (Parent (Expr)) /= N_Component_Association then @@ -3293,6 +3297,10 @@ package body Sem_Aggr is Aggregate_Constraint_Checks (Expr, Expr_Type); end if; + if Present (Predicate_Function (Expr_Type)) then + Apply_Predicate_Check (Expr, Expr_Type); + end if; + if Raises_Constraint_Error (Expr) then Set_Raises_Constraint_Error (N); end if; |