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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182364 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index c55aad8..2e39fcc 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- 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;