[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
This commit is contained in:
Arnaud Charlet 2011-12-15 12:48:25 +01:00
parent 4e15cee6c7
commit 887d102a5e
4 changed files with 24 additions and 2 deletions

View File

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

View File

@ -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);

View File

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

View File

@ -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;