OSDN Git Service

Mark ChangeLog
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
index 5f8a264..e6adda6 100644 (file)
@@ -1,3 +1,147 @@
+2012-03-22  Release Manager
+
+       * GCC 4.7.0 released.
+
+2012-02-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/decl.c (components_to_record): Add ARTIFICIAL parameter
+       and set TYPE_ARTIFICIAL according to it.  Adjust recursive call.
+       (gnat_to_gnu_entity) <E_Record_Type>: Adjust call to above function.
+       * gcc-interface/utils.c (rest_of_record_type_compilation): Do not
+       invoke rest_of_type_decl_compilation on the parallel type, if any.
+
+2012-02-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/utils.c (gnat_write_global_declarations): Make sure the
+       dummy global built for global types is preserved.
+
+2012-02-27  Tristan Gingold  <gingold@adacore.com>
+
+       * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
+       E_Array_Type]: Reuse dummy fat type for gnu_ptr_template and
+       gnu_template_type.
+
+2012-02-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Add checking.
+       (TYPE_BY_REFERENCE_P): New flag.
+       (TYPE_IS_BY_REFERENCE_P): New macro.
+       (TYPE_DUMMY_P): Add checking and remove VOID_TYPE.
+       (TYPE_IS_DUMMY_P): Adjust for above change.
+       * gcc-interface/decl.c (gnat_to_gnu_entity): Use TYPE_BY_REFERENCE_P
+       and TYPE_IS_BY_REFERENCE_P instead of TREE_ADDRESSABLE.
+       (gnat_to_gnu_param): Likewise.
+       (maybe_pad_type): Likewise.
+       (make_type_from_size): Use TYPE_IS_PACKED_ARRAY_TYPE_P.
+       * gcc-interface/misc.c (must_pass_by_ref): Use TYPE_IS_BY_REFERENCE_P
+       instead of TREE_ADDRESSABLE.
+       * gcc-interface/trans.c (finalize_nrv): Likewise.
+       (call_to_gnu): Likewise.  Do not create a temporary for return values
+       with by-reference type here.
+       (gnat_to_gnu): Test TYPE_IS_DUMMY_P instead of TYPE_DUMMY_P.
+       (gnat_gimplify_expr) <ADDR_EXPR>: Don't do anything for non-constant
+       CONSTRUCTORs and calls.
+       * gcc-interface/utils.c (make_dummy_type): Get the equivalent type of
+       the underlying type and use it throughout.  Use TYPE_IS_BY_REFERENCE_P
+       instead of TREE_ADDRESSABLE.
+       * gcc-interface/utils2.c (build_cond_expr): Deal with by-reference
+       types explicitly.
+
+2012-02-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Revert previous
+       change that creates a special VAR_DECL for debugging purposes.  For an
+       aliased object with an unconstrained nominal subtype, make its type a
+       thin reference to the underlying object.
+       * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: Deal with
+       expressions built for the initialization of above objects.
+
+2012-02-24  Dave Korn  <dave.korn.cygwin@gmail.com>
+
+       * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
+       Windows-specific make variable.
+       (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
+       (install-gnatlib): Respect the above during installation when set,
+       and also install any windows import library that has been built.
+       (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
+       build a corresponding import library.
+
+2012-02-22  Robert Dewar  <dewar@adacore.com>
+
+       * exp_util.adb, make.adb, sem_dim.adb, sem_ch4.adb, exp_disp.adb: Minor
+       reformatting.
+
+2012-02-22  Geert Bosch  <bosch@adacore.com>
+
+       * g-bytswa-x86.adb, g-bytswa.adb, gcc-interface/Makefile.in: Remove
+       x86-specific version of byteswap and use GCC builtins instead.
+
+2012-02-22  Tristan Gingold  <gingold@adacore.com>
+
+       * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
+       E_Array_Type]: Translate component ealier.
+
+2012-02-22  Robert Dewar  <dewar@adacore.com>
+
+       * par-ch3.adb (P_Signed_Integer_Type_Definition): Specialize
+       error message for 'Range.
+
+2012-02-22  Pascal Obry  <obry@adacore.com>
+
+       * s-taprop-mingw.adb (Finalize_TCB): Do not wait on thread handle as
+       this is our own thread.
+
+2012-02-22  Sergey Rybin  <rybin@adacore.com frybin>
+
+       * tree_io.ads: Update ASIS_Version_Number because of the changes
+       in Snames.
+
+2012-02-22  Hristian Kirtchev  <kirtchev@adacore.com>
+
+       * exp_ch7.adb (Create_Finalizer): Suppress elaboration checks on 
+       stack-related finalizers.
+
+2012-02-22  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch6.adb (Analyze_Expression_Function): If the construct
+       is a completion, indicate that its formals are the formals of
+       a completion, and as such do not get a cross- reference entry.
+       (Analyze_Subprogram_Specification): Do not generate a definition
+       for the entity of an expression function, because it may be a
+       completion. Definition will be generated if needed when analyzing
+       the generated subprogram declaration.
+
+2012-02-22  Vincent Celier  <celier@adacore.com>
+
+       * make.adb (Check): When checking if an object file is in the
+       correct object directory, get the unit name from a previous call
+       to Check_Source_Info_In_ALI.
+       * makeutl.adb (Check_Source_Info_In_ALI): Return the name of
+       the unit when everything is OK, otherwise return No_Name.
+       * makeutl.ads (Check_Source_Info_In_ALI): Return Name_Id instead
+       of Boolean
+
+2012-02-22  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch4.adb (Find_Equality_Types, Try_One_Interp): In an
+       instance, the operator is visible if an operand is of some
+       numeric type which is not in use or directly visible, and the
+       other operand is a numeric literal.
+
+2012-02-22  Tristan Gingold  <gingold@adacore.com>
+
+       * init.c: Minor code clean up.
+       * gcc-interface/Make-lang.in: Update dependencies.
+
+2012-02-22  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnatlink.adb (Gnatlink): Use -gnatcC in CodePeer_Node,
+       otherwise GCC will generate an object file.
+
+2012-02-22  Vincent Celier  <celier@adacore.com>
+
+       * projects.texi: Correct typo related to "**" in Source_Dirs.
+
 2012-02-22  Steve Baird  <baird@adacore.com>
 
        * sem_prag.adb (Analyze_PPC_In_Decl_Part): Clean up generation of