+2011-09-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/ada-tree.h (TYPE_NULL_BOUNDS): New macro.
+ (SET_TYPE_NULL_BOUNDS): Likewise.
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Set again
+ TREE_THIS_NOTRAP on the INDIRECT_REF node built for the template.
+ * gcc-interface/trans.c (Identifier_to_gnu): Return initializers of fat
+ pointer types.
+ * gcc-interface/utils.c (create_var_decl_1): If the object is external,
+ check that the initializer is a valid constant expression for use in
+ initializing a static variable. Add missing guard.
+ (update_pointer_to): Adjust TYPE_NULL_BOUNDS if set.
+ (convert_to_fat_pointer): In the null fat pointer case, build a valid
+ pointer for the bounds.
+ * gcc-interface/utils2.c (compare_fat_pointers): New function.
+ (build_binary_op) <EQ_EXPR>: Call it to compare fat pointers.
+
+2011-09-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/ada-tree.h (TREE_THIS_NOTRAP): Redefine.
+ * gcc-interface/trans.c (Identifier_to_gnu): Factor out common code in
+ the by-ref case. Do not set TREE_READONLY on a renamed object. Set
+ TREE_THIS_NOTRAP on UNCONSTRAINED_ARRAY_REF nodes.
+ (Attribute_to_gnu) <Attr_Length>: Expand the use of the parameter cache
+ to the indirect case.
+ * gcc-interface/utils.c (convert) <UNCONSTRAINED_ARRAY_REF>: Preserve
+ the TREE_THIS_NOTRAP flag.
+
+2011-09-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (Loop_Statement_to_gnu): In the case of an
+ iteration scheme, always generate the do-while form if optimization
+ is enabled. Use more straightforward test at the end.
+
+2011-09-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Subtype>: Use
+ XNEW instead of xmalloc. Do not build useless pointer type.
+ <E_Anonymous_Access_Subprogram_Type>: Use XNEW instead of xmalloc.
+ * gcc-interface/trans.c (gnat_to_gnu) <N_Raise_Constraint_Error>: Tidy.
+ * gcc-interface/utils2.c (build_unary_op): Remove local variable.
+
+2011-09-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Do not promote
+ the alignment if this doesn't prevent BLKmode access to the object.
+
+2011-09-24 Iain Sandoe <iains@gcc.gnu.org>
+
+ * gcc-interface/Makefile.in (darwin): Do not issue the
+ '-flat_namespace' linker flag during Ada build.
+ * mlib-tgt-specific-darwin.adb: Remove '-flat_namespace' flag from the
+ default shared library options.
+
+2011-09-19 Alexandre Oliva <aoliva@redhat.com>
+
+ * gcc-interface/decl.c (annotate_value): Look up expression for
+ insertion in the cache at the end.
+
+2011-09-19 Arnaud Charlet <charlet@adacore.com>
+
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2011-09-19 Steve Baird <baird@adacore.com>
+
+ * snames.ads-tmpl: Move declaration of Name_Annotate into range of
+ configuration pragma names so that Is_Configuration_Pragma_Name
+ will return True for Name_Annotate. Make corresponding change in
+ Pragma_Id enumeration type. This is needed to allow an Annotate
+ pragma to occur in a configuration pragma file (typically,
+ a gnat.adc file).
+ * gnat_ugn.texi: Add Annotate to the list of configuration pragmas.
+ * gnat_rm.texi: Note that pragma Annotate may be used as a
+ configuration pragma.
+
+2011-09-19 Ed Schonberg <schonberg@adacore.com>
+
+ * a-cbmutr.adb, a-cbmutr.ads, a-cimutr.adb, a-cimutr.ads,
+ a-comutr.adb, a-comutr.ads: Add iterator machinery for multiway trees.
+
+2011-09-19 Yannick Moy <moy@adacore.com>
+
+ * exp_alfa.adb, exp_alfa.ads (Expand_Alfa_N_In): New function
+ for expansion of set membership.
+ (Expand_Alfa): Call expansion for N_In and N_Not_In nodes.
+ * exp_ch4.adb, exp_ch4.ads (Expand_Set_Membership): Make procedure
+ visible for use in Alfa expansion.
+ * sem_ch5.adb (Analyze_Iterator_Specification): Introduce loop
+ variable in Alfa mode.
+
+2011-09-19 Thomas Quinot <quinot@adacore.com>
+
+ * s-osinte-darwin.ads: Change SIGADAABRT on Darwin to SIGABRT.
+
+2011-09-19 Thomas Quinot <quinot@adacore.com>
+
+ * exp_ch9.adb: Minor reformatting.
+
+2011-09-19 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * freeze.adb (Build_Renamed_Body): Generic subprograms
+ instantiations cannot be poperly inlined by the compiler, do
+ not set the Body_To_Inline attribute in such cases.
+ * sem_ch12.adb (Analyze_Subprogram_Instantiation): Inherit all
+ inlining-related flags from the generic subprogram declaration.
+
+2011-09-19 Thomas Quinot <quinot@adacore.com>
+
+ * exp_dist.adb, rtsfind.ads, sem_util.adb, sem_util.ads
+ (Build_Stub_Type): Remove, instead copy components from
+ System.Partition_Interface.RACW_Stub_Type.
+ (RPC_Receiver_Decl): Remainder of code from old Build_Stub_Type routine.
+ (Copy_Component_List): New subprogram.
+
+2011-09-19 Yannick Moy <moy@adacore.com>
+
+ * lib-xref.adb (Generate_Reference): Ignore references to
+ constants in Standard.
+
+2011-09-19 Robert Dewar <dewar@adacore.com>
+
+ * err_vars.ads, errout.ads: Minor reformatting.
+
+2011-09-19 Robert Dewar <dewar@adacore.com>
+
+ * aspects.ads (Impl_Defined_Aspects): New array
+ * lib-writ.adb (No_Dependences): New name for No_Dependence
+ * restrict.adb (No_Dependences): New name for No_Dependence
+ (Check_Restriction_No_Specification_Of_Aspect): New
+ procedure.
+ (Set_Restriction_No_Specification_Of_Aspect): New procedure
+ (Restricted_Profile_Result): New variable
+ (No_Specification_Of_Aspects): New variable
+ (No_Specification_Of_Aspect_Warning): New variable
+ * restrict.ads (No_Dependences): New name for No_Dependence
+ (Check_Restriction_No_Specification_Of_Aspect): New procedure
+ (Set_Restriction_No_Specification_Of_Aspect): New procedure
+ * s-rident.ads: Add restriction
+ No_Implementation_Aspect_Specifications, this is also added to
+ the No_Implementation_Extensions profile.
+ * sem_ch13.adb (Analyze_Aspect_Specifications): Check
+ No_Implementation_Defined_Aspects
+ (Analyze_Aspect_Specifications): Check No_Specification_Of_Aspect
+ * sem_prag.adb (Analyze_Aspect_Specifications): Check
+ No_Implementation_Aspects
+ (Analyze_Aspect_Specifications): Check No_Specification_Of_Aspect
+ * snames.ads-tmpl (Name_No_Specification_Of_Aspect): New name
+
+2011-09-19 Yannick Moy <moy@adacore.com>
+
+ * lib-xref.adb (Generate_Reference): Take into account multiple
+ renamings for Alfa refs.
+
+2011-09-19 Thomas Quinot <quinot@adacore.com>
+
+ * g-socthi-mingw.adb: Minor reformatting.
+
+2011-09-19 Yannick Moy <moy@adacore.com>
+
+ * gnat1drv.adb (Adjust_Global_Switches): Set tagged type
+ expansion to False in mode Alfa
+
+2011-09-19 Pascal Obry <obry@adacore.com>
+
+ * mingw32.h: Remove obsolete code needed for old versions
+ of MingW.
+
+2011-09-19 Robert Dewar <dewar@adacore.com>
+
+ * errout.ads: Minor reformatting.
+
+2011-09-19 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Expression_Function): When the expression
+ function is transformed into a declaration and a body, insert
+ body at the end of the declarative part, to prevent premature
+ freeze actions, and preserve original specification in the
+ subprogram declaration.
+
+2011-09-19 Vincent Celier <celier@adacore.com>
+
+ * projects.texi: Minor editing.
+
+2011-09-19 Robert Dewar <dewar@adacore.com>
+
+ * sem_aggr.adb, lib-writ.ads, s-restri.ads, sem_ch6.adb,
+ exp_aggr.adb: Minor reformatting.
+
+2011-09-19 Yannick Moy <moy@adacore.com>
+
+ * lib-xref.adb (Generate_Reference): Change entity referenced
+ to underlying object if any, or else reference to the HEAP.
+
+2011-09-15 Arnaud Charlet <charlet@adacore.com>
+
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2011-09-15 Robert Dewar <dewar@adacore.com>
+
+ * tree_io.ads: Minor reformatting.
+ * a-intnam.ads: Fix bad header.
+
+2011-09-15 Thomas Quinot <quinot@adacore.com>
+
+ * a-exexpr-gcc.adb: Minor reformatting.
+
+2011-09-15 Yannick Moy <moy@adacore.com>
+
+ * sem_ch6.adb: Propagate information that an expression function comes
+ from source (otherwise references to this entity are not stored).
+
+2011-09-15 Robert Dewar <dewar@adacore.com>
+
+ * a-cdlili.adb, a-coinve.adb, a-stzunb-shared.ads, a-suezst.adb,
+ a-suenco.adb, a-stwiun-shared.ads, a-cobove.adb, a-convec.adb,
+ a-btgbso.adb, a-cbdlli.adb, a-suewst.adb: Minor reformatting.
+
+2011-09-15 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Expression_Function): Code cleanup:
+ if the expression function is not a completion, create a
+ new specification for the generated declaration, and keep the
+ original specification in the generated body. Shorter code also
+ ensures that proper warnings are generated for unused formals
+ in all cases.
+
+2011-09-15 Sergey Rybin <rybin@adacore.com>
+
+ * tree_io.ads: Update ASIS_Version_Number because of the changes
+ in the tree structures for expression functions.
+
+2011-09-15 Arnaud Charlet <charlet@adacore.com>
+
+ * s-osinte-aix.ads, s-osinte-darwin.ads, s-osinte-freebsd.ads,
+ s-osinte-hpux.ads, s-osinte-lynxos.ads, s-osinte-solaris-posix.ads,
+ s-taprop-posix.adb (CLOCK_MONOTONIC): New constant.
+ (CLOCK_REALTIME): Fix wrong value on some OSes.
+ * s-taprop-posix.adb (Monotonic_Clock): Use CLOCK_MONOTONIC.
+
+2011-09-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (maybe_unconstrained_array): In the reference
+ to unconstrained array case, deal with each branch of a COND_EXPR.
+ * gcc-interface/utils2.c (build_allocator): Deal with each branch of
+ a COND_EXPR in the initializer, if present.
+
+2011-09-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (maybe_pad_type): Do not try to change the form
+ of an addressable type.
+ * gcc-interface/trans.c (gnat_gimplify_expr) <VIEW_CONVERT_EXPR>: New.
+ Deal with those cases for which creating a temporary is mandatory.
+
+2011-09-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (call_to_gnu): Use local variable. Make sure
+ this is a real formal parameter before testing whether it is by ref.
+
+2011-09-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/gigi.h (build_call_0_expr): Delete.
+ (build_call_1_expr): Likewise.
+ (build_call_2_expr): Likewise.
+ (build_call_n_expr): New prototype.
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Use build_call_n_expr.
+ * gcc-interface/trans.c (establish_gnat_vms_condition_handler): Ditto.
+ (Handled_Sequence_Of_Statements_to_gnu): Likewise.
+ (Exception_Handler_to_gnu_zcx): Likewise.
+ (gnat_to_gnu): Likewise.
+ (build_binary_op_trapv): Likewise.
+ * gcc-interface/utils2.c (build_call_0_expr): Delete.
+ (build_call_1_expr): Likewise.
+ (build_call_2_expr): Likewise.
+ (build_call_n_expr): New function.
+ (build_call_raise): Use build_call_n_expr.
+ (build_call_raise_range): Likewise.
+ (build_call_raise_column): Likewise.
+ (build_call_alloc_dealloc_proc): Likewise.
+ (maybe_wrap_malloc): Likewise.
+ (maybe_wrap_free): Likewise.
+
+2011-09-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (build_return_expr): Use void_type_node for
+ MODIFY_EXPR.
+ * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Assert that
+ the result type is null if ENABLE_CHECKING. Set operation_type at the
+ end unconditionally if not set in the previous cases.
+ Use build2 and void_type_node for MODIFY_EXPR.
+ (build_allocator): Use NULL_TREE for MODIFY_EXPR.
+
+2011-09-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (unchecked_convert): Use a field of the right
+ precision when converting to or from an integral type whose precision
+ is not equal to its size.
+
+2011-09-08 Iain Sandoe <iains@gcc.gnu.org>
+
+ * traceback.c (Darwin) USE_GCC_UNWINDER for Darwin versions >= 8.
+
+2011-09-07 Iain Sandoe <iains@gcc.gnu.org>
+
+ * gcc-interface/Makefile.in (darwin): Provide powerpc64 system
+ implementation.
+ * system-darwin-ppc64.ads: New file.
+
+2011-09-06 Iain Sandoe <iains@gcc.gnu.org>
+
+ * gcc-interface/Makefile.in (gnatlib-shared-darwin): Remove
+ reference to "-lm".
+
+2011-09-06 Iain Sandoe <iains@gcc.gnu.org>
+
+ * gcc-interface/Makefile.in (darwin, SO_OPTS): Provide architecture
+ size switches to the link phase for shared libs.
+
+2011-09-06 Iain Sandoe <iains@gcc.gnu.org>
+
+ * gcc-interface/Makefile.in (x86_64 darwin arch): Adjust
+ LIBGNAT_TARGET_PAIRS for x86 and x86_64 variants.
+
+2011-09-06 Arnaud Charlet <charlet@adacore.com>
+
+ * gcc-interface/Makefile.in, gcc-interface/Make-lang.in
+ (gnattools, regnattools, cross-gnattools, canadian-gnattools,
+ gnatlib, gnatlib-sjlj, gnatlib-zcx, gnatlib-shared, gnatlib_and_tools):
+ New targets.
+ (TOOLS_FLAGS_TO_PASS): New.
+ (../stamp-tools): Reintroduce, to avoid merge conflicts.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch10.adb, impunit.ads, impunit.adb (Not_Impl_Defined_Unit): New
+ name for Is_RM_Defined_Unit. Also several fixes to this unit.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * impunit.ads, impunit.adb (Is_RM_Defined_Unit): New function.
+ * s-rident.ads: New restriction No_Implementation_Units
+ (this restriction is also part of the profile
+ No_Implementation_Extensions)
+ * sem_ch10.adb (Analyze_With_Clause): Add check for
+ No_Implementation_Units restriction.
+
+2011-09-06 Jerome Guitton <guitton@adacore.com>
+
+ * sysdep.c (__gnat_get_task_options): Disable VX_SPE_TASK
+ on vThreads.
+
+2011-09-06 Thomas Quinot <quinot@adacore.com>
+
+ * s-solita.adb: Minor reformatting.
+
+2011-09-06 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): The body that
+ is a rewriting of an expression function does not freeze previous
+ entities.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * impunit.adb (Is_Known_Unit): Fix bad handling of Ada 2012 case
+
+2011-09-06 Tristan Gingold <gingold@adacore.com>
+
+ * gcc-interface/Makefile.in: Handle e500v2-wrs-vxworksae like
+ powerpc-wrs-vxworksae.
+
+2011-09-06 Thomas Quinot <quinot@adacore.com>
+
+ * s-os_lib.ads (Spawn): Minor documentation clarification,
+ Success is True for a zero exit status.
+
+2011-09-06 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch5.adb: Add message for common iterator error.
+
+2011-09-06 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch3.adb (Build_Initialization_Call): If the target is a
+ selected component discriminated by a current instance, replace
+ the constraint with a reference to the target object, regardless
+ of whether the context is an init_proc.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * exp_attr.adb: Descriptor_Size is never static.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * gnat_ugn.texi: Add documentation for LSLOC metric in gnatmetric
+
+2011-09-06 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * gnat_rm.texi: Clarify that attribute Descriptor_Size is
+ non-static.
+
+2011-09-06 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Resolve): An expression that is the body of an
+ expression function does not freeze.
+
+2011-09-06 Matthew Heaney <heaney@adacore.com>
+
+ * a-csquin.ads, a-cusyqu.adb, a-cbprqu.adb, a-cbsyqu.adb,
+ a-cuprqu.adb: Changed copyright notice to indicate current
+ year only.
+
+2011-09-06 Vincent Celier <celier@adacore.com>
+
+ * prj.adb: Minor spelling error fix in comment
+ * sem_res.adb: Minor reformatting
+
+2011-09-06 Pascal Obry <obry@adacore.com>
+
+ * sysdep.c (winflush_nt): Removed as not needed anymore.
+ (winflush_95): Likewise.
+ (winflush_init): Likewise.
+ (winflush_function): Likewise.
+ (getc_immediate_common): Remove call to winflush_function.
+
+2011-09-06 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference): Rewrite the
+ processing for Descriptor_Size.
+ * gnat_rm.texi: Rephrase the wording for attribute Descriptor_Size
+ to account for its broader usage.
+ * sem_attr.adb (Analyze_Attribute): Change the error detection
+ circuitry for Descriptor_Size as the attribute is now applicable
+ to all types.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * sem_attr.adb, prj-nmsc.adb, exp_aggr.adb: Minor reformatting.
+
+2011-09-06 Ed Schonberg <schonberg@adacore.com>
+
+ * lib-xref.adb (OK_To_Set_Referenced): A reference to a formal
+ in a parameter association must not set the Referenced flag on
+ the formal.
+ * prj-nmsc.adb (Check_File_Naming_Schemes): Remove useless formal
+
+2011-09-06 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * gnat_rm.texi: Add a section on attribute Descriptor_Size
+
+2011-09-06 Arnaud Charlet <charlet@adacore.com>
+
+ * gcc-interface/Makefile.in (common-tools, gnatmake-re,
+ gnatlink-re): Speed up by using -j0.
+
+2011-09-06 Yannick Moy <moy@adacore.com>
+
+ * sem_ch13.adb (Analyze_Aspect_Specifications): Call
+ Set_Corresponding_Aspect when creating pragma from aspect.
+ (Add_Predicates): Use new field Corresponding_Aspect.
+ * sem_prag.adb (Analyze_Pragma): Make Pname hold source aspect
+ name when present, for the purpose of issuing error messages;
+ remove local procedure Error_Pragma_Arg_Alternate_Name.
+ * sinfo.adb, sinfo.ads (Corresponding_Aspect): New field in
+ N_Pragma node.
+ (From_Dynamic_Predicate, From_Static_Predicate): Remove fields from
+ N_Pragma node.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * checks.adb, s-except.ads, g-socket.adb: Minor reformatting.
+
+2011-09-06 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch6.adb (Build_Heap_Allocator): Add new
+ local variable Desig_Typ. Code and comment reformatting. Add
+ machinery to ensure that the allocation uses a fat pointer when
+ the type of the return object is a constrained array and the
+ function return type is an unconstrained array.
+
+2011-09-06 Vincent Celier <celier@adacore.com>
+
+ * make.adb, prj-part.adb, prj-nmsc.adb: Remove unused formal
+ parameters in subprograms.
+
+2011-09-06 Arnaud Charlet <charlet@adacore.com>
+
+ * s-taprop-mingw.adb (Finalize_TCB): Fix typo.
+
+2011-09-06 Thomas Quinot <quinot@adacore.com>
+
+ * s-taprop-vxworks.adb, s-tpoaal.adb, s-tpopsp-vxworks.adb
+ (System.Tasking.Primitive_Operations.Specific.Delete): Remove
+ subprogram.
+ (System.Tasking.Primitive_Operations.Specific.Set): If argument
+ is null, destroy task specific data, to make API consistent with
+ other platforms, and thus compatible with the shared version
+ of s-tpoaal.adb.
+ (System.Tasking.Primitive_Operations.ATCB_Allocation.Free_ATCB):
+ Document the above assumption.
+
+2011-09-06 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch6.adb (Expand_Inlined_Call): Fix use of uninitialized
+ variable for type of return value when return type is
+ unconstrained and context is an assignment.
+
+2011-09-06 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch8.adb (Check_Class_Wide_Actual): Do not generate body of
+ class-wide operation if expansion is not enabled.
+
+2011-09-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * checks.adb (Apply_Scalar_Range_Check): Deal with access
+ type prefix.
+
+2011-09-06 Yannick Moy <moy@adacore.com>
+
+ * sem_ch13.adb (Analyze_Aspect_Specifications, case
+ Aspect_Invariant): Do not issue error at this point on illegal
+ pragma placement, as this is checked later on when analyzing
+ the corresponding pragma.
+ * sem_prag.adb (Error_Pragma_Arg_Alternate_Name): New procedure
+ similar to Error_Pragma_Arg, except the source name of the
+ aspect/pragma to use in warnings may be equal to parameter
+ Alt_Name (Analyze_Pragma, case Pragma_Invariant): refine error
+ message to distinguish source name of pragma/aspect, and whether
+ the illegality resides in the type being public, or being private
+ without a public declaration
+
+2011-09-06 Thomas Quinot <quinot@adacore.com>
+
+ * g-socket.adb (Check_For_Fd_Set): On Windows, no need for bitmap
+ size check (fd_set is implemented differently on that platform).
+
+2011-09-06 Thomas Quinot <quinot@adacore.com>
+
+ * s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-vms.adb,
+ s-tpoaal.adb, s-taprop-mingw.adb, s-taprop-linux.adb,
+ s-taprop-solaris.adb, s-taprop-irix.adb, s-taprop.ads,
+ s-taprop-hpux-dce.adb, s-taprop-dummy.adb, s-taprop-posix.adb
+ (ATCB_Allocation): New subpackage of
+ System.Tasking.Primitive_Operations, shared across all targets
+ with full tasking runtime.
+ (ATCB_Allocation.New_ATCB): Moved there (from target specific
+ s-taprop bodies).
+ (ATCB_Allocation.Free_ATCB): New subprogram. Deallocate an ATCB,
+ taking care of establishing a local temporary ATCB if the one
+ being deallocated is Self, to avoid a reference to the freed
+ ATCB in Abort_Undefer.
+
+2011-09-06 Thomas Quinot <quinot@adacore.com>
+
+ * s-tassta.adb, s-taskin.ads (Free_Task): If the task is not
+ terminated, mark it for deallocation upon termination.
+ (Terminate_Task): Call Free_Task again if the task is marked
+ for automatic deallocation upon termination.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * a-cbprqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cusyqu.ads,
+ a-intnam-aix.ads, a-intnam-darwin.ads, a-intnam-dummy.ads,
+ a-intnam-freebsd.ads, a-intnam-hpux.ads, a-intnam-irix.ads,
+ a-intnam-linux.ads, a-intnam-lynxos.ads, a-intnam-mingw.ads,
+ a-intnam-solaris.ads, a-intnam-tru64.ads,
+ a-intnam-vms.ads, a-intnam-vxworks.ads, a-intnam.ads, interfac.ads,
+ cstand.adb, s-maccod.ads: Mark all entities as Implementation_Defined
+ * einfo.ads, einfo.adb (Is_Implementation_Defined): New flag
+ * par-prag.adb: Add dummy entry for pragma Implementation_Defined
+ * s-rident.ads: Add new restriction No_Implementation_Identifiers
+ Add new profile No_Implementation_Extensions
+ * sem_prag.adb: Implement pragma Implementation_Defined Implement
+ profile No_Implementation_Extensions
+ * sem_util.adb: Minor reformatting (Set_Entity_With_Style_Check):
+ Check violation of restriction No_Implementation_Identifiers
+ * snames.ads-tmpl: Add entries for pragma Implementation_Defined
+ Add entry for Name_No_Implementation_Extensions
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * impunit.ads: Minor reformatting.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * ali.adb, sem_ch13.adb, lib-xref.adb: Minor reformatting.
+
+2011-09-06 Pascal Obry <obry@adacore.com>
+
+ * s-osinte-linux.ads, s-oscons-tmplt.c: Use oscons to define sigset_t
+ types.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * g-socket.adb: Minor reformatting
+
+2011-09-06 Javier Miranda <miranda@adacore.com>
+
+ * ali.adb (Scan_ALI): Add missing support to load references of
+ entities imported from other languages.
+ * ali.ads (Xref_Record): Adding new fields to store the language and
+ name of an imported entity.
+ * lib-xref.adb (Output_Import_Export_Info): Fix typo
+ in comment.
+
+2011-09-06 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma, case Type_Invariant): A type invariant
+ is allowed on a full type declaration if it is the completion of
+ a private declarations.
+ * sem_ch13.adb (Analyze_Aspect_Specifications): An invariant
+ aspect is allowed on a full type declaration in the private part
+ of a package.
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch8.ads: Minor reformatting
+
+2011-09-06 Thomas Quinot <quinot@adacore.com>
+
+ * s-oscons-tmplt.c, g-socket.adb (GNAT.Sockets.Clear,Set,Is_Set):
+ Guard against socket values that are not in [0;FD_SETSIZE[
+
+2011-09-06 Robert Dewar <dewar@adacore.com>
+
+ * s-osinte-linux.ads, a-iteint.ads, exp_ch6.adb, s-solita.adb: Minor
+ reformatting.
+
+2011-09-06 Arnaud Charlet <charlet@adacore.com>
+
+ * s-linux-alpha.ads: Minor reformatting
+ * s-oscons-tmplt.c: Fix generated comments in s-oscons template.
+ Use sizeof instead of corresponding C defines in s-oscons template.
+
+2011-09-06 Vadim Godunko <godunko@adacore.com>
+
+ * a-convec.ads, a-iteint.ads: Minor reformatting.
+
2011-09-06 Vincent Celier <celier@adacore.com>
* projects.texi: Add menus and @node lines.