Resync.

From-SVN: r131088

gcc/ada/ChangeLog

+2007-12-19  Robert Dewar  <dewar@adacore.com>
+
+	* g-expect-vms.adb, g-expect.adb, s-poosiz.adb: 
+	Add pragma Warnings (Off) for unassigned IN OUT arguments
+
+	* sem_warn.adb (Output_Reference): Suppress messages for internal names
+	(Check_References): Extensive changes to tune up warnings
+	(Output_Non_Modifed_In_Out_Warnings): Changes to tune up warnings
+	(Has_Pragma_Unmodifed_Check_Spec): New function
+	(Check_References): Implement pragma Unmodified
+	(Warn_On_Unassigned_Out_Parameter): Implement pragma Unmodified
+
+	* par-prag.adb: Dummy entry for pragma Unmodified
+
+	* sem_prag.adb: Implement pragma Unmodified
+
+	* einfo.ads, einfo.adb: (Has_Pragma_Unmodified): New flag
+	(Proc_Next_Component_Or_Discriminant): Fix typo.
+	Update comments.
+
+	* sem_util.adb (Note_Possible_Modification): Add processinng for pragma
+	Unmodified.
+	(Reset_Analyzed_Flags): Use Traverse_Proc instead of Traverse_Func,
+	because the former already takes care of discarding the result.
+	(Mark_Coextensions): Remove ununused initial value from Is_Dynamic.
+	Add comment.
+
+	* snames.h, snames.ads, snames.adb: Add entry for pragma Unmodified
+
+2007-12-19  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* targparm.adb, targparm.ads, system.ads, system-darwin-ppc.ads,
+	system-vxworks-x86.ads, system-linux-ppc.ads, system-linux-hppa.ads,
+	system-hpux-ia64.ads, system-vxworks-arm.ads, system-darwin-x86.ads,
+	system-vms_64.ads, system-vms-ia64.ads, system-linux-ia64.ads,
+	system-freebsd-x86.ads, system-linux-x86_64.ads, system-tru64.ads,
+	system-aix.ads, system-vxworks-sparcv9.ads, system-solaris-x86.ads,
+	system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads,
+	system-vxworks-m68k.ads, system-linux-x86.ads, system-vxworks-mips.ads,
+	system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads,
+	system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads
+	(Dynamic_Trampolines_Used): Delete.
+
+	* system-lynxos-x86.ads, system-lynxos-ppc.ads: Ditto.
+	Turn on stack probing mechanism on LynxOS.
+
+2007-12-19  Bob Duff  <duff@adacore.com>
+
+	* atree.ads, atree.adb (Traverse_Func): Walk Field2 last, and eliminate
+	the resulting tail recursion by hand. This prevents running out of
+	memory on deeply nested concatenations, since Field2 is where the left
+	operand of concatenations is stored.
+	Fix bug (was returning OK_Orig in some cases). Fix return subtype to
+	clarify that it can only return OK or Abandon.
+
+	* sem_res.adb (Resolve_Op_Concat): Replace the recursion on the left
+	operand by iteration, in order to avoid running out of memory on
+	deeply-nested concatenations. Use the Parent pointer to get back up the
+	tree.
+	(Resolve_Op_Concat_Arg, Resolve_Op_Concat_First,
+	 Resolve_Op_Concat_Rest): New procedures split out of
+	Resolve_Op_Concat, so the iterative algorithm in Resolve_Op_Concat is
+	clearer.
+
+	* checks.adb (Remove_Checks): Use Traverse_Proc instead of
+	Traverse_Func, because the former already takes care of discarding the
+	result.
+
+	* errout.adb (First_Node): Use Traverse_Proc instead of Traverse_Func,
+	because the former already takes care of discarding the result.
+	(Remove_Warning_Messages): Use appropriate subtype for Status and
+	Discard 
+
+2007-12-19  Ed Schonberg  <schonberg@adacore.com>
+
+	* exp_aggr.adb (Not_OK_For_Backend): A component of a private type with
+	discriminants forces expansion of the aggregate into assignments.
+	(Init_Record_Controller):  If the type of the aggregate is untagged and
+	is not inherently limited, the record controller is not limited either.
+
+2007-12-19  Robert Dewar  <dewar@adacore.com>
+
+	* exp_attr.adb (Expand_N_Attribute_Reference, case Size): Fix error in
+	handling compile time known size of record or array (case of front end
+	layout active, e.g. in GNAAMP).
+
+2007-12-19  Javier Miranda  <miranda@adacore.com>
+
+	* exp_ch3.adb (Expand_N_Object_Declaration): Complete the circuitry
+	that forces the construction of static dispatch tables in case of
+	record subtypes.
+
+2007-12-19  Robert Dewar  <dewar@adacore.com>
+
+	* exp_ch9.adb (Null_Statements): Moved to library level
+	(Trivial_Accept_OK): New function
+	(Expand_Accept_Declaration): Use Trivial_Accept_OK
+	(Expand_N_Accept_Statement): Use Trivial_Accept_OK
+
+2007-12-19  Robert Dewar  <dewar@adacore.com>
+
+	* exp_pakd.adb (Expand_Bit_Packed_Element_Set): Fix packed array type
+	in complex case where array is Volatile.
+
+2007-12-19  Ed Schonberg  <schonberg@adacore.com>
+
+	* freeze.adb (Freeze_Record_Type, Check_Current_Instance): Implement
+	properly the Ada2005 rules concerning when the current instance of a
+	record type is aliased.
+
+2007-12-19  Ed Schonberg  <schonberg@adacore.com>
+
+	* par-ch3.adb (P_Record_Declaration): Guard against cascaded errors in
+	mangled declaration
+	(P_Type_Declaration): Diagnose misuse of "abstract" in untagged record
+	declarations.
+	(P_Variant_Part): Cleaner patch for parenthesized discriminant
+
+2007-12-19  Vincent Celier  <celier@adacore.com>
+
+	* prj-attr.adb (Package_Node_Id_Of): Returns Unknown_Package when
+	package is not known
+
+	* prj-attr.ads (Unknown_Package): New constant
+	Do not crash when an unknown package is in several projects
+
+	* prj-dect.adb (Parse_Package_Declaration): Mark an unknown package as
+	ignored
+
+	* prj-nmsc.adb (Check): Remove obsolete code related to no longer
+	existing package Language_Processing.
+
+2007-12-19  Ed Schonberg  <schonberg@adacore.com>
+	    Gary Dismukes  <dismukes@adacore.com>
+
+	PR ada/15803, ada/15805
+	* sem_ch6.adb, sem_ch3.adb (Constrain_Access): In Ada2005, diagnose
+	illegal access subtypes when there is a constrained partial view.
+	(Check_For_Premature_Usage): New procedure inside
+	Access_Subprogram_Declaration for checking that an access-to-subprogram
+	type doesn't reference its own name within any formal parameters or
+	result type (including within nested anonymous access types).
+	(Access_Subprogram_Declaration): Add call to Check_For_Premature_Usage.
+	(Sem_Ch3.Analyze_Object_Declaration, Sem_ch6.Process_Formals): if the
+	context is an access_to_variable, the expression cannot be an
+	access_to_constant.
+
+2007-12-19  Bob Duff  <duff@adacore.com>
+
+	* sem_ch4.adb (Analyze_Concatenation_Rest): New procedure.
+	(Analyze_Concatenation): Use iteration instead of recursion in order
+	to avoid running out of stack space for deeply nested concatenations.
+
+2007-12-19  Ed Schonberg  <schonberg@adacore.com>
+	    Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_ch8.adb (Analyze_Subprogram_Renaming): Diagnose illegal renamings
+	whose renamed entity is a subprogram that requires overriding.
+	(Premature_Usage): Test for the case of N_Full_Type_Declaration when
+	issuing an error for premature usage and issue a message that says
+	'type' rather than 'object'.
+
+2007-12-19  Gary Dismukes  <dismukes@adacore.com>
+
+	PR ada/34149
+	* sem_disp.adb (Check_Dispatching_Call): Augment existing test for
+	presence of a statically tagged operand (Present (Static_Tag)) with
+	test for Indeterm_Ancestor_Call when determining whether to propagate
+	the static tag to tag-indeterminate operands (which forces dispatching
+	on such calls).
+	(Check_Controlling_Formals): Ada2005, access parameters can have
+	defaults.
+	(Add_Dispatching_Operation, Check_Operation_From_Private_View): do
+	not insert subprogram in list of primitive operations if already there.
+
+2007-12-19  Tristan Gingold  <gingold@adacore.com>
+
+	* utils.c (create_var_decl_1): call rest_of_decl_compilation only for
+	global variable.
+
+2007-12-19  Thomas Quinot  <quinot@adacore.com>
+
+	Part of PR ada/33688
+	* gen-soccon.c: Add constant IP_PKTINFO to allow getting ancillary
+	datagram info on Linux.
+
+2007-12-19  Vincent Celier  <celier@adacore.com>
+
+	* makegpr.adb (Check_Compilation_Needed): Normalize C_Source_Path so
+	that the source path name is always found in the dependencies.
+
+2007-12-19  Robert Dewar  <dewar@adacore.com>
+
+	* gnat_rm.texi, gnat_ugn.texi: Update documentation of -gnatw.o
+	Fix name of Wide_Wide_Latin_1/9 file names
+	Add documentation for Ada.Exceptions.Last_Chance_Handler (a-elchha.ads)
+	Add missing documentation for Ada.Wide_[Wide_]Characters.Unicode
+	Add missing documentation for Ada.Command_Line.Response_File
+	Update list of warning letters for Warnings pragma
+	Add documentation for pragma Unmodified
+
 2007-12-19  Samuel Tardieu  <sam@rfc1149.net>
 
 	* Makefile.in: Add s-tasinf.ad[bs] substitutions for sh4-linux target.