OSDN Git Service

2010-06-22 Robert Dewar <dewar@adacore.com>
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
index 5615848..0dcdf46 100644 (file)
@@ -1,3 +1,735 @@
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_res.adb, sem_aux.adb, errout.adb: Minor reformatting.
+
+2010-06-22  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_res.adb: Additional special-case for VMS.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * gnatsym.adb: Minor comment fix.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * prj-nmsc.adb (Process_Naming_Scheme): Initialize table Lib_Data_Table.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * par-ch4.adb (P_Name): Recognize 'Mod attribute in Ada 95 mode
+       * sem_attr.adb (Attribute_05): Add Name_Mod so that 'Mod recognized in
+       Ada 95 mode as an implementation defined attribute.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * bindusg.adb (Display): Update line for -R
+       * switch-b.adb (Scan_Binder_Switches): Allow generation of the binder
+       generated files when -R is used.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * prj-nmsc.adb (Lib_Data_Table): New table.
+       (Check_Library_Attributes): Check if the same library name is used in
+       two different projects that do not extend each other.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * lib-writ.ads, errout.adb, einfo.adb, einfo.ads: Minor reformatting.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * adaint.c (__gnat_locate_regular_file): If a directory in the path is
+       empty, make it the current working directory.
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_ch3.adb (Build_Derived_Record_Type): When deriving a tagged
+       private type with discriminants, make sure the parent type is frozen.
+
+2010-06-22  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_attr.adb (Expand_N_Attribute_Reference) <Attribute_Bit>: Deal
+       with packed array references specially.
+       * exp_ch4.adb (Expand_N_Indexed_Component): Do not convert a reference
+       to a component of a bit packed array if it is the prefix of 'Bit.
+       * exp_pakd.ads (Expand_Packed_Bit_Reference): Declare.
+       * exp_pakd.adb (Expand_Packed_Bit_Reference): New procedure.  Expand a
+       'Bit reference, where the prefix involves a packed array reference.
+       (Get_Base_And_Bit_Offset): New helper, extracted from...
+       (Expand_Packed_Address_Reference): ...here.  Call above procedure to
+       get the outer object and offset expression.
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * exp_attr.adb, lib-writ.ads, bindgen.adb: Minor reformatting.
+       * einfo.adb (Related_Expression, Set_Related_Expression): Add
+       assertions.
+
+2010-06-22  Javier Miranda  <miranda@adacore.com>
+
+       * sem_ch3.adb (Add_Internal_Interface_Entities): Minor code
+       reorganization to properly check if the operation has been inherited as
+       an abstract operation.
+
+2010-06-22  Ed Falis  <falis@adacore.com>
+
+       * s-osinte-vxworks.ads: Complete previous change.
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_res.adb: Add comment.
+       * projects.texi, gnat_ugn.texi: Remove macro.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * prj-attr.adb: Remove project level attribute Main_Language.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * switch-b.adb, osint-b.adb: Minor reformatting.
+
+2010-06-22  Pascal Obry  <obry@adacore.com>
+
+       * g-socthi-mingw.adb (C_Sendmsg): Do not attempt to send data from a
+       vector if previous send was not fully successful. If only part of
+       the vector data was sent, we exit the loop.
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_res.adb (Make_Call_Into_Operator): Use First_Subtype for better
+       error reporting with generic types.
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * bindgen.adb, bindusg.adb, gnatbind.adb, gnat_ugn.texi, opt.ads,
+       osint-b.adb, osint-b.ads, output.adb, output.ads, switch-b.adb,
+       vms_data.ads: Add a new command line switch -A to gnatbind to output
+       the list of all ALI files for the partition.
+
+2010-06-22  Arnaud Charlet  <charlet@adacore.com>
+
+       * s-osinte-vxworks.ads: Fix casing.
+       * s-vxwext-kernel.ads, s-vxwext-rtp.ads: Complete previous
+       change: Interfaces.C does not provide a long_long type.
+
+2010-06-22  Emmanuel Briot  <briot@adacore.com>
+
+       * gnat_ugn.texi, projects.texi: Preprocess projects.texi for VMS and
+       native user's guide, since this document contains the two versions.
+       * gcc-interface/Make-lang.in: Update doc dependencies.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch3.adb: Minor reformatting.  Minor code reorganization.
+
+2010-06-22  Emmanuel Briot  <briot@adacore.com>
+
+       * gnat_ugn.texi, projects.texi: Remove toplevel menu, since we should
+       not build this file on its own (only through gnat_ugn.texi).
+       Remove macro definitions and insert simpler version in gnat_ugn.texi.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * ali-util.ads: Minor comment update.
+       * g-socthi-mingw.adb: Minor reformatting.
+
+2010-06-22  Ed Falis  <falis@adacore.com>
+
+       * s-osinte-vxworks.ads: take sigset_t definition from System.VxWorks.Ext
+       * s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads: Define sigset_t
+       for specific versions of VxWorks.
+
+2010-06-22  Emmanuel Briot  <briot@adacore.com>
+
+       * gnat_rm.texi, gnat_ugn.texi, projects.texi: Remove all project files
+       related sections from user's guide and reference manual, since they
+       have now been merged together into a separate document (projects.texi).
+       This removes a lot of duplication where attributes where described
+       in several places.
+       The grammar for the project files is now in each of the sections
+       (packages,expressions,...) instead of being duplicates in two other
+       sections (one in the user's guide that contained the full grammar,
+       and various sections in the rm that contained extracts of the same
+       grammar).
+       Added the full list of all supported attributes, since existing lists
+       were incomplete
+       Rename "associative array" into "indexed attribute"
+       Remove sections that were duplicates ("External References in
+       Project Files" and "External Values", and "Project Extensions"
+       for instance). The list of valid packages in project files is now in
+       a single place.
+
+2010-06-22  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch3.adb (Add_Internal_Interface_Entities): If
+       Find_Primitive_Covering_Interface does not find the operation, it may
+       be because of a name conflict between the inherited operation and a
+       local non-overloadable name. In that case look for the operation among
+       the primitive operations of the type. This search must succeed
+       regardless of visibility.
+
+2010-06-22  Pascal Obry  <obry@adacore.com>
+
+       * g-socthi-mingw.adb: Properly honor MSG_WAITALL in recvmsg.
+       (C_Recvmsg): Propely honor the MSG_WAITALL flag in Windows
+       recvmsg emulation.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch4.adb (Analyze_Conditional_Expression): Defend against
+       malformed tree.
+       * sprint.adb (Sprint_Node_Actual, case N_Conditional_Expression): Ditto.
+
+2010-06-22  Arnaud Charlet  <charlet@adacore.com>
+
+       * s-intman-vxworks.ads: Code clean up.
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_res.adb (Resolve_Slice): When the prefix is an explicit
+       dereference, construct actual subtype of designated object to generate
+       proper bounds checks.
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * ali-util.adb, ali-util.ads, gnatbind.adb (Read_ALI): Rename to
+       Read_Withed_ALIs, which is more descriptive.
+
+2010-06-22  Pascal Obry  <obry@adacore.com>
+
+       * g-sothco.ads: Minor reformatting.
+       * g-socthi-mingw.adb: Remove part of work on the C_Recvmsg and
+       C_Sendmsg implementation.
+       (C_Sendmsg): Do not use lock (not needed).
+       (C_Recvmsg): Likewise and also do not wait for incoming data.
+
+2010-06-22  Ed Schonberg  <schonberg@adacore.com>
+
+       * uintp.adb: Fix scope error in operator call.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * makeutl.adb (Executable_Prefix_Path): on VMS, return "/gnu/".
+       * prj-conf.adb (Get_Or_Create_Configuration_File): On VMS, if
+       autoconfiguration is needed, fail indicating that no config project
+       file can be found, as there is no autoconfiguration on VMS.
+
+2010-06-22  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_res.adb (Make_Call_Into_Operator): Diagnose an incorrect scope
+       for an operator in a functional notation, when operands are universal.
+
+2010-06-22  Arnaud Charlet  <charlet@adacore.com>
+
+       * gcc-interface/Make-lang.in: Update dependencies.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_aggr.adb (Resolve_Record_Aggregate): Do style check on component
+       name.
+       * sem_ch10.adb (Analyze_Subunit): Do style check on parent unit name.
+       * sem_ch8.adb (Find_Direct_Name): For non-overloadable entities, do
+       style check.
+       * sem_res.adb (Resolve_Entity_Name): Do style check for enumeration
+       literals.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * make.adb (Scan_Make_Arg): No longer pass -nostdlib to the compiler as
+       it has no effect. Always pass -nostdlib to gnatlink, even on VMS.
+
+2010-06-22  Pascal Obry  <obry@adacore.com>
+
+       * g-socthi-mingw.adb: Fix implementation of the vectored sockets on
+       Windows.
+       (C_Recvmsg): Make sure the routine is atomic. Also fully
+       fill vectors in the proper order.
+       (C_Sendmsg): Make sure the routine is atomic.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch8.adb: Update comment.
+       * sem_res.adb: Minor code reorganization (use Ekind_In).
+
+2010-06-22  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch8.adb (Add_Implicit_Operator): If the context of the expanded
+       name is a call, use the number of actuals to determine whether this is
+       a binary or unary operator, rather than relying on later information
+       to resolve the overload.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch10.adb, sem_aggr.adb: Minor reformatting.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch3.adb, sem_disp.adb: Minor code fixes.
+       * sem_eval.adb: Minor reformatting.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * make.adb (Scan_Make_Arg): When invoked with -nostdlib, pass -nostdlib
+       to gnatlink, except on Open VMS.
+       * osint.adb (Add_Default_Search_Dirs): Do not suppress the default
+       object directories if -nostdlib is used.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_util.adb (Is_Delegate): Put in proper alpha order.
+       * sem_eval.adb: Minor reformatting.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * g-expect-vms.adb, sem_res.adb: Minor reformatting.
+       * exp_aggr.adb: Minor comment changes and reformatting.
+       * sem_eval.adb (Find_Universal_Operator_Type): Put in proper alpha order
+       * sem_util.ads: Add some missing pragma Inline's (efficiency issue only)
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_util.adb (Build_Actual_Subtype): Record original expression in
+       Related_Expression attribute of the constructed subtype.
+       * einfo.adb, einfo.ads (Underlying_View): Move to Node28 to free up
+       Node24 on types for...
+       (Related_Expression): Make attribute available on types as well.
+
+2010-06-22  Gary Dismukes  <dismukes@adacore.com>
+
+       * exp_util.adb (Find_Interface_ADT): Retrieve Designated_Type instead of
+       Directly_Designated_Type when the type argument is an access type.
+       (Find_Interface_Tag): Retrieve Designated_Type instead of
+       Directly_Designated_Type when the type argument is an access type.
+       (Has_Controlled_Coextensions): Retrieve Designated_Type instead of
+       Directly_Designated_Type of each access discriminant.
+       * sem_res.adb (Resolve_Type_Conversion): Retrieve Designated_Type
+       instead of Directly_Designated_Type when the operand and target types
+       are access types.
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * exp_aggr.adb (Flatten): Return False if one choice is statically
+       known to be out of bounds.
+
+2010-06-22  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_res.adb (Resolve_Call): If the call is rewritten as an indexed of
+       a parameterless function call, preserve parentheses of original
+       expression, for proper handling by pretty printer.
+       * sem_attr.adb (Analyze_Attribute, case 'Old): Add guard to Process
+       procedure, to handle quietly identifiers that have no entity names.
+       * exp_util.adb (Get_Current_Value_Condition): If the parent of an
+       elsif_part is missing, it has been rewritten as a nested if, and there
+       is no useful information on the current value of the variable.
+
+2010-06-22  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_ch3.adb (Build_Discriminal): Set default scopes for newly created
+       discriminals to the current scope.
+       * sem_util.adb (Find_Body_Discriminal): Remove setting of discriminal's
+       scope, which could overwrite a different already set value.
+
+2010-06-22  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_res.adb (Valid_Conversion): If expression is a predefined
+       operator, use sloc of type of interpretation to improve error message
+       when operand is of some derived type.
+       * sem_eval.adb (Is_Mixed_Mode_Operand): New function, use it.
+
+2010-06-22  Emmanuel Briot  <briot@adacore.com>
+
+       * g-expect-vms.adb (Expect_Internal): No longer raises an exception, so
+       that it can set out parameters as well. When a process has died, reset
+       its Input_Fd to Invalid_Fd, so that when using multiple processes we
+       can find out which process has died.
+
+2010-06-22  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_eval.adb (Find_Universal_Operator_Type): New
+       subprogram to identify the operand type of an operator on universal
+       operands, when an explicit scope indication is present. Diagnose the
+       case where such a call is ambiguous.
+       (Eval_Arithmetic_Op, Eval_Relational_Op, Eval_Unary_Op):
+       Use the above to identify the operand type so it can be properly frozen.
+       * sem_res.adb (Make_Call_Into_Operator): Remove bogus freeze of operand
+       type, done in an arbitrary, possibly incorrect type (the presence of
+       some numeric type in the scope is checked for legality, but when more
+       than one such type is in the scope, we just pick a random one, not
+       necessarily the expected one).
+       * sem_utils.ads, sem_utils.adb (Is_Universal_Numeric_Type): New utility
+       subprogram.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_eval.adb: Minor reformatting.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch4.adb (Expand_N_Conditional_Expression): Use
+       Expression_With_Actions to clean up the code generated when folding
+       constant expressions.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * g-expect-vms.adb: Add new subprograms Free, First_Dead_Process and
+       Has_Process.
+
+2010-06-22  Vincent Celier  <celier@adacore.com>
+
+       * prj-nmsc.adb (Find_Sources): When a source from a multi-unit file is
+       found, check if it's path has aready been found, whatever its index.
+
+2010-06-22  Robert Dewar  <dewar@adacore.com>
+
+       * atree.adb, gnatbind.adb: Minor reformatting.
+       Minor code reorganization.
+
+2010-06-21  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch4.adb (Expand_N_Conditional_Expression): Fold if condition
+       known at compile time.
+
+2010-06-21  Gary Dismukes  <dismukes@adacore.com>
+
+       * atree.adb: Fix comment typo.
+
+2010-06-21  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_eval.adb (Test_Ambiguous_Operator): New procedure to check
+       whether a universal arithmetic expression in a conversion, which is
+       rewritten from a function call with an expanded name, is ambiguous.
+
+2010-06-21  Vincent Celier  <celier@adacore.com>
+
+       * prj-nmsc.adb (Name_Location): New Boolean component Listed, to record
+       source files in specified list of sources.
+       (Check_Package_Naming): Remove out parameters Bodies and Specs, as they
+       are never used.
+       (Add_Source): Set the Location of the new source
+       (Process_Exceptions_File_Based): Call Add_Source with the Location
+       (Get_Sources_From_File): If an exception is found, set its Listed to
+       True
+       (Find_Sources): When Source_Files is specified, if an exception is
+       found, set its Listed to True. Remove any exception that is not in a
+       specified list of sources.
+       * prj.ads (Source_Data): New component Location
+
+2010-06-21  Vincent Celier  <celier@adacore.com>
+
+       * gnatbind.adb (Closure_Sources): Global table, moved from block.
+
+2010-06-21  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_res.adb: Minor reformatting.
+       * atree.adb: New debugging hook "rr" for node rewrites.
+
+2010-06-21  Robert Dewar  <dewar@adacore.com>
+
+       * g-expect.ads, g-expect.adb: Minor reformatting.
+
+2010-06-21  Emmanuel Briot  <briot@adacore.com>
+
+       * s-regpat.adb (Next_Pointer_Bytes): New named constant. Code clean up.
+
+2010-06-21  Arnaud Charlet  <charlet@adacore.com>
+
+       * gcc-interface/Make-lang.in: Update dependencies.
+
+2010-06-21  Thomas Quinot  <quinot@adacore.com>
+
+       * bindgen.ads: Update comments.
+
+2010-06-21  Vincent Celier  <celier@adacore.com>
+
+       * gnatbind.adb: Suppress dupicates when listing the sources in the
+       closure (switch -R).
+
+2010-06-21  Emmanuel Briot  <briot@adacore.com>
+
+       * s-regpat.adb (Link_Tail): Fix error when size of the pattern matcher
+       is too small.
+
+2010-06-21  Emmanuel Briot  <briot@adacore.com>
+
+       * g-expect.adb, g-expect.ads (First_Dead_Process, Free, Has_Process):
+       New subprograms.
+       (Expect_Internal): No longer raises an exception, so that it can set
+       out parameters as well. When a process has died, reset its Input_Fd
+       to Invalid_Fd, so that when using multiple processes we can find out
+       which process has died.
+
+2010-06-21  Robert Dewar  <dewar@adacore.com>
+
+       * s-regpat.adb, s-tpoben.adb, sem_attr.adb, sem_util.adb, sem_util.ads,
+       checks.adb, sem_res.adb: Minor reformatting. Add comments.
+
+2010-06-21  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch6.adb (New_Overloaded_Entity): If the new entity is a
+       rederivation associated with a full declaration in a private part, and
+       there is a partial view that derives the same parent subprogram, the
+       new entity does not become visible. This check must be applied to
+       interface operations as well.
+
+2010-06-21  Thomas Quinot  <quinot@adacore.com>
+
+       * checks.adb: Add comments.
+       * prj-nmsc.adb: Minor reformatting.
+
+2010-06-21  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_ch9.adb, checks.adb, sem_util.adb, sem_util.ads, sem_res.adb,
+       sem_attr.adb (Get_E_First_Or_Last): Use attribute references on E to
+       extract bounds, to ensure that we get the proper captured values,
+       rather than an expression that may have changed value since the point
+       where the subtype was elaborated.
+       (Find_Body_Discriminal): New utility subprogram to share code between...
+       (Eval_Attribute): For the case of a subtype bound that references a
+       discriminant of the current concurrent type, insert appropriate
+       discriminal reference.
+       (Resolve_Entry.Actual_Index_Type.Actual_Discriminant_Ref): For a
+       requeue to an entry in a family in the current task, use corresponding
+       body discriminal. 
+       (Analyze_Accept_Statement): Rely on expansion of attribute references
+       to insert proper discriminal references in range check for entry in
+       family.
+
+2010-06-21  Emmanuel Briot  <briot@adacore.com>
+
+       * s-regpat.adb (Compile): Fix handling of big patterns.
+
+2010-06-21  Robert Dewar  <dewar@adacore.com>
+
+       * a-tifiio.adb: Minor reformatting.
+
+2010-06-21  Pascal Obry  <obry@adacore.com>
+
+       * prj-nmsc.adb (Search_Directories): Use the non-translated directory
+       path to open it.
+
+2010-06-21  Javier Miranda  <miranda@adacore.com>
+
+       * exp_cg.adb (Write_Call_Info): Fill the component sourcename using the
+       external name.
+
+2010-06-21  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch4.adb (Expand_Concatenate): If an object declaration is created
+       to hold the result, indicate that the target of the declaration does
+       not need an initialization, to prevent spurious errors when
+       Initialize_Scalars is enabled.
+
+2010-06-21  Ed Schonberg  <schonberg@adacore.com>
+
+       * a-tifiio.adb (Put): In the procedure that performs I/O on a String,
+       Fore is not bound by line length. The Fore parameter of the internal
+       procedure that performs the operation is an integer.
+
+2010-06-21  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_res.adb, checks.adb: Minor reformatting.
+
+2010-06-21  Emmanuel Briot  <briot@adacore.com>
+
+       * s-regpat.adb (Next_Instruction, Get_Next_Offset): Removed, merged
+       into Get_Next.
+       (Insert_Operator_Before): New subprogram, avoids duplicated code
+       (Compile): Avoid doing two compilations when the pattern matcher ends
+       up being small.
+
+2010-06-21  Emmanuel Briot  <briot@adacore.com>
+
+       * s-regpat.adb: Improve debug traces
+       (Dump): Change output format to keep it smaller.
+
+2010-06-21  Javier Miranda  <miranda@adacore.com>
+
+       * exp_cg.adb (Generate_CG_Output): Disable redirection of standard
+       output to the output file when this routine completes its work.
+
+2010-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/trans.c (Subprogram_Body_to_gnu): Use while instead of
+       for loop.  Call build_constructor_from_list directly in the CICO case.
+
+2010-06-18  Ed Schonberg  <schonberg@adacore.com>
+
+       * freeze.adb (Build_And_Analyze_Renamed_Body): If the renaming
+       declaration appears in the same unit and ealier than the renamed
+       entity, retain generated body to prevent order-of-elaboration issues in
+       gigi.
+
+2010-06-18  Arnaud Charlet  <charlet@adacore.com>
+
+       * s-tpoben.adb: Update comments.
+
+2010-06-18  Robert Dewar  <dewar@adacore.com>
+
+       * debug.adb: Minor comment change.
+
+2010-06-18  Javier Miranda  <miranda@adacore.com>
+
+       * exp_cg.adb: Code clean up.
+       * debug.adb: Complete documentation of switch -gnatd.Z.
+       * gcc-interface/misc.c (callgraph_info_file): Declare.
+
+2010-06-18  Javier Miranda  <miranda@adacore.com>
+
+       * exp_cg.adb (Homonym_Suffix_Length): Minor code reorganization.
+
+2010-06-18  Thomas Quinot  <quinot@adacore.com>
+
+       * sprint.ads: Minor reformatting.
+       * output.ads: Update obsolete comment.
+
+2010-06-18  Ed Schonberg  <schonberg@adacore.com>
+
+       * freeze.adb (Build_And_Analyze_Renamed_Body): if the renamed entity is
+       an external intrinsic operation (e.g. a GCC numeric function) indicate
+       that the renaming entity has the same characteristics, so a call to it
+       is properly expanded.
+
+2010-06-18  Javier Miranda  <miranda@adacore.com>
+
+       * exp_cg.adb, exp_cg.ads, exp_disp.adb, gnat1drv.adb: Add initial
+       support for dispatch table/callgraph info generation.
+       * gcc-interface/Make-lang.in: Update dependencies.
+
+2010-06-18  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch6.adb: Minor reformatting.
+       * gnatname.adb: Add comment.
+
+2010-06-18  Vincent Celier  <celier@adacore.com>
+
+       * gnatname.adb (Scan_Args): When --and is used, make sure that the
+       dynamic tables in the newly allocated Argument_Data are properly
+       initialized.
+
+2010-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat1drv.adb: Fix comment.
+
+2010-06-18  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch6.adb (Expand_Inlined_Call): If the inlined subprogram is a
+       renaming, re-expand the call with the renamed subprogram if that one
+       is marked inlined as well.
+
+2010-06-18  Gary Dismukes  <dismukes@adacore.com>
+
+       * gnat1drv.adb (Adjust_Global_Switches): Enable
+       Use_Expression_With_Actions for AAMP and VM targets.
+
+2010-06-18  Vincent Celier  <celier@adacore.com>
+
+       * prj-nmsc.adb (Process_Linker): Recognize response file format GCC.
+
+2010-06-18  Thomas Quinot  <quinot@adacore.com>
+
+       * exp_ch4.adb: Minor reformatting.
+
+2010-06-18  Javier Miranda  <miranda@adacore.com>
+
+       * debug.ads Add documentation on -gnatd.Z.
+
+2010-06-18  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_elim.adb: Proper error message on improperly eliminated instances
+
+2010-06-18  Vincent Celier  <celier@adacore.com>
+
+       * prj.ads (Response_File_Format): New value GCC.
+
+2010-06-18  Thomas Quinot  <quinot@adacore.com>
+
+       * gnat1drv.adb: Minor reformatting.
+
+2010-06-18  Robert Dewar  <dewar@adacore.com>
+
+       * make.adb, sem_cat.adb: Minor reformatting.
+       * sem_eval.adb: Fix typos.
+
+2010-06-18  Pascal Obry  <obry@adacore.com>
+
+       * prj-nmsc.adb: Fix source filenames casing in debug output.
+
+2010-06-18  Robert Dewar  <dewar@adacore.com>
+
+       * gnatcmd.adb: Minor reformatting.
+
+2010-06-18  Robert Dewar  <dewar@adacore.com>
+
+       * sem_eval.adb (Eval_Conditional_Expression): Result is static if
+       condition and both sub-expressions are static (and result is selected
+       expression).
+
+2010-06-18  Robert Dewar  <dewar@adacore.com>
+
+       * g-pehage.adb: Minor reformatting
+
+2010-06-18  Pascal Obry  <obry@adacore.com>
+
+       * prj-nmsc.adb (Search_Directories): Insert canonical filenames into
+       source hash table.
+
+2010-06-18  Arnaud Charlet  <charlet@adacore.com>
+
+       * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update
+       dependencies. Fix target pairs on darwin.
+       (gnatlib-sjlj, gnatlib-zcx): Pass THREAD_KIND.
+
+2010-06-18  Pascal Obry  <obry@adacore.com>
+
+       * make.adb, prj-nmsc.adb: Fix source filenames casing in debug output.
+
+2010-06-18  Vincent Celier  <celier@adacore.com>
+
+       * gnatcmd.adb: For gnatcheck, add -gnatec= switch for a global
+       configuration pragmas file and, if -U is not used, for a local one.
+
+2010-06-18  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_elim.adb (Check_Eliminated): Use full information on entity name
+       when it is given in the pragma by a selected component.
+       (Check_For_Eliminated_Subprogram): Do no emit error if within a
+       instance body that is itself within a generic unit.
+       * sem_ch12.adb (Analyze_Subprogram_Instance): If the subprogram is
+       eliminated, mark as well the anonymous subprogram that is its alias
+       and appears within the wrapper package.
+
+2010-06-18  Bob Duff  <duff@adacore.com>
+
+       * g-pehage.ads, g-pehage.adb (Produce): Clean up some of the code.
+       Raise an exception if the output file cannot be opened. Add comments.
+
+2010-06-18  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_cat.adb (Validate_Object_Declaration): A variable declaration is
+       not illegal per E.2.2(7) if it occurs in the private part of a
+       Remote_Types unit.
+
+2010-06-18  Arnaud Charlet  <charlet@adacore.com>
+
+       * par-ch9.adb, sem_aggr.adb, sem_ch3.adb, layout.adb, sem_ch4.adb,
+       sem_ch5.adb, sem_mech.adb, exp_util.adb, par-ch10.adb, sem_ch6.adb,
+       par-ch11.adb, sem_ch7.adb, par-prag.adb, exp_disp.adb, par-ch12.adb,
+       sem_ch8.adb, style.adb, sem_ch9.adb, sem_ch10.adb, prep.adb,
+       sem_warn.adb, par-util.adb, scng.adb, sem_eval.adb, checks.adb,
+       sem_prag.adb, sem_ch12.adb, styleg.adb, sem_ch13.adb, par-ch3.adb,
+       par-tchk.adb, freeze.adb, sfn_scan.adb, par-ch4.adb, sem_util.adb,
+       sem_res.adb, par-ch5.adb, lib-xref.adb, sem_attr.adb, par-ch6.adb,
+       sem_disp.adb, prepcomp.adb, par-ch7.adb, sem_elab.adb, exp_ch4.adb,
+       errout.ads: Update comments. Minor reformatting.
+
+       * g-spipat.adb, a-swunau.adb, a-swunau.ads, g-spitbo.adb,
+       a-szunau.adb, a-szunau.ads, a-stunau.adb, a-stunau.ads,
+       a-strunb.adb (Big_String. Big_String_Access): New type.
+
+       * par-labl.adb, restrict.adb, s-osinte-hpux-dce.ads, sem_ch11.adb,
+       exp_pakd.adb, s-filofl.ads, par-endh.adb, exp_intr.adb, sem_cat.adb,
+       sem_case.adb, exp_ch11.adb, s-osinte-linux.ads: Fix copyright notices.
+
 2010-06-18  Geert Bosch  <bosch@adacore.com>
 
        * i-forbla-darwin.adb: Include -lgnala and -lm in linker options for