+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * a-cdlili.ads, a-coinve.ads, a-coorma.adb, a-coorma.ads, s-tassta.adb,
+ a-cborma.adb, a-cborma.ads, a-cohama.ads, a-coorse.ads, a-cbhama.ads,
+ a-cborse.ads, a-cobove.adb, a-cobove.ads, a-cbhase.ads: Minor
+ reformatting.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * exp_ch7.adb, exp_ch7.ads (Build_Exception_Handler): Move its spec to
+ package spec.
+ * exp_intr.adb (Expand_Unc_Deallocation): Use Build_Exception_Handler.
+ * a-except.adb, a-except-2005.adb (Rcheck_22): Do not defer aborts
+ while raising PE.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * a-cbhama.adb, a-cbhama.ads: Minor reformatting.
+
+2011-08-29 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch8.adb (Analyze_Subprogram_Renaming): Complete support for
+ renamings of formal subprograms when the actual for a formal type is
+ class-wide.
+
+2011-08-29 Matthew Heaney <heaney@adacore.com>
+
+ * a-cbhama.ads, a-cbhase.ads (Move): Clear Source following assignment
+ to Target.
+
+2011-08-29 Matthew Heaney <heaney@adacore.com>
+
+ * a-cborma.ads, a-cborse.ads (Cursor): Default-initialize all
+ components of record type.
+ * a-cborma.adb, a-cborse.adb (Move): Clear Source following assignmentw
+ to Target.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * a-cbhama.adb, a-cbhama.ads, a-cborma.adb, a-cborma.ads, a-cobove.adb,
+ a-cobove.ads, a-coorma.adb, a-coorma.ads: Add iterator machinery to
+ container packages.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch3.adb, sem_util.adb, gnat1drv.adb, s-parint.ads: Minor
+ reformatting.
+
+2011-08-29 Matthew Heaney <heaney@adacore.com>
+
+ * a-cbhama.ads, a-cbhase.ads (Cursor): Default-initialize all
+ components of record type.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * s-tassta.adb (Task_Wrapper): Handle and ignore exceptions propagated
+ by the termination handler.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * sem_ch3.adb (Array_Type_Declaration): Create declarations for Itypes
+ created in Alfa mode, instead of inserting artificial declarations of
+ non-Itypes in the tree.
+ * sem_util.adb, sem_util.ads (Itype_Has_Declaration): New function to
+ know if an Itype has a corresponding declaration, as defined in
+ itypes.ads.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * gnat1drv.adb: Minor rewrite.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * s-tasuti.adb (Make_Passive): Work around race condition in
+ Make_Independent, which can cause Wait_Count to be zero. So instead of
+ asserting that Wait_Count > 0, and then decrementing it, decrement it
+ only if Wait_Count > 0.
+ * s-taskin.ads (Wait_Count, Alive_Count, Awake_Count): All of these
+ should be nonnegative, so declare them Natural instead of Integer.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch5.adb, sem_ch3.adb, a-cihama.adb, a-cihama.ads, exp_ch7.adb,
+ sem_ch5.adb, a-ciorse.adb, a-ciorse.ads, sem_ch12.adb, a-cidlli.adb,
+ a-cidlli.ads, sem_util.adb, sem_res.adb, gnat1drv.adb, a-except.adb,
+ a-except.ads, a-except-2005.ads, sem_ch4.adb, exp_disp.adb,
+ exp_aggr.adb, sem_ch13.adb, par-ch3.adb: Minor reformatting.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * s-auxdec-vms-alpha.adb: Add comments, remove some HT before labels.
+
+2011-08-29 Vadim Godunko <godunko@adacore.com>
+
+ * s-parint.ads: Minor comment clarification.
+
+2011-08-29 Vincent Celier <celier@adacore.com>
+
+ * prj.adb (Initialize): Make sure that new reserved words after Ada 95
+ may be used as identifiers.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * a-coinho.ads: Minor reformating.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch5.adb (Expand_Iterator_Loop): Handle properly a loop over a
+ container of a derived type.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * impunit.adb, s-stposu.adb, s-stposu.ads, exp_ch4.adb, s-finmas.adb,
+ s-finmas.ads: Revert previous change.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * a-cidlli.adb, a-cidlli.ads, a-cihama.adb, a-cihama.ads,
+ a-ciorse.adb, a-ciorse.ads: Add iterator machinery to containers.
+
+2011-08-29 Pascal Obry <obry@adacore.com>
+
+ * exp_disp.adb: Minor comment fix.
+ (Make_Disp_Asynchronous_Select_Body): Properly initialize out parameters
+ to avoid warnings when compiling with -Wall.
+ (Make_Disp_Conditional_Select_Body): Likewise.
+ (Make_Disp_Timed_Select_Body): Likewise.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch12.adb (Analyze_Formal_Subprogram_Declaration): If default is
+ an entity name, generate reference for it.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch5.adb (Expand_Iterator_Loop): Uniform handling of "X of S"
+ iterator form.
+ * sem_util.adb (Is_Iterator, Is_Reversible_Iterator): Yield True for
+ the class-wide type.
+ * sem_ch5.adb: Move some rewriting to the expander, where it belongs.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch8.adb (Check_Constrained_Object): Do not create an actual
+ subtype for an object whose type is an unconstrained union.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * par-ch3.adb (P_Array_Type_Definiation, P_Component_Items): "aliased"
+ is allowed in a component definition, by AI95-406.
+
+2011-08-29 Matthew Heaney <heaney@adacore.com>
+
+ * a-chtgbo.adb (Generic_Iteration): Use correct overloading of Next.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * a-except-2005.adb: Alphabetize all routines.
+ (Triggered_By_Abort): New routine.
+ * a-except-2005.ads (Triggered_By_Abort): New routine.
+ * a-except.adb Alphabetize all routines.
+ (Triggered_By_Abort): New routine.
+ * a-except.ads (Triggered_By_Abort): New routine.
+ * exp_ch7.adb: Update all comments involving the detection of aborts in
+ finalization code.
+ (Build_Object_Declarations): Do not generate code to detect the
+ presence of an abort at the start of finalization code, use a runtime
+ routine istead.
+ * rtsfind.ads: Add RE_Triggered_By_Abort to tables RE_Id and
+ RE_Unit_Table.
+ * sem_res.adb (Resolve_Allocator): Emit a warning when attempting to
+ allocate a task on a subpool.
+ * s-stposu.adb: Add library-level flag Finalize_Address_Table_In_Use.
+ The flag disables all actions related to the maintenance of
+ Finalize_Address_Table when subpools are not in use.
+ (Allocate_Any_Controlled): Signal the machinery that subpools are in
+ use.
+ (Deallocate_Any_Controlled): Do not call Delete_Finalize_Address which
+ performs costly task locking when subpools are not in use.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * gnat1drv.adb (Adjust_Global_Switches): Restore expansion of tagged
+ types and dispatching calls in Alfa mode.
+ * lib-xref-alfa.adb (Collect_ALFA): Rewrite computation of
+ correspondance between body and spec scopes, to reuse utility functions
+ (Traverse_Declarations_Or_Statements): Protect access to body for stub
+ by testing the presence of the library unit for the body
+ * sem_ch6.adb (Set_Actual_Subtypes): take into account that in Alfa
+ mode the expansion of accept statements is skipped
+ * sem_util.adb, sem_util.ads (Unique_Entity): New function returning
+ the unique entity corresponding to the one returned by
+ Unique_Defining_Entity applied to the enclosing declaration of the
+ argument.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * treepr.ads: Improve debugging facilities. pn(x) no longer crashes in
+ gdb when x is not a node (it can be a node list, name_id, etc). pp is
+ an alias for pn. ppp is an alias for pt.
+
+2011-08-29 Javier Miranda <miranda@adacore.com>
+
+ * exp_aggr.adb (Expand_Record_Aggregate): Use the top-level enclosing
+ aggregate to take a consistent decision on the need to convert into
+ assignments aggregates that initialize constant objects.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch4.adb (Expand_Allocator_Expression): Add a call to
+ Build_Allocate_Deallocate_Proc in order to handle allocation of
+ non-controlled objects on subpools.
+ * impunit.adb: Remove s-finmas and s-spsufi since they were never meant
+ to be end-user visible.
+ * s-finmas.adb: Add with and use clause for System.HTable.
+ Add an instantiation of Simple_HTable which provides a mapping between
+ the address of a controlled object and the corresponding
+ Finalize_Address used to clean up the object. The table is used when a
+ master is operating in heterogeneous mode.
+ (Attach): Explain why the input node is not verified on being already
+ attached.
+ (Delete_Finalize_Address): New routine.
+ (Detach): Add pragma Assert which ensures that a node is already
+ attached.
+ (Finalize): Add local variable Cleanup. Rewrite the iteration scheme
+ since nodes are no longer removed on traversal. Explain why node
+ detachment is undesirable in this case.
+ (Get_Finalize_Address): New routine.
+ (Hash): New routine.
+ (Is_Empty_List): Removed.
+ (pm): Renamed to Print_Master. Add output for discriminant
+ Is_Homogeneous.
+ Comment reformatting.
+ (Set_Finalize_Address (Address, Finalize_Address_Ptr)): New routine.
+ * s-finmas.ads: Various comments additions / improvements.
+ Type Finalization_Master has a discriminant which determines the mode of
+ operation.
+ (Delete_Finalize_Address): New routine.
+ (Get_Finalize_Address): New routine.
+ (pm): Renamed to Print_Master.
+ (Set_Finalize_Address (Address, Finalize_Address_Ptr)): New routine.
+ * s-stposu.adb: Add with clause for System.Address_Image; Add with and
+ use clause for System.IO.
+ (Allocate_Any_Controlled): Add machinery to set TSS primitive
+ Finalize_Address depending on the mode of allocation and the mode of
+ the master.
+ (Deallocate_Any_Controlled): Remove the relation pair object -
+ Finalize_Address regardless of the master mode. Add comment explaining
+ the reason.
+ (Detach): Ensure that fields Prev and Next are null after detachment.
+ (Finalize_Pool): Remove local variable Next_Ptr. Rewrite the iteration
+ scheme to check whether the list of subpools is empty. There is no
+ longer need to store the next subpool or advance the current pointer.
+ (Is_Empty_List): New routine.
+ (Print_Pool): New routine.
+ (Print_Subpool): New routine.
+ * s-stposu.ads: Various comments additions / improvements.
+ Field Master of type Root_Subpool is now a heterogeneous collection.
+ (Print_Pool): New routine.
+ (Print_Subpool): New routine.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch5.adb (Expand_N_Iterator_Loop): Implement Ada2012 loop iterator
+ forms, using aspects of container types.
+ * sem_ch3.adb (Find_Type_Name): Preserve Has_Delayed_Aspects and
+ Has_Implicit_Dereference flags, that may be set on the partial view.
+ * sem_ch4.adb (Process_Overloaded_Indexed_Component): Prefix may be a
+ container type with an indexing aspect.
+ (Analyze_Quantified_Expression): Analyze construct with expansion
+ disabled, because it will be rewritten as a loop during expansion.
+ (Try_Container_Indexing): The prefix itself may be a container type
+ with an indexing aspect, as with a vector of vectors.
+ * sem_ch5.adb (Analyze_Iteration_Scheme): In a generic context, analyze
+ the original doamin of iteration, for name capture.
+ (Analyze_Iterator_Specification): If the domain is an expression that
+ needs finalization, create a separate declaration for it.
+ For an iterator with "of" retrieve default iterator info from aspect of
+ container type. For "in" iterator, retrieve type of Iterate function.
+ * sem_ch13.adb (Check_Iterator_Function): Fix typo.
+ (Check_Aspect_At_End_Of_Declaration): Make type unfrozen before
+ analysis, to prevent spurious errors about late attributes.
+ * sprint.adb: Handle quantified expression with either loop or iterator
+ specification.
+ * a-convec.ads, a-convec.adb: Iterate function returns a reversible
+ iterator.
+
+2011-08-29 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Scan_Make_Arg): Take any option as is in packages Compiler,
+ Binder or Linker of the main project file.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * inline.adb (Add_Scopes_To_Clean): Exclude any entity within a generic
+ unit.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * exp_ch9.adb: Partial revert of previous change for Alfa mode
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * exp_ch11.adb: Minor expansion of comment.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * lib-xref-alfa.adb (Add_ALFA_Scope): Treat generic entities.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Resolve_Arithmetic_Op): If the node has a universal
+ interpretation, set the type before resolving the operands, because
+ legality checks on an exponention operand need to know the type of the
+ context.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch12.adb (Analyze_Package_Instantiation): Do not set delayed
+ cleanups on a master if the instance is within a generic unit.
+ Complement to the corresponding fix to inline.adb for K520-030.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * exp_ch7.adb (Build_Raise_Statement): Raise PE instead of the current
+ occurrence.
+ * exp_intr.adb: Minor comment fix.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * sem_ch13.adb (Analyze_Aspect_Specifications): Fix cases where
+ Delay_Required was used as an uninitialized variable.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * a-cdlili.adb, a-cdlili.ads, a-coinve.adb, a-coinve.ads,
+ sem_util.adb, sem_util.ads, a-cohama.adb, a-cohama.ads, a-coorse.adb,
+ a-coorse.ads, aspects.ads, sem_ch8.adb: Minor reformatting.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * system-freebsd-x86_64.ads (Backend_Overflow_Checks): Set true True.
+ Remove unused variables.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb: Remove Build_Explicit_Dereference.
+ * sem_util.adb, sem_util.ads (Build_Explicit_Dereference): Moved here
+ from sem_res.adb, used in analysis of additional constructs.
+ (Is_Iterator, Is_Reversible_Iterator): New predicates for Ada2012
+ expansion of iterators.
+ (Is_Object_Reference): Recognize variables rewritten as explicit
+ dereferences in Ada2012.
+ * snames.ads-tmpl: Add Has_Element, Forward_Iterator,
+ Reversible_Iterator names, for expansion of Ada2012 iterators.
+ * aspects.ads, aspects.adb (Find_Aspect): Utility.
+ * a-cdlili.ads, a-cdlili.adb: Add new iterator machinery to doubly
+ linked list container.
+ * a-coinve.ads, a-coinve.adb: Ditto for indefinite vector containers.
+ * a-coorse.ads, a-coorse.adb: Ditto for ordered sets.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * a-cohama.adb, a-cohama.ads: Add iterator primitives to hashed map
+ containers.
+
+2011-08-29 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Gnatmake): Get the maximum number of simultaneous
+ compilation processes after the Builder switches has been scanned, as
+ there may include -jnn.
+
+2011-08-29 Matthew Heaney <heaney@adacore.com>
+
+ * a-chtgbo.adb (Generic_Equal): Use correct overloading of Next.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * gnatcmd.adb (GNATCmd): On OpenVMS, truncate the length of
+ GNAT_DRIVER_COMMAND_LINE to 255.
+
+2011-08-29 Pascal Obry <obry@adacore.com>
+
+ * freeze.adb, sem_ch8.adb, a-convec.adb, a-convec.ads: Minor
+ reformatting and style fix (class attribute casing).
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * exp_ch11.adb: Yet another case where expansion should be common
+ between CodePeer and Alfa.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * exp_ch9.adb: Partial revert of previous change for Alfa mode.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Matches_Limited_With_View): The limited views of an
+ incomplete type and its completion match.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * exp_ch13.adb: Adjust previous change.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * sem_prag.adb, prj.adb, sem_util.adb, sem_res.adb, gnat1drv.adb,
+ exp_ch4.adb, sem_ch8.adb: Minor code reorganization
+ Minor reformatting.
+
+2011-08-29 Emmanuel Briot <briot@adacore.com>
+
+ * make.adb, prj.adb, prj.ads (Compute_All_Imported_Projects): Also
+ initialize aggregated projects.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch8.adb (Find_Renamed_Entity): Within an instance, use scope
+ depth of candidates to resolve a potentially spurious ambiguity between
+ two visible subprograms.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): Allow Test_Case pragma without
+ Requires/Ensures.
+ * sem_util.adb (Get_Ensures_From_Test_Case_Pragma,
+ Get_Requires_From_Test_Case_Pragma): Allow Test_Case pragma without
+ Requires/Ensures.
+
+2011-08-29 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat1drv.adb (Adjust_Global_Switches): Improve previous change.
+ Add comment.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * sem_res.adb: Minor reformatting.
+
+2011-08-29 Johannes Kanig <kanig@adacore.com>
+
+ * exp_ch4.adb (Expand_Quantified_Expression): Do not expand in ALFA
+ mode.
+ * gnat1drv.adb (Adjust_Global_Switches): Set
+ Use_Expressions_With_Actions to False in ALFA mode.
+ * sem_res.adb (Resolve_Quantified_Expression): Simpler treatment in
+ ALFA mode.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * exp_ch13.adb (Expand_N_Freeze_Entity): Do nothing in Alfa mode.
+ * exp_ch9.adb: Do not expand tasking constructs in Alfa mode.
+ * gnat1drv.adb (Adjust_Global_Switches): Suppress the expansion of
+ tagged types and dispatching calls in Alfa mode.
+
+2011-08-29 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Process_Discriminants): Add missing check to ensure that
+ we do not report an error on an Empty node.
+
+2011-08-29 Geert Bosch <bosch@adacore.com>
+
+ * Makefile.rtl (GNATRTL_NONTASKING_OBJECTS): Add a-nllrar.o,
+ a-nlrear.o and a-nurear.o.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * freeze.adb: Minor code reorganization.
+ Minor reformatting.
+ * sem_util.adb, errout.adb, exp_ch11.adb, a-ngrear.adb, s-gearop.adb,
+ sem_ch6.adb: Minor reformatting
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * s-except.ads, s-except.adb: Provide dummy body.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * sem_warn.adb (Within_Postcondition): Take into account the case of
+ an Ensures component in a Test_Case.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * s-excdeb.ads, s-excdeb.adb: New files, created from s-except.
+ * rtsfind.ads (RTU_Id): Replaces System_Exceptions by
+ System_Exceptions_Debug
+ (RE_Unit_Table): Search RE_Local_Raise in System_Exceptions_Debug
+ * a-except.adb: With and use System.Exceptions_Debug instead of
+ System.Exceptions.
+ * a-except-2005.adb: Likewise.
+ * s-assert.adb: Likewise.
+ * s-except.adb, s-except.ads: Move debugging hooks to s-excdeb.
+ * Makefile.rtl: Add s-excdeb. Adjust compilation rule.
+ * gcc-interfaces/Makefile.in, gcc-interface/Make-lang.in: Add
+ s-excdeb. Update dependencies.
+ (GNATRTL_LINEARALGEBRA_OBJS): Remove a-nlrear.o a-nurear.o a-nllrar.o
+ as these no longer need external libraries.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Resolve_Op_Expon): Additional check to reject an
+ exponentiation operator on universal values in a context that requires
+ a fixed-point type.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * raise-gcc.c (personnality_routine): Fix thinko. Set Ada occurrence
+ before calling notify_handled_exception.
+ * a-exextr.adb: Fix comment.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch4.adb (Expand_Allocator_Expression): Add code to set attribute
+ Finalize_Address of the access type's finalization master.
+ (Expand_N_Allocator): Add code to set attribute Finalize_Address of the
+ access type's finalization master. Add a guard to prevent
+ Associated_Storage_Pool from being set on .NET/JVM.
+ * exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Add code to set
+ attribute Finalize_Address of the access type's finalization master.
+ * exp_ch7.adb (Make_Finalize_Address_Call): New routine.
+ * exp_ch7.ads (Make_Finalize_Address_Call): New routine.
+ * rtsfind.ads: Add RE_Set_Finalize_Address to tables RE_Id and
+ RE_Unit_Table.
+ * s-finmas.adb: Add with clause for System.Address_Image. Add with and
+ use clause for System.IO
+ (Detach): Relax the assertion, to be reinstated later.
+ (Finalize): Rewrite the iteration loop to avoid pointer comparison.
+ Relax the assertion on Finalize_Address, to be reinstated later.
+ (Is_Empty_List): New routine.
+ (pm): New debug routine.
+ (Set_Finalize_Address): New routine.
+ * s-finmas.ads (pm): New debug routine.
+ (Set_Finalize_Address): New routine.
+ * s-stposu.adb (Allocate_Any_Controlled): Code reformatting.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * a-exexpr-gcc.adb (GCC_Exception_Access, GNAT_GCC_Exception_Access):
+ Remove convention C.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * s-taprop-vms.adb (Get_Exc_Stack_Addr): Remove.
+ (Initialize_TCB): Remove Exc_Stack_Ptr initialization.
+ (Finalize_TCB): Remove its finalization.
+ (Initialize): Remove assignment of GET_Exc_Stack_Addr
+ * s-soflin.adb (NT_Exc_Stack): Remove
+ (Get_Exc_Stack_Addr_NT): Likewise.
+ (Get_Exc_Stack_Addr_Soft): Likewise.
+ * s-soflin.ads (Get_Exc_Stack_Addr_NT): Remove.
+ (Get_Exc_Stack_Addr): Likewise.
+ (Get_Exc_Stack_Addr_Soft): Likewise
+ * s-taspri-vms.ads (Exc_Stack_T): Remove.
+ (Exc_Stack_Ptr_T): Likewise.
+ (Private_Data): Remove Exc_Stack_Ptr component.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * raise-gcc.c (get_ip_from_context): New function. Factorize code.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * gnat_ugn.texi: Fix aix and x86-solaris info for run-time.
+
+2011-08-29 Geert Bosch <bosch@adacore.com>
+
+ * s-gearop.ads (Back_Substitute, Diagonal, Forward_Eliminate,
+ L2_Norm, Swap_Column): New generic subprograms
+ * s-gearop.adb (Back_Substitute, Diagonal, Forward_Eliminate,
+ L2_Norm, Swap_Column): Implement new subprograms in order to
+ eliminate dependency on BLAS and LAPACK libraries in
+ Ada.Numerics.Generic_Real_Arrays and eventually also the complex
+ version. Forward_Eliminate/Back_Substitute can be used to put a
+ matrix in row echelon or reduced row echelon form using partial
+ pivoting.
+ * a-ngrear.adb: (Back_Substitute, Diagonal, Forward_Eleminate,
+ Swap_Column): Instantiate from System.Generic_Array_Operations.
+ ("*", "abs"): Implement by instantiation from Generic_Array_Operations.
+ (Sqrt): Local function for simple computation of square root without
+ adding dependencies on Generic_Elementary_Functions.
+ (Swap): New subprogram to exchange floating point numbers.
+ (Inverse): Reimplement using Jordan-Gauss elimination.
+ (Jacobi): New procedure implementing Jacobi's method for computation
+ of eigensystems, based on Rutishauser's implementation.
+ (L2_Norm): Implement directly using the inner product.
+ (Sort_Eigensystem): Sort eigenvalue/eigenvector pairs in order of
+ decreasing eigenvalue as required by the Ada RM.
+ (Swap_Column): New helper procedure for Sort_Eigensystem.
+ Remove with of System.Generic_Real_BLAS and System.Generic_Real_LAPACK.
+ Add with of Ada.Containers.Generic_Anonymous_Array_Sort, for
+ Sort_Eigensystems.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * put_scos.adb (Put_SCOs): Do not emit a newline for an empty
+ statements line.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * s-finmas.adb (Finalize): Check Finalize_Address of the master rather
+ than the current node.
+ * s-finmas.ads: Move field Finalize_Address from type FM_Node to
+ Finalization_Master. The list headers have two fields instead of three.
+ This should fix alignment issue but subpool allocations are now
+ unusable. Alphabetize subprograms.
+ * s-stposu.adb (Allocate_Any_Controlled): Use the offset rather than
+ the size of the header when converting the beginning of the object to
+ a FM_Node. Set the master's Finalize_Address attribute if not already
+ set.
+ (Deallocate_Any_Controlled): Use the offset rather than the size of the
+ header when converting the beginning of the object to a FM_Node.
+
+2011-08-29 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch11.adb (Expand_N_Raise_Statement): Don't suppress expansion of
+ reraise when compiling for CodePeer.
+
+2011-08-29 Arnaud Charlet <charlet@adacore.com>
+
+ * a-iteint.ads, Makefile.rtl: Add missing compilation of a-iteint.ads,
+ now needed by a-convec.adb. Fix warning.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_util.adb (Build_Allocate_Deallocate_Proc): Add a guard for the
+ processing of TSS routine Finalize_Address when compiling in
+ CodePeer_Mode.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * a-strunb.ads, einfo.ads, g-comlin.ads, sem_ch6.adb,
+ sem_warn.adb: Minor reformatting.
+
+2011-08-29 Emmanuel Briot <briot@adacore.com>
+
+ * prj-conf.adb (Get_Config_Switches): Also collect the list of
+ languages from aggregated projects.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * lib-xref-alfa.adb, lib-xref.ads (Traverse_Declarations_Or_Statements,
+ Traverse_Handled_Statement_Sequence, Traverse_Package_Body,
+ Traverse_Package_Declaration, Traverse_Subprogram_Body,
+ Traverse_Compilation_Unit): Add a parameter Inside_Stubs so that bodies
+ for stubs are traversed too when parameter is set
+ (Traverse_All_Compilation_Units): Traverse without going inside stubs
+ (Traverse_Declarations_Or_Statements): Do the special traversing for
+ stubs when required.
+ * sem_util.adb, sem_util.ads (Get_Body_From_Stub): New function to
+ return subprogram or package body from stub.
+ (Is_Subprogram_Stub_Without_Prior_Declaration): New function to detect
+ stubs without prior subprogram decl.
+
+2011-08-29 Vasiliy Fofanov <fofanov@adacore.com>
+
+ * gnat_ugn.texi: Fix typo.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * s-stposu.adb (Allocate_Any_Controlled): Reimplement the mechanism
+ which accounts for size vs alignment issues and calculates the size of
+ the list header.
+ (Deallocate_Any_Controlled): Ditto.
+ (Nearest_Multiple_Rounded_Up): New routine.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * a-exstat.adb (String_To_EO): Do no set Cleanup_Flag.
+ * a-exexda.adb (Set_Exception_C_Msg): Ditto.
+ (Set_Exception_Msg): Ditto.
+ * a-exexpr-gcc.adb (Setup_Current_Excep): Ditto. Do not set
+ Private_Data.
+ * a-except.adb, a-except-2005.adb (Save_Occurrence_No_Private): Remove.
+ Use Save_Occurrence instead of Save_Occurrence_No_Private.
+ (Raise_With_Msg): Remove Cleanup_Flag.
+ * a-except.ads, a-except-2005.ads (Exception_Occurrence): Remove
+ Clean_Flag and Private_Data components.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * freeze.adb (Freeze_Record_Type): Ignore packing in Alfa mode, like
+ in CodePeer mode.
+ * sem_ch3.adb (Signed_Integer_Type_Declaration): Correct the generation
+ of an explicitly declared type, so that the base types of the original
+ type and this generated type are the same, and a "type" (not a subtype
+ like previously).
+ * errout.adb (Special_Msg_Delete): Do not issue messages "Size too
+ small" in Alfa mode, like in CodePeer mode.
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Ignore rep
+ clauses in Alfa mode.
+
+2011-08-29 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch6.ads, exp_ch6.adb (Is_Null_Procedure): Move the spec of this
+ function to the package spec.
+ * sem_ch6.adb (Find_Corresponding_Spec, New_Overloaded_Entity): For
+ internally generated bodies of null procedures locate the internally
+ generated spec enforcing mode conformance.
+ (Is_Interface_Conformant): Ensure that the controlling formal of the
+ primitives match.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma, case Inline): In an instance, do not
+ reject the pragma if it appears to apply to a formal subprogram.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch4.adb (Expand_Allocator_Expression): Use consistent name for
+ inner expression, to prevent double evaluation.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * a-exexpr.adb (Propagate_Exception): Remove all the parameters as
+ they were unused.
+ * a-exexpr-gcc.adb (Propagate_Exception): Ditto.
+ * a-except-2005.adb (Propagate_Exception): Adjust spec.
+ (Raise_Current_Excep): Adjust call.
+ (Raise_From_Signal_Handler): Call now simply call Raise_Current_Excep.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * exp_disp.adb: Minor reformatting.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * a-exexpr.adb (Setup_Exception): Removed.
+ * a-exexpr-gcc.adb (Setup_Exception): Removed.
+ * a-except.adb (Exception_Propagation): Removed.
+ * a-except-2005.adb (Setup_Exception): Removed.
+ (Reraise): Remove call to Setup_Exception.
+ (Reraise_Occurrence): Ditto.
+ (Reraise_Occurrence_Always): Ditto.
+ (Reraise_Occurrence_No_Defer): Ditto.
+ (Transfer_Occurrence): Ditto.
+ * a-exexda.adb (Set_Exception_C_Msg): Remove call to Setup_Exception.
+ (Set_Exception_Msg): Ditto.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * a-convec.adb, exp_disp.adb: Minor reformatting.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * a-exexpr-gcc.adb (GNAT_GCC_Exception_Access): Set to convention C.
+
+2011-08-29 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch3.adb (Build_Record_Init_Proc.Build_Init_Procedure): Set
+ Exception_Handlers to No_List instead of Empty_List in the case where
+ there are no handlers.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * gcc-interface/gigi.h (enum standard_datatypes): Add
+ ADT_reraise_zcx_decl
+ (reraise_zcx_decl): New macro.
+ * gcc-interface/trans.c (gnu_incoming_exc_ptr): New variable.
+ (gigi): Set reraise_zcx_decl.
+ (Exception_Handler_to_gnu_zcx): Save and restore gnu_incoming_exc_ptr.
+ (gnat_to_gnu): Handle N_Raise_Statement.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch6.adb, exp_ch3.adb, s-stposu.adb, a-undesu.ads,
+ a-undesu.adb: Minor reformatting.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_disp.adb (Check_Premature_Freezing): When building a dispatch
+ table, accept an unfrozen untagged component if it is an actual for a
+ formal incomplete type.
+ * a-convec.ads, a-convec.adb: Instantiate Ada.Iterator_Interfaces to
+ provide new iterator forms over vectors.
+ Introduce type Iterator in package body to implement operations of
+ Reversible_Iterator interface.
+ * a-iteint.ads: Make package pure so it is usable with new container
+ packages, that are categorized Remote_Types.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * a-exexpr-gcc.adb, a-synbar.adb, sem_ch13.adb: Minor reformatting.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * sem_aggr.adb (Resolve_Aggr_Expr): Call this routine even in the case
+ of <>, because this is the routine that checks for dimensionality
+ errors (for example, for a two-dimensional array, (others => <>) should
+ be (others => (others => <>)).
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * impunit.adb: Add new run-time units.
+ * freeze.adb, exp_ch7.ads, exp_ch7.adb, exp_util.ads, exp_util.adb,
+ s-stposu.ads, s-stposu.adb: Code clean up.
+ Handle protected class-wide or task class-wide types
+ Handle C/C++/CIL/Java types.
+ * s-spsufi.adb, s-spsufi.ads: New files.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * sem_ch13.adb (Analyze_Aspect_Specifications): Reject test-case on
+ library-level subprogram.
+ * sem_prag.adb (Check_Test_Case): Stricter rules for test-case
+ placement.
+ (Analyze_Pragma): Change name "Normal" for "Nominal" in test-case
+ component.
+ * snames.ads-tmpl: Change name "Normal" for "Nominal" in test-case
+ component.
+ * gnat_rm.texi: Update doc for Test_Case pragma.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * a-exexpr-gcc.adb (Unwind_Exception): Remove default value, made it
+ convention C.
+ (GCC_Exception_Access): New type.
+ (Unwind_DeleteException): New imported procedure
+ (Foreign_Exception): Import it.
+ (GNAT_GCC_Exception): Simply have the occurrence inside.
+ (To_GCC_Exception): New function.
+ (To_GNAT_GCC_Exception): New function.
+ (GNAT_GCC_Exception_Cleanup): New procedure..
+ (Propagate_GCC_Exception): New procedure.
+ (Reraise_GCC_Exception): New procedure.
+ (Setup_Current_Excep): New procedure.
+ (CleanupUnwind_Handler): Change type of UW_Exception parameter.
+ (Unwind_RaiseException): Ditto.
+ (Unwind_ForcedUnwind): Ditto.
+ (Remove): Removed.
+ (Begin_Handler): Change type of parameter.
+ (End_Handler): Ditto. Now delete the exception if still present.
+ (Setup_Key): Removed.
+ (Is_Setup_And_Not_Propagated): Removed.
+ (Set_Setup_And_Not_Propagated): Ditto.
+ (Clear_Setup_And_Not_Propagated): Ditto.
+ (Save_Occurrence_And_Private): Ditto.
+ (EID_For): Add 'not null' constraint on parameter.
+ (Setup_Exception): Does nothing.
+ (Propagate_Exception): Simplified.
+ * exp_ch11.adb (Expand_N_Raise_Statement): In back-end exception model,
+ re-raise is not expanded anymore.
+ * s-except.ads (Foreign_Exception): New exception - placeholder for
+ non Ada exceptions.
+ * raise-gcc.c (__gnat_setup_current_excep): Declare
+ (CXX_EXCEPTION_CLASS): Define (not yet used)
+ (GNAT_EXCEPTION_CLASS): Define.
+ (is_handled_by): Handle foreign exceptions.
+ (PERSONALITY_FUNCTION): Call __gnat_setup_current_excep.
+
+2011-08-29 Jose Ruiz <ruiz@adacore.com>
+
+ * a-synbar.adb (Synchronous_Barrier): Some additional clarification.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * a-synbar-posix.adb: Minor reformatting.
+
+2011-08-29 Jose Ruiz <ruiz@adacore.com>
+
+ * a-exetim-posix.adb, a-exetim-mingw.adb, a-exetim-mingw.ads,
+ a-exetim-default.ads (Interrupt_Clocks_Supported,
+ Separate_Interrupt_Clocks_Supported, Clock_For_Interrupts): Add these
+ definitions to be compliant with AI-0171. The target systems do not
+ support separate account for the execution time of interrupt handlers.
+
+2011-08-29 Jose Ruiz <ruiz@adacore.com>
+
+ * a-synbar.adb (Wait): Change the order of evaluation of the conditions
+ in the barrier to put first the easiest to evaluate (and the one which
+ will be True more often). More efficient.
+
+2011-08-29 Eric Botcazou <ebotcazou@adacore.com>
+
+ * s-atocou-x86.adb: Fix constraint in machine code insertion.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * aspects.ads, aspects.adb: Add new aspects for various pragmas and
+ attributes that are now aspects, as specified by AI05-0229-1.
+ * sem_ch13.adb (Analyze_Aspect_Specifications,
+ Check_Aspect_At_Freeze_Point): Analyze the new aspects. Turn them into
+ pragmas or attribute references, as appropriate.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * a-synbar.ads, a-synbar.adb, a-synbar-posix.adb,
+ a-synbar-posix.ads: Minor reformatting.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * snames.ads-tmpl: Add name Force.
+
+2011-08-29 Pascal Obry <obry@adacore.com>
+
+ * prj-nmsc.adb: Minor reformatting.
+
+2011-08-29 Jose Ruiz <ruiz@adacore.com>
+
+ * a-exetim.ads (Interrupt_Clocks_Supported,
+ Separate_Interrupt_Clocks_Supported, Clock_For_Interrupts): Add these
+ definitions to be compliant with AI-0171.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * a-ngelfu.adb: Add comments.
+
+2011-08-29 Geert Bosch <bosch@adacore.com>
+
+ * a-ngelfu.adb (Tan): Do not raise Constraint_Error if the argument is
+ the closest machine number to Pi / 2.0.
+
+2011-08-29 Jose Ruiz <ruiz@adacore.com>
+
+ * impunit.adb (Non_Imp_File_Names_12): Add a-synbar for new Ada 2012
+ package Ada.Synchronous_Barriers.
+ * a-synbar.ads, a-synbar.adb, a-synbar-posix.ads, a-synbar-posix.adb:
+ Add new specs and bodies for Ada.Synchronous_Barriers. There is a
+ default implementation using protected objects and another one
+ a-synbar-posix using POSIX barriers as the underlying support.
+ * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for Linux (x86,
+ x86_64, ia64) and MIPS IRIX): Use the a-synbar-posix implementation of
+ Ada.Synchronous_Barriers which uses POSIX barriers (more efficient).
+ Clean up dependencies.
+ * Makefile.rtl (GNATRTL_TASKING_OBJS): Add a-synbar.o
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch7.adb, make.adb, sem_res.adb, exp_intr.adb,
+ exp_dist.adb: Minor code reorganization.
+ Minor reformatting.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * sem_cat.adb (Validate_RACW_Primitive): The return type of an RACW
+ primitive operation must support external streaming if it is not a
+ controlling access result.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * sinfo.ads, sem_ch7.adb: Minor reformatting.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * sem_ch4.adb (Analyze_Allocator): Check No_Nested_Finalization
+ restriction on allocators, as required by AI05-0013-1.
+ * restrict.ads: Minor comment fix.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * a-exexpr.adb, a-except-2005.ads (Jmpbuf_Address): Move to a-exexpr.adb
+ (To_Jmpbuf_Address): Ditto
+ (builtin_longjmp): Ditto
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * sem_res.adb: Minor reformatting.
+
+2011-08-29 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Gnatmake): Move special processing for VM targets after the
+ call to Get_Target_Parameters.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch12.adb, par-ch12.adb: Minor reformatting.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sem_res.adb (Resolve_Allocator): Implement Ada2012-B052. Detect cases
+ where an anonymous access discriminant of a limited designated type
+ appears in a non-immutably limited discriminated type and issue an
+ error message. Add local variable Desig_T and replace all occurrences
+ of Designated_Type.
+
+2011-08-29 Jose Ruiz <ruiz@adacore.com>
+
+ * a-rttiev.adb (Set_Handler): Update comment to indicate that our
+ implementation is compliant to RM D.15(15/2) after the modification
+ imposed by AI05-0094-1 (binding interpretation).
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch9.adb, s-tasren.adb, exp_sel.adb, exp_sel.ads, exp_ch11.adb,
+ s-interr-hwint.adb, s-tpobop.adb, sem_ch13.adb: Minor reformatting.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * par-endh.adb (Check_End): For an END where it is mandatory to repeat
+ the scope name, do not report a missing label as a style violation (it
+ will be diagnosed as an illegality).
+ * exp_dist.adb (Add_Params_For_Variant_Components): Fix handling of
+ variant records: Get_Enum_Lit_From_Pos already returns a usage
+ occurrence of the literal, no need to use New_Occurrence_Of. Set Etype
+ on Expr in Integer_Literal case so that it can be used by
+ Build_To_Any_Call.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * exp_sel.ads (Build_Abort_BLock_Handler): New function spec.
+ Adjust comment.
+ * exp_sel.adb (Build_Abort_Block): Use Build_Abort_Block_Handler.
+ (Build_Abort_Block_Handler): New function to build an Abort_Signal
+ exception handler.
+ * exp_ch9.adb (Expand_N_Asynchronous_Select): Call
+ Build_Abort_Block_Handler to build the exception handler. Do not
+ undefer aborts for the Abort_Signal exception handler if back-end
+ exception mechanism.
+ * exp_ch11.adb (Expand_Exception_Handlers): Do not undefer aborts if
+ back_end exceptions for all others and abort_signal.
+ * s-except.ads (ZCX_By_Default): New constant.
+ * a-except-2005.adb (Raise_Exception): Do not defer abort if ZCX.
+ (Raise_Exception_Always): Ditto.
+ (Raise_From_Signal_Handler): Ditto.
+ (Raise_With_Location_And_Msg): Ditto.
+ (Raise_With_Msg): Ditto.
+ (Reraise): Ditto.
+ (Reraise_Occurence): Ditto.
+ (Reraise_Occurrence_Always): Ditto.
+ * s-tasren.adb (Exceptional_Complete_Rendezvous): Defer aborts if ZCX.
+ * s-tpobop.adb: (Exceptional_Complete_Body): Undefer abort if ZCX.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * sem_util.ads (Get_Enum_Lit_From_Pos): Clarify documentation.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * snames.adb-tmpl, sem_ch13.adb: Minor reformatting
+ Minor code reorganization.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * usage.adb (-gnatwy): Fix documentation: this switch applies to Ada
+ 2012, not just Ada 2005.
+
+2011-08-29 Vincent Celier <celier@adacore.com>
+
+ * gnat_ugn.texi: Indicate that when the compiler is called by gnatmake
+ with a project file or with gprbuid, if -gnatep= is specified, the
+ builder may need to be invoked with -x.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * a-exexpr-gcc.adb: Minor comment fix.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch8.adb: Minor reformatting.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * par-ch2.adb (P_Identifier): Warn that "some" is reserved in Ada 2012.
+ * par-ch4.adb (P_Quantified_Expression): Remove unnecessary code for
+ treating "some" as unreserved in earlier Ada versions. This is now
+ handled in Snames.Is_Keyword_Name. Parse "for some" using Tok_Some,
+ rather than Name_Some, since Tok_Some is now recognized as reserved.
+ * scans.adb (Initialize_Ada_Keywords): Handle Tok_Some like any other
+ reserved word.
+ * scans.ads: Minor comment fixes.
+ * snames.adb-tmpl (Is_Keyword_Name): Handle Ada 2012 reserved words as
+ for other language versions.
+ * scn.adb (Scan_Reserved_Identifier): Remove unnecessary code for
+ treating "some" as unreserved in earlier Ada versions. This is now
+ handled in Snames.Is_Keyword_Name.
+ * par-ch3.adb (P_Defining_Identifier): Warn that "some" is reserved in
+ Ada 2012.
+ (P_Subtype_Mark_Resync): Remove unnecessary code for treating "some" as
+ unreserved in earlier Ada versions. This is now handled in
+ Snames.Is_Keyword_Name.
+ * snames.ads-tmpl (Ada_2012_Reserved_Words): Handle Ada 2012 reserved
+ words as for other language versions.
+ * gnat_ugn.texi (-gnatwy): Fix documentation: this switch applies to
+ Ada 2012, not just Ada 2005.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch13.adb: Additional semantic checks for aspects involved in
+ iterators.
+
+2011-08-29 Matthew Heaney <heaney@adacore.com>
+
+ * a-comutr.ads, a-comutr.adb, a-cimutr.ads, a-cimutr.adb,
+ a-cbmutr.ads, a-cbmutr.adb (Find_In_Subtree): Remove superfluous
+ Container parameter.
+ (Ancestor_Find): ditto.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * par-endh.adb: Minor reformatting.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * a-exexpr-gcc.adb (Unwind_Action) Rewrite as an integer with constants.
+ (GNAT_GCC_Exception): Remove N_Cleanups_To_Trigger component.
+ (Adjust_N_CLeanups_For): Remove.
+ (CleanupUnwind_Handler): Call Unhandled_Exception_Terminate when end of
+ stack is reached.
+ (Propgate_Exception): Adjust.
+ * raise-gcc.c: Add a few static/const.
+ (Adjust_N_Cleanups_For): Remove declaration.
+ (PERSONALITY_FUNCTION): Remove code dealing with N_Cleanups_To_Trigger.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch8.adb: Use type of function return when rewriting as object
+ declaration.
+
+2011-08-29 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_type.adb: Minor reformatting.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * makeutl.adb: Minor reformatting.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch8.adb (Analyze_Object_Renaming): If the renamed object is a
+ function call of a limited type, the expansion of the renaming is
+ complicated by the presence of various temporaries and subtypes that
+ capture constraints of the renamed object.
+ Rewrite node as an object declaration, whose expansion is simpler.
+ Given that the object is limited there is no copy involved and no
+ performance hit.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch5.adb, sinfo.ads, make.adb, s-pooglo.adb, sem_ch12.adb,
+ freeze.adb, sem_ch6.adb, par-ch12.adb: Minor reformatting.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * system-darwin-x86.ads, system-linux-s390x.ads, system-linux-alpha.ads,
+ system-tru64.ads, system-irix-n32.ads, system-vxworks-arm.ads,
+ system-linux-hppa.ads, system-linux-s390.ads,
+ system-solaris-sparcv9.ads, system-mingw.ads, system-linux-ia64.ads,
+ system-vms_64.ads, system-vxworks-sparcv9.ads, system-linux-ppc.ads,
+ system-aix64.ads, system-lynxos-ppc.ads, system-linux-sh4.ads,
+ system-solaris-x86.ads, system-linux-x86_64.ads, system-linux-x86.ads,
+ system-vxworks-ppc.ads, system-hpux.ads, system-darwin-ppc.ads,
+ system-solaris-sparc.ads, system-lynxos-x86.ads,
+ system-vxworks-m68k.ads, system-hpux-ia64.ads, system-irix-o32.ads,
+ system-solaris-x86_64.ads, system-mingw-x86_64.ads,
+ system-vxworks-mips.ads, system-linux-sparc.ads, system-vms-ia64.ads,
+ system-freebsd-x86.ads, system-aix.ads, system-darwin-x86_64.ads,
+ system-vxworks-x86.ads: Remove GCC_ZCX_Support
+ * s-taprop-posix.adb, s-taprop-irix.adb, s-taprop-vxworks.adb,
+ s-taprop-tru64.adb, s-taprop-linux.adb, s-taprop-solaris.adb: Ditto.
+ * opt.ads: Adjust comment.
+ * targparm.ads, targparm.adb: Remove GCC_ZCX_Support_On_Target.
+ * gnat1drv.adb: Do not check for GCC_ZCX_Support_On_Target.
+ * system.ads: Move GCC_ZCX_Support to obsolete entries.
+
+2011-08-29 Emmanuel Briot <briot@adacore.com>
+
+ * makeutl.adb (Do_Complete): Resolve symbolic links when a relative
+ file name is specified on the gnatmake or gprbuild command line, and
+ before we search for that file in the project.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_type.adb (Within_Instance): New predicate in Collect_Interps,
+ used to determine whether a possible interpretation for an overloadable
+ entity is declared within the current instantiation and should be
+ included in the candidate set.
+
+2011-08-29 Vasiliy Fofanov <fofanov@adacore.com>
+
+ * gnat_rm.texi, gnat_ugn.texi: Clean ups.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Resolve_Actuals): Use base type to determine whether an
+ access subtype is access_to_subprogram, when applying checks for
+ RM 3.10.2 (27).
+
+2011-08-29 Matthew Heaney <heaney@adacore.com>
+
+ * a-comutr.adb, a-cimutr.adb, a-cbmutr.adb (Splice_Subtree): Only check
+ for sibling when common parent.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * get_scos.adb: Literals of Pragma_Id are pragma names prefixed with
+ "pragma_".
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Enable freeze actions
+ for the return type when in ASIS mode.
+
+2011-08-29 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Gnatmake): Get the default search dirs, then the target
+ parameters after getting the Builder switches, as the Builder switches
+ may include --RTS= and that could change the default search dirs.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch7.adb (Make_Adjust_Call): Rewrite to mimic the structure of
+ Make_Final_Call. Move the processing for class-wide types before the
+ processing for derivations from [Limited_]Controlled.
+ (Make_Final_Call): Move the processing for class-wide types before the
+ processing for derivations from [Limited_]Controlled.
+ * s-stposu.adb (Allocate_Any_Controlled): Correct the membership check.
+ Add code to account for alignments larger than the list header. Add a
+ comment illustrating the structure of the allocated object + padding +
+ header.
+ (Deallocate_Any_Controlled): Add code to account for alignments larger
+ than the list header.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sinfo.ads, sinfo.adb: New node kind
+ N_Formal_Incomplete_Type_Definition, related flags.
+ par-ch12.adb (P_Formal_Type_Declaration, G_Formal_Type_Definition):
+ Parse formal incomplete types.
+ * sem.adb (Analyze): Formal_Incomplete_Type_Definitions are handled in
+ sem_ch12.
+ * sem_ch7.adb (Analyze_Package_Specification, Unit_Requires_Body):
+ Formal incomplete types do not need completion.
+ * sem_ch12.adb (Analyze_Formal_Incomplete_Type,
+ Validate_Incomplete_Type_Instance): New procedures to handle formal
+ incomplete types.
+ * freeze.adb (Freeze_Entity): Do not freeze the subtype of an actual
+ that corresponds to a formal incomplete type.
+ * sprint.adb: Handle formal incomplete type declarations.
+ * exp_util.adb (Insert_Actions): An incomplete_type_definition is not
+ an insertion point.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * a-fihema.ads, a-fihema.adb: Unit removed.
+ * a-undesu.ads, a-undesu.adb: New unit implementing
+ Ada.Unchecked_Deallocate_Subpool.
+ * einfo.adb: Remove Associated_Collection from the node usage.
+ Add Finalization_Master to the node usage.
+ (Associated_Collection): Removed.
+ (Finalization_Master): New routine.
+ (Set_Associated_Collection): Removed.
+ (Set_Finalization_Master): New routine.
+ (Write_Field23_Name): Remove Associated_Collection from the output. Add
+ Finalization_Master to the output.
+ * einfo.ads: Remove attribute Associated_Collection and its uses in
+ entities.
+ Add new attribute Finalization_Master along with its uses in entitites.
+ (Associated_Collection): Removed along with its pragma import.
+ (Finalization_Master): New routine along with a pragma import.
+ (Set_Associated_Collection): Removed along with its pragma import.
+ (Set_Finalization_Master): New routine along with a pragma import.
+ * exp_ch3.adb (Expand_Freeze_Array_Type): Replace call to
+ Build_Finalization_Collection with Build_Finalization_Master.
+ (Expand_Freeze_Record_Type): Move the generation of Finalize_Address
+ before the bodies of the predefined routines. Add comment explaining
+ this. Replace call to Build_Finalization_Collection with
+ Build_Finalization_Master.
+ (Freeze_Type): Replace call to Build_Finalization_Collection with
+ Build_Finalization_Master.
+ (Make_Finalize_Address_Body): Comment reformatting.
+ (Make_Predefined_Primitive_Specs): Code reformatting.
+ (Stream_Operation_OK): Update comment mentioning finalization
+ collections. Replace RE_Finalization_Collection with
+ RE_Finalization_Master.
+ * exp_ch4.adb (Complete_Controlled_Allocation): Replace call to
+ Associated_Collection with Finalization_Master. Replace call to
+ Build_Finalization_Collection with Build_Finalization_Master.
+ (Expand_Allocator_Expression): Replace call to Associated_Collection
+ with Finalization_Master. Replace call to Set_Associated_Collection with
+ Set_Finalization_Master. Remove the generation of
+ Set_Finalize_Address_Ptr.
+ (Expand_N_Allocator): Replace call to Associated_Collection with
+ Finalization_Master. Remove the generation of Set_Finalize_Address_Ptr.
+ * exp_ch6.adb (Add_Collection_Actual_To_Build_In_Place_Call): Renamed to
+ Add_Finalization_Master_Actual_To_Build_In_Place_Call. Update the
+ comment on usage. Replace call to Needs_BIP_Collection with
+ Needs_BIP_Finalization_Master Remplace BIP_Collection with
+ BIP_Finalization_Master. Update all comments which mention finalization
+ collections. Replace Associated_Collection with
+ Finalization_Master. Replace Build_Finalization_Collection with
+ Build_Finalization_Master.
+ (BIP_Formal_Suffix): Update BIP_Collection's case.
+ (Build_Heap_Allocator): Update the related comment. Rename local
+ variable Collect to Fin_Mas_Id and update its occurrences. Update
+ comments which mention finalization collections. Replace
+ Set_Associated_Collection with Set_Finalization_Master.
+ (Expand_Call): Update the code which detects a special piece of library
+ code for .NET/JVM.
+ (Make_Build_In_Place_Call_In_Allocator): Replace the call to
+ Add_Collection_Actual_To_Build_In_Place_Call with
+ Add_Finalization_Master_Actual_To_Build_In_Place_Call. Remove the code
+ which generates a call to Make_Set_Finalize_Address_Ptr_Call.
+ (Make_Build_In_Place_Call_In_Anonymous_Context): Replace call to
+ Add_Collection_Actual_To_Build_In_Place_Call with
+ Add_Finalization_Master_Actual_To_Build_In_Place_Call.
+ (Make_Build_In_Place_Call_In_Assignment): Replace call to
+ Add_Collection_Actual_To_Build_In_Place_Call with
+ Add_Finalization_Master_Actual_To_Build_In_Place_Call.
+ (Needs_BIP_Collection): Renamed to Needs_BIP_Finalization_Master.
+ * exp_ch6.ads: Rename BIP_Collection to BIP_Finalization_Master.
+ (Needs_BIP_Collection): Renamed to Needs_BIP_Finalization_Master.
+ * exp_ch7.adb (Build_BIP_Cleanup_Stmts): Update comment on usage.
+ Rename local variable Collect to Fin_Mas_Id and update its occurrences.
+ Replace call to Set_Associated_Collection with Set_Finalization_Master.
+ (Build_Finalization_Collection): Renamed to Build_Finalization_Master.
+ Replace the call to Associated_Collection with Finalization_Master.
+ Rename local variable Coll_Id to Fin_Mas_Id and update its occurrences.
+ Update the way finalization master names are generated. Update the
+ retrieval of the correct access type which will carry the pool and
+ master attributes.
+ (Make_Final_Call): Reimplement the way [Deep_]Finalize is retrieved.
+ (Make_Finalize_Address_Body): Abstract types do not need
+ Finalize_Address. Code reformatting.
+ (Make_Finalize_Address_Stmts): Update comment on usage.
+ (Make_Set_Finalize_Address_Ptr_Call): Removed.
+ (Process_Declarations): Update comments.
+ * exp_ch7.ads (Build_Finalization_Collection): Renamed to
+ Build_Finalization_Master. Update associated comment.
+ (Make_Set_Finalize_Address_Ptr_Call): Removed.
+ * exp_ch13.adb: Update comments which mention finalization collections.
+ (Expand_N_Free_Statement): Replace the call to Associated_Collection
+ with Finalization_Master.
+ * exp_util.adb (Build_Allocate_Deallocate_Proc): Reimplemented to
+ create calls to routines Allocate_Any_Controlled and
+ Deallocate_Any_Controlled.
+ (Find_Finalize_Address): New routine.
+ (Is_Allocate_Deallocate_Proc): Update the RTE entities used in the
+ comparison.
+ (Requires_Cleanup_Actions): Update the comment on freeze node
+ inspection.
+ * exp_util.ads: Remove comment on generated code for
+ Build_Allocate_Deallocate_Proc. The code is now quite complex and it
+ is better to simply look in the body.
+ * freeze.adb (Freeze_All): Update the comment of finalization
+ collections. Replace the call to Associated_Collection with
+ Finalization_Master. Replace the call to Build_Finalization_Collection
+ with Build_Finalization_Master.
+ * impunit.adb: Add a-undesu and s-stposu to the list of units.
+ * Makefile.rtl: Add files a-undesu, s-finmas and s-stposu. Remove file
+ a-fihema.
+ * rtsfind.adb (Get_Unit_Name): Remove the processing for children of
+ Ada.Finalization. Add processing for children of System.Storage_Pools.
+ * rtsfind.ads: Remove the naming of second level children of
+ Ada.Finalization.
+ Remove Ada_Finalization_Heap_Management from the list of units.
+ Remove subtype Ada_Finalization_Child.
+ Remove the following subprogram entities:
+
+ RE_Allocate
+ RE_Deallocate
+ RE_Finalization_Collection
+ RE_Finalization_Collection_Ptr
+ RE_Set_Finalize_Address_Ptr
+
+ Add the naming of second level children of System.Storage_Pools.
+ Add System_Finalization_Masters and System_Storage_Pools_Subpools to
+ the list of units.
+ Add subtype System_Storage_Pools_Child.
+ Add the following subprogram entities to System.Finalization_Masters:
+
+ RE_Finalization_Master
+ RE_Finalization_Master_Ptr
+
+ Add the following subprogram entities to System.Storage_Pools.Subpools:
+
+ RE_Allocate_Any_Controlled
+ RE_Deallocate_Any_Controlled
+ RE_Root_Storage_Pool_With_Subpools
+ RE_Root_Subpool
+ RE_Subpool_Handle
+
+ Move the following subprogram entities from
+ Ada.Finalization.Heap_Management to System.Finalization_Masters:
+
+ RE_Add_Offset_To_Address
+ RE_Attach
+ RE_Base_Pool
+ RE_Detach
+
+ * sem_ch3.adb (Access_Type_Declaration): Replace the call to
+ Set_Associated_Collection with Set_Finalization_Master.
+ * sem_ch6.adb (Create_Extra_Formals): Update the way extra formal
+ BIP_Finalization_Master is created.
+ * s-finmas.adb: New unit System.Finalization_Masters.
+ * s-finmas.ads: New unit System.Finalization_Masters.
+ * s-stopoo.ads, s-stopoo.adb: Minor code reformatting.
+ * s-stposu.ads, s-stposu.adb: New unit implementing
+ System.Storage_Pools.Subpools.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * tbuild.adb: Add assertion.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * s-pooglo.adb: Minor reformatting.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch5.adb (Expand_N_Assignment_Statement): if the left-hand side is
+ an indexed component of a packed array whose element type is a record
+ with a representation clause different from that of the right-hand
+ side, generate a temporary to minimuze the number of bit-field
+ operations generated.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_util.adb (Insert_Actions): Use clauses can be part of lists of
+ declarations, and thus are likely insertion points for actions.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * einfo.ads: Minor comment fix.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * frontend.adb, gnat1drv.adb: Minor reformatting.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * s-pooglo.adb (Allocate, Deallocate): Take into account the alignment.
+ * a-fihema.adb (Allocate, Deallocate): Ditto. Possibly add padding
+ space in front of the header.
+
+2011-08-29 Johannes Kanig <kanig@adacore.com>
+
+ * frontend.adb (Frontend): Exit after creating Standard package when
+ -gnatd.H is present.
+ * gnat1drv.adb (Gnat1drv): Call Backend right away when -gnatd.H is
+ present.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch9.adb, mlib-prj.adb, prj.adb, prj.ads, ttypes.ads, sem_ch4.adb,
+ makeutl.adb, makeutl.ads, atree.ads, snames.adb-tmpl,
+ snames.ads-tmpl: Minor reformatting.
+
+2011-08-29 Philippe Gil <gil@adacore.com>
+
+ * prj.adb (Reset_Units_In_Table): New procedure.
+ Reset units to avoid access to freed memory.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * get_scos.adb: When reading a P statement SCO without a pragma name
+ (from an older ALI file), ensure that the Pragma_Name component is set
+ to Unknown_Pragma (not left uninitialized).
+
+2011-08-29 Vincent Celier <celier@adacore.com>
+
+ * makeutl.adb (Get_Directories): New procedure moved from Buildgpr and
+ modified to compute correctly the object path of a SAL project that is
+ extending another library project.
+ (Write_Path_File): New procedure.
+ * makeutl.ads (Directories): New table moved from Buildgpr
+ (Get_Directories): New procedure moved from Buildgpr
+ (Write_Path_File): New procedure
+ * mlib-prj.adb (Build_Library): Use Makeutl.Get_Directories to set the
+ paths before binding SALs, instead of Set_Ada_Paths.
+ * prj-env.adb (Set_Path_File_Var): Procedure has been moved to package
+ Prj.
+ * prj.adb (Set_Path_File_Var): New procedure moved from Prj.Env
+ (Current_Source_Path_File_Of): New function
+ (Set_Current_Object_Path_File_Of): New procedure
+ (Current_Source_Object_File_Of): New function
+ (Set_Current_Object_Path_File_Of): New procedure
+ * prj.ads (Set_Path_File_Var): New procedure moved from Prj.Env
+ (Current_Source_Path_File_Of): New function
+ (Set_Current_Object_Path_File_Of): New procedure
+ (Current_Source_Object_File_Of): New function
+ (Set_Current_Object_Path_File_Of): New procedure
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch5.adb (Expand_N_Assignment_Statement): For an assignment to a
+ packed entity, use a bit-field assignment only if there is no change of
+ representation.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * rtsfind.ads, exp_ch3.adb (In_Runtime): Minor code improvement, use
+ Is_RTU instead of using Chars comparisons.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * exp_strm.adb (Build_Mutable_Record_Read_Procedure): Do not create a
+ temporary object if the actual is constrained, and the discriminants
+ read from the stream don't match.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * sem_attr.adb, exp_attr.adb: Add handling of
+ Attribute_System_Allocator_Alignment
+ * snames.ads-tmpl: Add Name_System_Allocator_Alignment and
+ Attribute_System_Allocator_Alignment.
+ * ttypes.ads, get_targ.ads: Add Get_System_Allocator_Alignment.
+ * gcc-interface/targtyps.c, gcc-interface/utils2.c,
+ gcc-interface/gigi.h: Renames get_target_default_allocator_alignment to
+ get_target_system_allocator_alignment.
+
+2011-08-29 Arnaud Charlet <charlet@adacore.com>
+
+ * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update
+ dependencies.
+
+2011-08-29 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch3.adb (In_Runtime): Fix typo.
+
+2011-08-29 Bob Duff <duff@adacore.com>
+
+ * sem_ch4.adb (Analyze_Allocator): Analyze the subpool specification.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch3.adb (Expand_N_Object_Declaration): If the entity is tagged
+ and a separate tag assignment is generated, ensure that the tag
+ assignment is analyzed.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * atree.ads, atree.adb (Copy_Separate_List): New function that applies
+ Copy_Separate_Tree to a list of nodes. Used to create disjoint copies
+ of statement lists that may contain local declarations.
+ * exp_ch9.adb (Expand_N_Timed_Entry_Call): Use Copy_Separate_List to
+ duplicate the triggering statements needed for the expansion of this
+ construct, when the trigger is a dispatching call to a synchronized
+ primitive.
+
+2011-08-29 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat_rm.texi: Add doc for 'Elab_Subp_Body.
+ * bindgen.adb: Add comments.
+ * snames.adb-tmpl (Is_Attribute_Name): Only recognize 'Elab_Subp_Body
+ in CodePeer mode.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * exp_attr.adb: Minor reformatting.
+ Minor code reorganization and commenting.
+ * par_sco.adb, checks.adb, sem_attr.adb, get_scos.adb: Minor
+ reformatting.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * get_scos.adb: Ignore chaining indicators not currently supported
+ by Ada.
+
+2011-08-29 Arnaud Charlet <charlet@adacore.com>
+
+ * system.ads: Minor editing.
+
+2011-08-29 Arnaud Charlet <charlet@adacore.com>
+
+ * bindgen.adb (Gen_Elab_Calls): Generate calls to subp'Elab_Subp_Body in
+ CodePeer mode.
+ * sem_attr.ads, sem_attr.adb, exp_Attr.adb, sem_ch6.adb: Add handling of
+ Attribute_Elab_Subp_Body.
+ * snames.ads-tmpl (Attribute_Elab_Subp_Body, Name_Elab_Subp_Body): New.
+ * sem_util.adb: Update comments.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * par_sco.adb, scos.adb, scos.ads, put_scos.adb, get_scos.adb: Record
+ pragma name for each SCO statement corresponding to a pragma.
+
+2011-08-29 Arnaud Charlet <charlet@adacore.com>
+
+ * opt.ads: Minor editing.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * gnat1drv.adb (Adjust_Global_Switches): Remove options for ALFA mode
+ that only made sense for CodePeer mode.
+
+2011-08-29 Jose Ruiz <ruiz@adacore.com>
+
+ * targparm.ads (Support_64_Bit_Divides_On_Target): Remove this flag
+ which is no longer used.
+ * targparm.adb (S64, S64_Str, Get_Target_Parameters): Remove the
+ handling of the 64-bit division check.
+ * exp_ch4.adb (Expand_N_Op_Divide): Remove the check for 64-bit
+ division available.
+ * system*.ads (Support_64_Bit_Divides): Remove this flag which is no
+ longer used.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * get_scos.adb: Minor reformatting.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_util.adb (Process_Statements_For_Controlled_Objects): Whenever a
+ statement list is wrapped in a block, the block is explicitly analyzed
+ in order to properly redecorate the entities and create a servicing
+ finalizer.
+
+2011-08-29 Tristan Gingold <gingold@adacore.com>
+
+ * sinfo.ads, sinfo.adb (Zero_Cost_Handling): Remove.
+ (Set_Zero_Cost_Handling): Remove.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * par_sco.adb, scos.ads, put_scos.adb, get_scos.adb: Minor reformatting
+
+2011-08-29 Geert Bosch <bosch@adacore.com>
+
+ * s-vaflop-vms-alpha.adb (Neg_F): Use subtraction instead of negation
+ instruction, as the latter may produce -0.0, which is not a valid VAX
+ F float number.
+ (Neg_G): Likewise for VAX F float.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * exp_util.adb: Minor reformatting.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * sem_ch3.adb: Minor comment update.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * checks.adb (Apply_Type_Conversion_Checks): Use the Underlying_Type of
+ the operand type.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * par_sco.adb (Traverse_Declarations_Or_Statements): Do not flush
+ current statement sequence on a generic instantiation or a subprogram
+ declaration.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * sem_type.adb, einfo.ads, freeze.adb, exp_ch4.adb, sem_ch13.adb:
+ Minor reformatting.
+
+2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_util.adb (Requires_Cleanup_Actions (List_Id, Boolean, Boolean)):
+ Correct the check which involves the freeze node of a controlled or
+ access-to-controlled type.
+
+2011-08-29 Geert Bosch <bosch@adacore.com>
+
+ * sem_warn.adb (Check_Code_Statement): Remove check for consecutive Asm
+ statements.
+ * s-vaflop-vms-alpha.adb: Remove bogus Volatile => True arguments from
+ Asm statements.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * sem_ch3.adb (Array_Type_Declaration): Insert a subtype declaration
+ for every index type and component type that is not a subtype_mark.
+ (Process_Subtype): Set Etype of subtype.
+
+2011-08-29 Robert Dewar <dewar@adacore.com>
+
+ * a-cbmutr.adb, a-cimutr.adb, a-comutr.adb, prj-nmsc.adb: Minor code
+ reorganization. Minor reformatting.
+
+2011-08-29 Steve Baird <baird@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Op_Expon): Suppress N_Op_Expon node expansion
+ for CodePeer and ALFA modes.
+
+2011-08-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_type.adb (Collect_Interps): Within an instance, collect a homonym
+ that comes from an enclosing scope if it is not the renaming of an
+ actual, to handle properly a spurious ambiguity in an instance.
+
+2011-08-29 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch13.adb (Alignment_Check_For_Esize_Change): Rename to...
+ (Alignment_Check_For_Size_Change): ...this. Add SIZE parameter and
+ use it instead of the Esize of the first parameter.
+ (Analyze_Attribute_Definition_Clause) <Object_Size>: Adjust call to
+ above change.
+ <Size>: Likewise. Call it for composite types on the RM size.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Op_Not): Do not expand not on array.
+ * sem_util.adb (Unique_Name): Correct behaviour for names of
+ compilation units.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * sem_prag.adb (Check_Precondition_Postcondition): In formal
+ verification mode, analyze pragma expression for correctness, for
+ pre/post on library-level subprogram, as it is not expanded later.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * exp_aggr.adb (Expand_Array_Aggregate): Do not expand array aggregates
+ in formal verification.
+
+2011-08-29 Thomas Quinot <quinot@adacore.com>
+
+ * sem_util.adb: Minor reformatting.
+ * freeze.adb, sem_ch13.adb: Fix comment: Bit_Order is an attribute,
+ there's no pragma.
+ * par_sco.ads, par_sco.adb: Update comments.
+
+2011-08-29 Yannick Moy <moy@adacore.com>
+
+ * einfo.adb, einfo.ads: Remove flag Is_Postcondition_Proc and
+ associated getter/setter.
+ * sem_ch6.adb: Remove reference to Is_Postcondition_Proc.
+
+2011-08-29 Vincent Celier <celier@adacore.com>
+
+ * prj-attr.adb: New Compiler attribute Dependency_Kind and Language_Kind
+ * prj-conf.adb: Add_Default_GNAT_Naming_Scheme: Add a package Compiler
+ with declarations for Language_Kind and Dependency_Kind for Ada.
+ * prj-nmsc.adb (Check_Unit_Name): New name of procedure Check_Ada_Name
+ (Process_Compiler): Take into account the new attributes Dependency_Kind
+ and Language_Kind.
+ (Check_Configuration): Check if language kind is unit based, not if the
+ language name is Ada.
+ (Process_Exceptions_Unit_Based): Ditto
+ (Add_Language): Remove default additions of language and dependency kind
+ * prj.ads: Minor comment change
+ * snames.ads-tmpl: New standard names Dependency_Kind and Language_Kind
+
+2011-08-29 Johannes Kanig <kanig@adacore.com>
+
+ * debug.adb: Update comments.
+
+2011-08-24 Joseph Myers <joseph@codesourcery.com>
+
+ * gcc-interface/Make-lang.in (CFLAGS-ada/tracebak.o)
+ (CFLAGS-ada/targext.o, CFLAGS-ada/cio.o, CFLAGS-ada/init.o)
+ (CFLAGS-ada/initialize.o, CFLAGS-ada/raise.o): New.
+ (ada/tracebak.o, ada/targext.o, ada/cio.o, ada/init.o)
+ (ada/initialize.o, ada/raise.o): Remove explicit compilation rules.
+
+2011-08-22 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * gcc-interface/Makefile.in (PICFLAG_FOR_TARGET): New.
+ (GNATLIBCFLAGS_FOR_C): Replace
+ TARGET_LIBGCC2_CFLAGS by PICFLAG_FOR_TARGET.
+ (gnatlib-shared-default, gnatlib-shared-dual-win32)
+ (gnatlib-shared-win32, gnatlib-shared-darwin, gnatlib-shared)
+ (gnatlib-sjlj, gnatlib-zcx): Likewise.
+
+2011-08-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/Makefile.in (raise-gcc.o): Fix previous change.
+
+ * gcc-interface/gigi.h (enumerate_modes): Fix formatting.
+
+ * gcc-interface/trans.c (Subprogram_Body_to_gnu): Revert latest change.
+
+2011-08-05 Nicolas Roche <roche@adacore.com>
+
+ * gcc-interface/Makefile.in: Don't use directly ../xgcc to build shared
+ libgnat. Use rather the value of GCC_FOR_TARGET. Fix issue with
+ canadian cross.
+ * gcc-interface/Make-lang.in: Add support for canadian cross setting.
+
+2011-08-05 Matthew Heaney <heaney@adacore.com>
+
+ * a-comutr.adb, a-cimutr.adb, a-cbmutr.adb (Child_Count, Child_Depth):
+ subprogram bodies declared out-of-order.
+
+2011-08-05 Yannick Moy <moy@adacore.com>
+
+ * sem_util.adb (Unique_Name): only prefix with "standard" the names of
+ entities directly in package Standard, otherwise skip the standard
+ prefix.
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * a-cbmutr.adb: Minor reformatting
+ (Allocate_Node): refactor node allocation algorithm
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * opt.ads, opt.adb (Debug_Pragmas_Disabled): New switch.
+ * sem_prag.adb (Analyze_Pragma, case Debug_Policy): Implement Disable
+ mode.
+ (Analyze_Pragma, case Check_Policy): Ditto.
+ * sem_prag.ads (Check_Disabled): New function
+ * snames.ads-tmpl: Add Name_Disable.
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * gnat_rm.texi: Document implementation-defined policy DISABLE for
+ pragmas Assertion_Policy, Check_Policy, Debug_Policy.
+
+2011-08-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma, case Inline): reject an Inline pragma
+ that appears in a generic formal part and applies to a formal
+ subprogram.
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * a-cbmutr.ads: Minor reformatting.
+
+2011-08-05 Matthew Heaney <heaney@adacore.com>
+
+ * a-comutr.adb, a-cimutr.adb, a-cbmutr.adb (Read): do not use T'Valid
+ to check count, check sign of value instead.
+ * a-comutr.adb, a-cimutr.adb (Write): return immediately if tree empty
+ (Copy_Subtree): allocate copy of source element
+ (Equal_Subtree): compare elements, not access objects
+
+2011-08-05 Vincent Celier <celier@adacore.com>
+
+ * gnat_ugn.texi: Fix VMS alternative.
+
+2011-08-05 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch11.adb: Add comment.
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * exp_util.adb: Minor comment fix.
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * scng.adb (Error_Unterminated_String): Improve flag position when
+ comma present.
+
+2011-08-05 Matthew Heaney <heaney@adacore.com>
+
+ * Makefile.rtl, impunit.adb: Added a-cbmutr.ad[sb] (bounded multiway
+ tree containers).
+ * a-cbmutr.ads, a-cbmutr.adb: This is the new Ada 2012 unit for bounded
+ multiway tree containers.
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * styleg.adb (Check_Comment): Implement comment spacing of 1 or 2
+ * stylesw.adb: Implement -gnatyC to control comment spacing
+ * stylesw.ads (Style_Check_Comments_Spacing): New switch (set by
+ -gnatyc/C).
+ * usage.adb: Add line for -gnatyC.
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * gnat_ugn.texi: Document -gnatyC.
+ * vms_data.ads: Implement COMMENTS1/COMMENTS2 (retaining COMMENTS as a
+ synonym for COMMENTS2).
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * par_sco.adb, sem_ch3.adb, scos.ads, a-iteint.ads, sem_ch12.adb,
+ a-cimutr.adb, a-cimutr.ads, sem_util.ads, sem_res.adb, a-fihema.adb,
+ sem_ch4.adb, lib-xref-alfa.adb, exp_disp.adb, a-comutr.adb,
+ a-comutr.ads, lib-xref.adb: Minor reformatting.
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch11.adb (Analyze_Raise_Statement): Kill assignment to formal
+ warning if there is an exception handler present.
+
+2011-08-05 Pascal Obry <obry@adacore.com>
+
+ * a-iteint.ads: Fix copyright year.
+
+2011-08-05 Thomas Quinot <quinot@adacore.com>
+
+ * par_sco.adb (Traverse_Declarations_Or_Statements): Do not generate a
+ statement SCO for a USE clause or a representation clause.
+
+2011-08-05 Yannick Moy <moy@adacore.com>
+
+ * lib-xref-alfa.adb (Collect_ALFA): generate the proper relation
+ between body and spec for stub.
+ (Detect_And_Add_ALFA_Scope): take into account subprogram stub
+ * lib-xref.adb (Enclosing_Subprogram_Or_Package): in the case of a
+ pragma precondition or postcondition, for which the enclosing
+ subprogram or package in the AST is not the desired one, return empty.
+
+2011-08-05 Thomas Quinot <quinot@adacore.com>
+
+ * g-expect.adb: Minor reformatting.
+
+2011-08-05 Bob Duff <duff@adacore.com>
+
+ * a-fihema.adb: Comment out OS_Lib.
+
+2011-08-05 Matthew Heaney <heaney@adacore.com>
+
+ * Makefile.rtl, impunit.adb: Added a-c[oi]mutr.ad[sb]
+ (unbounded multiway tree containers) and a-iteint.ads.
+ * a-comutr.ads, a-comutr.adb:
+ This is the new Ada 2012 unit for unbounded multiway tree containers
+ * a-cimutr.ads, a-cimutr.adb
+ This is the new Ada 2012 unit for indefinite multiway tree containers
+ * a-iteint.ads: New file.
+
+2011-08-05 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * gcc-interface/Makefile.in (raise-gcc.o): Search $(srcdir)/../libgcc.
+
+2011-08-05 Bob Duff <duff@adacore.com>
+
+ * sinfo.ads, sinfo.adb (Subpool_Handle_Name): New attribute for
+ subpools.
+ * par-ch4.adb (P_Allocator): Parse new subpool specification syntax.
+
+2011-08-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch4.adb (Try_Container_Indexing): New procedure to implement the
+ general indexing aspects of Ada2012. Called when analyzing indexed
+ components when other interpretations fail.
+ * sem_ch8.adb (Find_Direct_Name): check for implicit dereference only
+ in an expression context where overloading is meaningful. This excludes
+ the occurrence in an aspect specification (efficiency only).
+ * sem_attr.adb (Analyze_Attribute): indicate that the attributes
+ related to iterators can be set by an attribute specification, but
+ cannot be queried.
+ * sem_ch13.adb (Analyze_Aspect_Specifications): handle
+ Constant_Indexing and Variable_Indexing.
+ (Check_Indexing_Functions): New procedure to perform legality checks.
+ Additional semantic checks at end of declarations.
+
+2011-08-05 Sergey Rybin <rybin@adacore.com>
+
+ * tree_io.ads: Update ASIS_Version_Number because of the change of the
+ order of calling Tree_Write/Tree_Read routines made for aspects.
+
+2011-08-05 Bob Duff <duff@adacore.com>
+
+ * a-fihema.adb (Finalize): Fix race condition.
+
+2011-08-05 Yannick Moy <moy@adacore.com>
+
+ * sem_ch12.adb (Analyze_Package_Instantiation,
+ Need_Subprogram_Instance_Body): do not generate instance bodies in ALFA
+ mode.
+
+2011-08-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_type.adb (Specific_Type): in an instance, the type-specific
+ operand of an equality check that involves null may have a private
+ type. Use full view to determine legality of construct.
+
+2011-08-05 Vincent Celier <celier@adacore.com>
+
+ * gnatcmd.adb (Get_Closure): Do not crash when it is not possible to
+ delete or close the file when the call to gnatmake was successful.
+
+2011-08-05 Yannick Moy <moy@adacore.com>
+
+ * gnat1drv.adb (Adjust_Global_Switches): in ALFA mode, set
+ Global_Discard_Names.
+
+2011-08-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sinfo.ads: comments on use of entity field for aspect specifications.
+
+2011-08-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch12.adb (Reset_Entity): If the entity field of the associated
+ node is not itself an entity but a selected component, it is a
+ rewritten parameterless call to an en enclosing synchronized operation,
+ and this expansion will be performed again in the instance, so there is
+ no global information to preserve.
+
+2011-08-05 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Set_All_DT_Position): Cleanup code and improve support
+ for renamings of predefined primitives.
+ (In_Predef_Prims_DT): New subprogram.
+
+2011-08-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_util.adb, sem_util.ads (Check_Implicit_Dereference): If a
+ possible interpretation of name is a reference type, add an
+ interpretation that is the designated type of the reference
+ discriminant of that type.
+ * sem_res.adb (resolve): If the interpretation imposed by context is an
+ implicit dereference, rewrite the node as the deference of the
+ reference discriminant.
+ * sem_ch3.adb (Analyze_Subtype_Declaration, Build_Derived_Record_Type,
+ Build_Discriminated_Subtype): Inherit Has_Implicit_Dereference from
+ parent type or base type.
+ * sem_ch4.adb (Process_Indexed_Component,
+ Process_Overloaded_Indexed_Component, Indicate_Name_And_Type,
+ Analyze_Overloaded_Selected_Component, Analyze_Selected_Component):
+ Check for implicit dereference.
+ (List_Operand_Interps): Indicate when an implicit dereference is
+ ambiguous.
+ * sem_ch8.adb (Find_Direct_Name): Check for implicit dereference.
+
+2011-08-05 Thomas Quinot <quinot@adacore.com>
+
+ * scos.ads: Update documentation of SCO table. Pragma statements can now
+ be marked as disabled (using 'p' instead of 'P' as the statement kind).
+ * par_sco.ads, par_sco.adb: Implement the above change.
+ (Process_Decisions_Defer): Generate a P decision for the first parameter
+ of a dyadic pragma Debug.
+ * sem_prag.adb (Analyze_Pragma, case Debug): Mark pragma as enabled if
+ necessary.
+ * put_scos.adb: Code simplification based on above change.
+
+2011-08-05 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch3.adb, gnatcmd.adb, switch-c.adb, exp_attr.adb, make.adb,
+ bindgen.adb, einfo.adb, sem_ch12.adb, sem_attr.adb, a-fihema.adb,
+ a-fihema.ads, sem_elab.adb, sem_elab.ads, aspects.adb, opt.ads,
+ prj-conf.adb, sem_ch13.adb, s-ficobl.ads: Minor reformatting
+
+2011-08-05 Bob Duff <duff@adacore.com>
+
+ * a-stunau.ads, g-spipat.adb: Update comments.
+
+2011-08-05 Bob Duff <duff@adacore.com>
+
+ * a-fihema.ads: Minor comment fix.
+ * a-fihema.adb (Allocate, Deallocate): Assert that the alignment is
+ correct.
+ (Attach, Detach): Remove some unnecessary code.
+ (Finalize): Remove Node_Ptr_To_Address, replace with a constant.
+
2011-08-05 Bob Duff <duff@adacore.com>
* a-fihema.ads, a-fihema.adb (Finalization_Collection): Avoid heap
2011-08-05 Steve Baird <baird@adacore.com>
* bindgen.adb (Gen_CodePeer_Wrapper): Call Ada_Main_Program instead
- of calling the user-defined main subprogram.
+ of calling the user-defined main subprogram.
(Gen_Main): Declare Ada_Main_Program and (if CodePeer_Mode
is set) Call_Main_Subprogram ahead of, as opposed to
inside of, Main.
2011-08-04 Nicolas Roche <roche@adacore.com>
* env.c (__gnat_clearenv): Avoid use of dynamic size array in order to
- remove need for GCC exceptions.
+ remove need for GCC exceptions.
2011-08-04 Vincent Celier <celier@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_entity): Do not set Esize if it
is not known.
<E_Record_Type>: Look at the RM size instead of the Esize. Remove
- obsolete block.
+ obsolete block.
Look at the RM size instead of the Esize for types if the latter is
not known.
(gnat_to_gnu_field): Use Known_Esize instead of Known_Static_Esize.
Gen_Adafinal_Ada.
(Gen_Output_File_C): Generate __attribute__((destructor)) for Ada_Final
if -a is specified. Call Gen_Elab_Externals_C. Remove useless couple
- of external declarations. Call Gen_Finalize_Library_C.
+ of external declarations. Call Gen_Finalize_Library_C.
2011-08-04 Emmanuel Briot <briot@adacore.com>
System.Finalization_Implementation are no longer a GNAT unit.
Update the range of type Ada_Finalization_Child. Remove the following
recoverable entities:
-
+
RE_Attach_To_Final_List
RE_Deep_Tag_Attach
RE_Finalize_List
RE_Move_Final_List
RE_Record_Controller
RE_Simple_List_Controller
-
+
Add the following recoverable entities:
-
+
RE_Add_Offset_To_Address
RE_Allocate
RE_Base_Pool
(Coextensions): Removed along with its pragma Inline.
(Set_Coextensions): Removed along with its pragma Inline.
* snames.ads-tmpl: Remove names
-
+
Name_uClean
Name_uController
Name_uFinal_List
Name_Finalization_Root
Name_Next
Name_Prev
-
+
Add names
-
+
Name_uFinalizer
Name_Finalize_Address
* s-pooglo.adb (Allocate): Add overriding indicator.
2011-08-03 Emmanuel Briot <briot@adacore.com>
- * prj-pp.adb (Pretty_Print): remove trailing blank line in the file
+ * prj-pp.adb (Pretty_Print): Remove trailing blank line.
2011-08-03 Javier Miranda <miranda@adacore.com>
2011-08-03 Yannick Moy <moy@adacore.com>
- * sem_res.adb
- (Resolve_Op_Concat_Arg): do not issue a SPARK violation when argument of
- concatenation is the name of a constant
+ * sem_res.adb (Resolve_Op_Concat_Arg): Do not issue a SPARK
+ violation when the argument of concatenation is the name of a
+ constant.
2011-08-03 Emmanuel Briot <briot@adacore.com>
2011-08-03 Yannick Moy <moy@adacore.com>
- * alfa.ads Update format of ALFA section in ALI file in order to add a
- mapping from bodies to specs when both are present
- (ALFA_Scope_Record): add components for spec file/scope
- * get_alfa.adb (Get_ALFA): read the new file/scope for spec when present
- * lib-xref-alfa.adb
- (Collect_ALFA): after all scopes have been collected, fill in the spec
- information when relevant
- * put_alfa.adb (Put_ALFA): write the new file/scope for spec when
+ * alfa.ads: Update format of ALFA section in ALI file in order to
+ add a mapping from bodies to specs when both are present.
+ (ALFA_Scope_Record): Add components for spec file/scope.
+ * get_alfa.adb (Get_ALFA): Read the new file/scope for spec when
+ present.
+ * lib-xref-alfa.adb (Collect_ALFA): After all scopes have been
+ collected, fill in the spec information when relevant.
+ * put_alfa.adb (Put_ALFA): Write the new file/scope for spec when
present.
2011-08-03 Eric Botcazou <ebotcazou@adacore.com>
* inline.adb (Add_Inlined_Subprogram): Do not consider the enclosing
code unit to decide whether to add internally generated subprograms.
-
+
2011-08-03 Javier Miranda <miranda@adacore.com>
* sem_aux.ads, sem_aux.adb (Is_VM_By_Copy_Actual): New subprogram.
- * exp_ch9.adb
- (Build_Simple_Entry_Call): Handle actuals that must be handled by copy
- in VM targets.
+ * exp_ch9.adb (Build_Simple_Entry_Call): Handle actuals that must
+ be handled by copy in VM targets.
2011-08-03 Emmanuel Briot <briot@adacore.com>
- * make.adb, makeutl.adb, makeutl.ads (Make.Switches_Of): now shares
+ * make.adb, makeutl.adb, makeutl.ads (Make.Switches_Of): Share
code with Makeutl.Get_Switches.
* prj-tree.adb: Update comment.
* sem_util.ads, sem_util.adb, par.adb, par_util.adb
(Formal_Error_Msg, Formal_Error_Msg_N, Formal_Error_Msg_SP): move
procedures out of these packages.
- * errout.ads, errout.adb
+ * errout.ads, errout.adb
(Formal_Error_Msg, Formal_Error_Msg_N, Formal_Error_Msg_SP): move
procedures in of this package
(Formal_Error_Msg_NE): new procedure for wrapper on Error_Msg_NE
* debug.adb (d.D) reverve flag for the SPARK mode
(d.E) reverve flag for SPARK generation mode
(d.F) reverve flag for Why generation mode
- * opt.ads, opt.adb (ALFA_Mode, ALFA_Through_SPARK_Mode,
+ * opt.ads, opt.adb (ALFA_Mode, ALFA_Through_SPARK_Mode,
ALFA_Through_Why_Mode, Formal_Verification_Mode, SPARK_Mode): New
functions which return True when the corresponding modes are set
(Formal_Language): return "spark" or "alfa" when in formal verification
(pos_to_constructor): Likewise.
2011-05-03 Nathan Froyd <froydnj@codesourcery.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/trans.c (gigi): Call build_function_type_list instead
of build_function_type. Adjust calls to...
of incomplete types in this invocation.
2011-04-01 Olivier Hainque <hainque@adacore.com>
- Nicolas Setton <setton@adacore.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Nicolas Setton <setton@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/misc.c (gnat_descriptive_type): New function.
(LANG_HOOKS_DESCRIPTIVE_TYPE): Redefine to gnat_descriptive_type.
dependency.
2011-01-04 Pascal Obry <obry@adacore.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c: Disable Stdcall convention handling for 64-bit.
the CICO mechanism.
2011-01-04 Olivier Hainque <hainque@adacore.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/trans.c (BLOCK_SOURCE_END_LOCATION): Provide default.
(set_end_locus_from_node): New function.
* sem_util.ads, sem_util.adb, par.adb, par_util.adb
(Formal_Error_Msg, Formal_Error_Msg_N, Formal_Error_Msg_SP): move
procedures out of these packages.
- * errout.ads, errout.adb
+ * errout.ads, errout.adb
(Formal_Error_Msg, Formal_Error_Msg_N, Formal_Error_Msg_SP): move
procedures in of this package
(Formal_Error_Msg_NE): new procedure for wrapper on Error_Msg_NE
* debug.adb (d.D) reverve flag for the SPARK mode
(d.E) reverve flag for SPARK generation mode
(d.F) reverve flag for Why generation mode
- * opt.ads, opt.adb (ALFA_Mode, ALFA_Through_SPARK_Mode,
+ * opt.ads, opt.adb (ALFA_Mode, ALFA_Through_SPARK_Mode,
ALFA_Through_Why_Mode, Formal_Verification_Mode, SPARK_Mode): New
functions which return True when the corresponding modes are set
(Formal_Language): return "spark" or "alfa" when in formal verification
(pos_to_constructor): Likewise.
2011-05-03 Nathan Froyd <froydnj@codesourcery.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/trans.c (gigi): Call build_function_type_list instead
of build_function_type. Adjust calls to...
of incomplete types in this invocation.
2011-04-01 Olivier Hainque <hainque@adacore.com>
- Nicolas Setton <setton@adacore.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Nicolas Setton <setton@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/misc.c (gnat_descriptive_type): New function.
(LANG_HOOKS_DESCRIPTIVE_TYPE): Redefine to gnat_descriptive_type.
dependency.
2011-01-04 Pascal Obry <obry@adacore.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c: Disable Stdcall convention handling for 64-bit.
the CICO mechanism.
2011-01-04 Olivier Hainque <hainque@adacore.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/trans.c (BLOCK_SOURCE_END_LOCATION): Provide default.
(set_end_locus_from_node): New function.