Resync

From-SVN: r96679

1 files changed, 248 insertions, 0 deletions

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 98901bd..bcd2cba 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,251 @@
+2005-03-17  Pascal Obry  <obry@adacore.com>
+
+	* adaint.h, adaint.c (__gnat_waitpid): Moved to expect.c where it is
+	used.
+
+	* expect.c (__gnat_waitpid): Moved here from adaint.c.
+	Reimplement under Win32 using Win32 API.
+
+	(__gnat_kill) [Win32]: Properly close the process handle before leaving
+	this routine.
+
+2005-03-17  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* ada-tree.h: (DECL_RENAMING_GLOBAL_P): New predicate.
+	(DECL_RENAMED_OBJECT): New accessor macro.
+	(SET_DECL_RENAMED_OBJECT): New setter macro.
+
+	* decl.c (gnat_to_gnu_entity) <E_Variable>: Stabilize the renamed
+	object in all cases.  Attach the renamed object to the VAR_DECL.
+	(gnat_to_gnu_field): Do not lift the record wrapper if the size of the
+	field is not prescribed.
+
+	* misc.c (gnat_handle_option): Handle -gnatO separately.
+	(gnat_print_decl) <VAR_DECL>: New case.
+	Print the DECL_RENAMED_OBJECT node.
+
+	* lang.opt:  Declare separate -gnatO option.
+
+	* trans.c (tree_transform) <N_Identifier>: If the object is a renaming
+	pointer, replace it with the renamed object.
+	<N_Validate_Unchecked_Conversion>: Warn for a conversion to a fat
+	pointer type if the source is not a fat pointer type whose underlying
+	array has the same non-zero alias set as that of the destination array.
+
+2005-03-17  Javier Miranda  <miranda@adacore.com>
+
+	* a-tags.ads, a-tags.adb (Get_Expanded_Name): Removed.
+	(Get_Inheritance_Depth): Removed.
+	(Set_Inheritance_Depth): Removed.
+
+	* rtsfind.ads, exp_disp.ads, exp_disp.adb: Remove support to call the
+	subprogram Get_Expanded_Name because it is not referenced by the
+	frontend.
+
+	* i-cpp.ads, i-cpp.adb (CPP_Get_Expanded_Name): Removed.
+	(CPP_Get_Inheritance_Depth): Removed.
+	(CPP_Set_Inheritance_Depth): Removed.
+
+	* tbuild.ads, tbuild.adb (Make_DT_Component): Removed.
+
+2005-03-17  Robert Dewar  <dewar@adacore.com>
+
+	* checks.adb (Apply_Array_Size_Check): Completely remove this for GCC
+	3, since we now expect GCC 3 to do all the work.
+
+2005-03-17  Javier Miranda  <miranda@adacore.com>
+
+	* einfo.adb (First_Private_Entity, Set_First_Private_Entity): Addition
+	of one barrier to avoid wrong usage of this attribute.
+
+	* sem_ch12.adb (Formal_Entity): Fix erroneous usage of the attribute
+	First_Private_Entity.
+
+	* sem_ch7.adb (Install_Visible_Declarations): Add a barrier to protect
+	the subprogram against wrong usage.
+	Adapt the code to traverse the entities in the
+	scope of a record_type because in addition to its usage regarding
+	packages, this subprogram is also called by Expand_N_Freeze_Entity
+	to install the visible declarations of the enclosing scope of a
+	record_type_with_private to establish the proper visibility before
+	freezing the entity and related subprograms.
+
+2005-03-17  Ed Schonberg  <schonberg@adacore.com>
+
+	* exp_ch2.adb (In_Assignment_Context): Recognize slice assignments to
+	entry formals.
+
+2005-03-17  Thomas Quinot  <quinot@adacore.com>
+
+	* exp_ch3.adb (Check_Attr): New subprogram.
+	(Check_Stream_Attribute): Move the code for 13.13.2(9/1) enforcement
+	into a new Check_Attr subprogram, in order to provide a more
+	explanatory error message (including the name of the missing attribute).
+	(Stream_Operation_OK): Renamed from Stream_Operations_OK. This
+	subprogram determines whether a default implementation exists for a
+	given stream attribute.
+	(Make_Predefined_Primitive_Specs, Predefined_Primitive_Bodies):
+	Determine whether to generate a default implementation for each stream
+	attribute separately, as this depends on the specific attribute.
+
+	* exp_strm.adb (Make_Field_Attribute): For the case of an illegal
+	limited extension where a stream attribute is missing for a limited
+	component (which will have been flagged in Exp_Ch3.Sem_Attr), do not
+	generate a bogus reference to the missing attribute to prevent
+	cascaded errors. Instead, generate a null statement.
+
+	* sem_attr.adb (Check_Stream_Attribute): A stream attribute is
+	available for a limited type if it has been specified for an ancestor
+	of the type.
+
+2005-03-17  Ed Schonberg  <schonberg@adacore.com>
+
+	* exp_ch6.adb (Expand_Inlined_Call): handle the case when the renamed
+	entity is an operator.
+
+2005-03-17  Thomas Quinot  <quinot@adacore.com>
+
+	* exp_dist.adb (Get_PCS_Name): Move from Exp_Dist body to Sem_Dist
+	spec, to make this predicate available to other units.
+
+	* rtsfind.adb (Check_RPC): Use Sem_Dist.Get_PCS_Name instead of
+	reimplementing it.
+
+	* sem_ch8.adb: Disable expansion of remote access-to-subprogram types
+	when no distribution runtime library is available.
+
+	* sem_res.adb, sem_dist.adb: Disable expansion of remote
+	access-to-subprogram types when no distribution runtime library is
+	available.
+	(Get_PCS_Name): Move from Exp_Dist body to Sem_Dist spec, to make this
+	predicate available to other units.
+
+	* sem_dist.ads (Get_PCS_Name): Move from Exp_Dist body to Sem_Dist
+	spec, to make this predicate available to other units.
+
+2005-03-17  Vincent Celier  <celier@adacore.com>
+
+	* make.adb (Insert_Project_Sources): Make sure the Q is always
+	initialized.
+
+	* prj-nmsc.adb (Check_Ada_Naming_Scheme_Validity): Check Naming against
+	the default for the tree, not the global default naming.
+
+	* prj-proc.adb (Recursive_Process): No need to put the default naming
+	in the project data, it's already there.
+
+2005-03-17  Doug Rupp  <rupp@adacore.com>
+
+	* Makefile.in: (ia64-hp-*vms*): Use s-crtl-vms64.ads.
+
+        * 5xcrtl.ads: Renamed to...
+        * s-crtl-vms64.ads: ...this new file
+
+2005-03-17  Robert Dewar  <dewar@adacore.com>
+
+	PR ada/19519
+
+	* namet.adb (Copy_One_Character): Set proper wide character encoding
+	for upper half character if we have upper half encoding.
+
+2005-03-17  Robert Dewar  <dewar@adacore.com>
+
+	* par.adb (Par): Improved msg for attempt to recompile predefined unit
+
+2005-03-17  Thomas Quinot  <quinot@adacore.com>
+
+	* sem_ch13.adb (New_Stream_Function, New_Stream_Procedure): For a
+	tagged limited type, the TSS is a newly built renaming declaration:
+	insert it using Set_TSS, not Copy_TSS.
+
+2005-03-17  Javier Miranda  <miranda@adacore.com>
+
+	* sem_ch4.adb (Try_Primitive_Operation, Class_Wide_Operation and
+	Try_Object_Operation): Analyze the object that is accessible
+	through the prefix of the subprogram call before we apply
+	the transformation of the object-operation notation.
+
+2005-03-17  Jose Ruiz  <ruiz@adacore.com>
+
+	* s-taprob.adb (Initialize_Protection): Initialize the protected
+	object's owner to Null_Task.
+	(Lock): If pragma Detect_Blocking is in effect and the caller of this
+	procedure is already the protected object's owner then Program_Error
+	is raised. In addition the protected object's owner is updated.
+	(Lock_Read_Only): If pragma Detect_Blocking is in effect and the caller
+	of this procedure is already the protected object's owner then
+	Program_Error is raised.
+	In addition the protected object's owner is updated.
+	(Unlock): Remove the ownership of the protected object.
+
+	* s-taprob.ads (Protection): Add the field Owner, used to store the
+	protected object's owner.
+	This component is needed for detecting one type of potentially blocking
+	operations (external calls on a protected subprogram with the same
+	target object as that of the protected action). Document the rest of
+	the components.
+
+	* s-tposen.adb, s-tpoben.adb (Initialize_Protection_Entries):
+	Initialize the protected object's owner to Null_Task.
+	(Lock_Read_Only_Entries): If pragma Detect_Blocking is in effect and the
+	caller of this procedure is already the protected object's owner then
+	Program_Error is raised.
+	Do not raise Program_Error when this procedure is called from a
+	protected action.
+	(Unlock_Entries): Remove the ownership of the protected object.
+	(Lock_Entries): If pragma Detect_Blocking is in effect and the caller
+	of this procedure is already the protected object's owner then
+	Program_Error is raised.
+	Do not raise Program_Error when this procedure is called from
+	a protected action.
+
+	* s-tposen.ads, s-tpoben.ads (Protection_Entries): Add the field Owner,
+	used to store the protected object's owner.
+
+	* s-tpobop.adb (Protected_Entry_Call): If pragma Detect_Blocking is in
+	effect and this procedure (a potentially blocking operation) is called
+	from whithin a protected action, Program_Error is raised.
+	(Timed_Protected_Entry_Call): If pragma Detect_Blocking is in effect
+	and this procedure (a potentially blocking operation) is called from
+	whithin a protected action, Program_Error is raised.
+
+2005-03-17  Vincent Celier  <celier@adacore.com>
+	    Nicolas Setton  <setton@adacore.com>
+
+	* mlib-tgt-darwin.adb (Build_Dynamic_Library): Remove the "-fini"
+	switch, not supported by the linker on Darwin. Add '_' before
+	<library>init, as this character is added unconditionally by the
+	compiler.
+	(Is_Archive_Ext): Replace the wrong library extension ".dyld" by the
+	correct one ".dylib". This fixes detection of the archive files when
+	building library projects.
+
+2005-03-17  Vincent Celier  <celier@adacore.com>
+
+	* switch-m.adb (Normalize_Compiler_Switches): Recognize switches
+	-gnat83, -gnat95 and -gnat05.
+
+2005-03-17  Vasiliy Fofanov  <fofanov@adacore.com>
+
+	* gnat_ugn.texi: Document gnatmem restriction
+
+2005-03-17  Thomas Quinot  <quinot@adacore.com>
+
+	* snames.adb: Document new TSS names introduced by exp_dist/exp_tss
+	cleanup
+
+2005-03-17  Robert Dewar  <dewar@adacore.com>
+
+	* s-interr.ads, s-interr.adb, sem_ch3.adb, prj.ads, prj.adb,
+	a-interr.adb, a-interr.ads, s-interr-sigaction.adb, s-interr-dummy.adb,
+	s-interr-vms.adb, s-interr-vxworks.adb: Minor reformatting
+
+	* casing.adb: Comment improvements
+
+2005-03-17  Pascal Obry  <obry@adacore.com>
+
+	* g-expect.adb: Minor reformatting.
+
 2005-03-15  Zack Weinberg  <zack@codesourcery.com>
 
 	* Make-lang.in (doc/gnat_ugn_unw.info, doc/gnat_rm.info)