merge from trunk

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/profile-stdlib@152425 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 137 insertions, 0 deletions

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 41711f429d8..6520a7f4681 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,140 @@
+2009-10-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>:
+	Generate an XVZ variable alongside the XVS type if the size is
+	not constant.
+	(maybe_pad_type): Minor tweak.
+
+2009-10-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.c (check_ok_for_atomic): Do nothing if the type
+	doesn't come from source.
+
+2009-10-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.c (gnat_to_gnu_component_type): Force at least
+	unit size for the component size of an array with aliased components.
+	(maybe_pad_type): Do not warn for MAX_EXPR.
+
+2009-09-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Factor out
+	common code processing the component type into...
+	<E_Array_Subtype>: Likewise.
+	(gnat_to_gnu_component_type): ...this new static function.
+	(maybe_pad_type): Minor cleanup.
+
+2009-09-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Rewrite
+	the handling of constrained discriminated record subtypes.
+	(components_to_record): Declare the type of the variants and of the
+	qualified union.
+	(build_subst_list): Move around.
+	(compute_field_positions): Rename into...
+	(build_position_list): ...this.  Return a TREE_VEC.
+	(annotate_rep): Adjust for above renaming.
+	(build_variant_list): New static function.
+	(create_field_decl_from): Likewise.
+	(get_rep_part): Likewise.
+	(get_variant_part): Likewise.
+	(create_variant_part_from): Likewise.
+	(copy_and_substitute_in_size): Likewise.
+
+2009-09-28  Olivier Hainque  <hainque@adacore.com>
+
+	PR ada/41100
+	* gcc-interface/targtyps.c (get_target_default_allocator_alignment):
+	Account for observable alignments out of default allocators.
+
+2009-09-28  Richard Henderson  <rth@redhat.com>
+
+	* gcc-interface/utils.c (gnat_install_builtins): Update call to
+	build_common_builtin_nodes.
+
+2009-09-26  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Filter out
+	negative size for the array dimensions like in the constrained case.
+	<E_Array_Subtype>: Do not create an artificially non-constant high
+	bound if the low bound is non-constant.  Minor tweaks.
+
+	* gcc-interface/trans.c (lvalue_required_p): Add CONSTANT parameter
+	and turn ALIASED into a boolean parameter.  Adjust calls to self.
+	<N_Attribute_Reference>: Return 1 for more attributes.
+	<N_Object_Renaming_Declaration>: Return 1 for non-constant objects.
+	<N_Assignment_Statement>: Return 1 for the LHS.
+	(Identifier_to_gnu): Adjust calls to lvalue_required_p.
+	(call_to_gnu): Be prepared for wrapped boolean rvalues.
+
+2009-09-25  Olivier Hainquqe  <hainque@adacore.com>
+            Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/ada-tree.h (TYPE_REPRESENTATIVE_ARRAY): New language
+	specific node.	Representative array type for VECTOR_TYPE entities.
+	* gcc-interface/utils.c (handle_vector_type_attribute): New handler.
+	Turn an ARRAY_TYPE entity into a VECTOR_TYPE.	
+	(gnat_types_compatible_p): Handle VECTOR_TYPEs.
+	(convert): Likewise.  Arrange to produce VECTOR_CST out of constant
+	array aggregates for VECTOR_TYPE entities.
+	(unchecked_convert): Likewise.
+	(maybe_vector_array): New function. If EXP has VECTOR_TYPE, return EXP
+	converted to the associated TYPE_REPRESENTATIVE_ARRAY.
+	(handle_pure_attribute, handle_sentinel_attribute,
+	handle_noreturn_attribute, handle_malloc_attribute,
+	handle_vector_size_attribute): Replace uses of qE format by qs.
+	Remove GCC_DIAG_STYLE definition.
+	* gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Convert
+	vector input to representative array type on entry.
+	<N_Op_Eq, etc>: Likewise.
+	* gcc-interface/gigi.h (maybe_vector_array): Declare.
+	(VECTOR_TYPE_P): New predicate.
+	* gcc-interface/misc.c (gnat_print_type): Handle VECTOR_TYPE.
+
+2009-09-24  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/ada.h: Fix outdated comment.
+	* gcc-interface/ada-tree.h (SET_TYPE_RM_VALUE): Use MARK_VISITED in
+	lieu of mark_visited.
+	* gcc-interface/gigi.h (mark_visited): Change type of parameter.
+	(MARK_VISITED): New macro.
+	(gnat_truthvalue_conversion): Delete.
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Use MARK_VISITED in lieu
+	of mark_visited.
+	(annotate_rep): Fix formatting and tidy.
+	(compute_field_positions): Get rid of useless variable.
+	* gcc-interface/trans.c (gnat_to_gnu): Retrieve the Nkind of the GNAT
+	node only once.  Use IN operator for the Nkind in more cases.
+	Remove calls to gnat_truthvalue_conversion.
+	(mark_visited): Change type of parameter and adjust.
+	(mark_visited_r): Dereference TP only once.
+	(add_decl_expr): Use MARK_VISITED in lieu of mark_visited.
+	* gcc-interface/utils2.c (gnat_truthvalue_conversion): Delete.
+	(build_binary_op): Remove calls to gnat_truthvalue_conversion.
+	(build_unary_op): Likewise.
+
+2009-09-24  Dave Korn  <dave.korn.cygwin@gmail.com>
+
+	* gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Simplify test for
+	a-except% in target pairs list; don't (implicitly) compare whitespace.
+
+2009-09-24  Jakub Jelinek  <jakub@redhat.com>
+
+	* gcc-interface/utils.c (gnat_pushdecl): Don't set
+	DECL_NO_STATIC_CHAIN, set DECL_STATIC_CHAIN for
+	nested functions.
+
+2009-09-21  Joel Sherrill  <joel.sherrill@oarcorp.com>
+
+	* s-osinte-rtems.ad[bs]: Get_Page_Size cannot return 0.
+	Bind to getpagesize() in RTEMS 4.10 and newer.
+
+2009-09-21  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+	* env.c [__alpha__ && __osf__] (_BSD): Define.
+	* init.c [__alpha__ && __osf__] (__gnat_error_handler): Cast msg
+	to const char *.
+
 2009-09-18  Pascal Obry  <obry@adacore.com>
 
 	* mingw32.h: Activate Unicode support for x86-64 Windows platform.