From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Thu, 15 Dec 2011 11:48:25 +0000 (+0100)
Subject: [multiple changes]
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=887d102a5e91157b45f7eec96c6230f5227fb0ef;p=gcc.git

[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
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index c55aad8b428..2e39fcc2c0d 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 a7c276d58b3..9d371801589 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 a926ca445ec..fb75510a735 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 011a444cf0d..ea75d48e69d 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;