OSDN Git Service

gcc/ChangeLog
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
index 280506d..ec532ca 100644 (file)
@@ -1,3 +1,296 @@
+2008-07-30  Laurent Guerby  <laurent@guerby.net>
+
+        PR ada/5911
+        * gcc-interface/Makefile.in (MULTISUBDIR, RTSDIR): New variables.
+        Pass MULTISUBDIR to recursive make. Use $(RTSDIR) instead of rts.
+        Replace stamp-gnatlib* by stamp-gnatlib*-rts.
+        * gcc-interface/Make-lang.in: Replace stamp-gnatlib2
+        by stamp-gnatlib2-rts.
+       
+2008-07-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
+
+       PR documentation/15479
+       * gnat-style.texi: Remove AdaCore copyright statement and GPL
+       statement for GNAT.  Add @copying stanza, use it.  Update to
+       GFDL 1.2.  Do not list GFDL as Invariant Section, do not list
+       title as Front-Cover Text.
+       * gnat_rm.texi: Likewise.
+       * gnat_ugn.texi: Likewise.
+
+2008-07-29  Jan Hubicka  <jh@suse.cz>
+
+       * trans.c (process_inlined_subprograms): Remove tree_really_inline
+       check.
+
+2008-07-29  Arnaud Charlet  <charlet@adacore.com>
+
+       * gcc-interface: New directory.
+
+       * ada-tree.def, cuintp.c, gigi.h, Makefile.in, targtyps.c, ada.h,
+       utils.c, ada-tree.h, decl.c, lang.opt, Make-lang.in, trans.c,
+       config-lang.in, deftarg.c, lang-specs.h, misc.c, utils2.c: Moved
+       to gcc-interface subdirectory.
+
+2008-07-29  Aaron W. LaFramboise  <aaronavay62@aaronwl.com>
+
+       * Makefile.in (EXTRA_GNATRTL_NONTASKING_OBJS): Remove extra s-win32.o.
+
+2008-07-28  Jan Hubicka  <jh@suse.cz>
+
+       * misc.c (gnat_post_options): Do not set flag_no_inline.
+
+2008-07-28  Richard Guenther  <rguenther@suse.de>
+
+       Merge from gimple-tuples-branch.
+
+       2008-07-22  Olivier Hainque  <hainque@adacore.com>
+
+       * gigi.h (end_subprog_body): New ELAB_P argument, saying if
+       this is called for an elab proc to be discarded if empty.
+       * utils.c (end_subprog_body): Honor ELAB_P.
+       (build_function_stub): Adjust call to end_subprog_body.
+       * trans.c (Subprogram_Body_to_gnu): Likewise.
+       (gigi): Reorganize processing of elab procs to prevent
+       gimplifying twice, using the new end_subprog_body argument.
+
+       2008-07-19  Richard Guenther  <rguenther@suse.de>
+
+       * Make-lang.in (trans.o): Add tree-iterator.h dependency.
+       (utils.o): Likewise.
+       * trans.c: Include tree-iterator.h.
+       (gnat_gimplify_expr): Adjust prototype.  Fix typo.
+       (gnat_gimplify_stmt): Use SET_EXPR_LOCATION.
+       (set_expr_location_from_node): Likewise.
+       (gigi): Tuplify.
+       * ada-tree.h (union lang_tree_node): Use TREE_CHAIN instead
+       of GENERIC_NEXT.
+       * utils.c: Include tree-iterator.h.
+       * gigi.h (gnat_gimplify_expr): Adjust prototype.
+
+       2008-07-18  Aldy Hernandez  <aldyh@redhat.com>
+
+       * trans.c: Include gimple.h instead of tree-gimple.h.
+       * utils.c: Same.
+
+       2008-07-14  Aldy Hernandez  <aldyh@redhat.com>
+
+       * trans.c (gnat_gimplify_expr): Use gimplify_assign.
+
+2008-07-25  Jan Hubicka  <jh@suse.cz>
+
+       * utils.c (end_subprog_body): Remove inline trees check.
+       * misc.c (gnat_post_options): Do not set flag_inline_trees.
+
+2008-07-25  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
+
+       * raise-gcc.c: Move tsystem.h before tm.h.
+
+2008-07-20  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnathtml.pl: New file.
+
+2008-07-19  Olivier Hainque  <hainque@adacore.com>
+
+       * targtyps.c (get_target_default_allocator_alignment): Use
+       MALLOC_ABI_ALIGNMENT.
+
+2008-07-17  Olivier Hainque  <hainque@adacore.com>
+
+       * adaint.c (__MINGW32__ section): Include ctype.h and define
+       a fallback ISALPHA if IN_RTS.
+       (__gnat_is_absolute_path): Use ISALPHA instead of isalpha. 
+
+2008-07-17  Olivier Hainque  <hainque@adacore.com>
+
+       * utils.c (create_var_decl_1): Relax expectations on the PUBLIC_FLAG
+       argument, to apply to references in addition to definitions.  Prevent
+       setting TREE_STATIC on externals.
+       (gnat_pushdecl): Always clear DECL_CONTEXT on public externals.
+
+2008-07-14  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
+
+       PR documentation/15479
+       * gnat_ugn.texi (@ovar): New macro, from autoconf.texi.
+       Replace backets around optional parameters with @ovar
+       where possible, use @r{[}, @r{]} otherwise.
+       Replace some @r, @i, and @emph with @var where appropriate.
+
+2008-07-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (make_type_from_size) <INTEGER_TYPE>: Fix typo and tidy up.
+
+2008-06-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * ada-tree.h (SET_TYPE_LANG_SPECIFIC, SET_DECL_LANG_SPECIFIC): Fix
+       -Wc++-compat warnings.
+       * adaint.c (__gnat_locate_regular_file, __gnat_locate_exec,
+       __gnat_locate_exec_on_path): Likewise.
+       * decl.c (annotate_value): Likewise.
+       * misc.c (gnat_handle_option): Likewise.
+       * trans.c (gnat_to_gnu, extract_encoding, decode_name,
+       post_error_ne_tree): Likewise.
+
+2008-06-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * utils.c (convert) <CONSTRUCTOR>: When converting it to a packable
+       version of its type, attempt to first convert its elements.
+
+2008-06-26  Chris Proctor  <chrisp_42@bigpond.com>
+
+       * Makefile.in: Fix *86 kfreebsd target specific pairs.
+
+2008-06-25  Samuel Tardieu  <sam@rfc1149.net>
+
+       * Makefile.in: Use mlib-tgt-specific-linux.adb for sh4 as well.
+
+2008-06-24  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * utils2.c (known_alignment): Derive the alignment from pointed-to
+       types only if it is otherwise unknown.
+       <INTEGER_CST>: Tidy.
+       <MULT_EXPR>: Likewise.
+       <POINTER_PLUS_EXPR>: If the alignment of the offset is unknown, use
+       that of the base.
+
+2008-06-20  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
+
+       PR ada/36573
+       * s-osinte-hpux-dce.ads (SA_ONSTACK): Define.
+
+2008-06-15  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
+
+       * gnat_rm.texi (Implementation Defined Characteristics)
+       (Standard Library Routines): Use @smallexample for indented
+       text.  Drop Indentation outside examples.
+       * gnat_ugn.texi: Likewise.
+
+2008-06-13  Olivier Hainque  <hainque@adacore.com>
+
+       * decl.c (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): Define to 0
+       if undefined.
+       (gnat_to_gnu_entity) <case E_Function/Procedure>: Request stack
+       realignment with force_align_arg_pointer attribute on foreign
+       convention subprograms if FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN.
+       
+2008-06-13  Olivier Hainque  <hainque@adacore.com>
+
+       * utils.c (rest_of_record_type_compilation): When computing
+       encodings for the components of a variable size type, early
+       strip conversions on the current position expression to make
+       sure it's shape is visible.  Use remove_conversions for this
+       purpose.
+
+2008-06-12  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: In the case of a
+       constrained subtype of a discriminated type, discard the fields that
+       are beyond its limits according to its size.
+
+2008-06-10  Olivier Hainque  <hainque@adacore.com>
+
+       * utils.c (create_subprog_decl): If this is for the 'main' entry
+       point according to the asm name, redirect main_identifier_node.
+
+2008-06-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (components_to_record): Adjust the packedness for the
+       qualified union as well.
+
+2008-06-09  Arnaud Charlet  <charlet@adacore.com>
+
+       * Make-lang.in: Use -gnatwns instead of -gnatws to make sytyle
+       checks non fatal.
+
+2008-06-07  Samuel Tardieu  <sam@rfc1149.net>
+
+       * sem_res.adb (Large_Storage_Type): A type is large if it
+       requires as many bits as Positive to store its values and its
+       bounds are known at compile time.
+       * sem_ch13.adb (Minimum_Size): Note that this function returns
+       0 if the size is not known at compile time.
+
+2008-06-06  Nicolas Setton  <setton@adacore.com>
+           Olivier Hainque  <hainque@adacore.com>
+
+       * ada-tree.h (DECL_PARALLEL_TYPE): New language specific
+       attribute, parallel descriptive type attached to another
+       type for debug info generation purposes.
+       * utils.c (add_parallel_type): New function, register
+       parallel type to be attached to a type.
+       (get_parallel_type): New function, fetch a registered
+       parallel type, if any.
+       (rest_of_record_type_compilation): Register the parallel
+       type we make for variable size records.
+       * gigi.h (add_parallel_type, get_parallel_type): Declare.
+       * decl.c (gnat_to_gnu_entity, maybe_pad_type): Register the
+       parallel debug types we make.
+       * trans.c (extract_encoding, decode_name): New functions.
+       (gigi): If the DWARF attribute extensions are available, setup
+       to use them.
+       * lang.opt: Register language specific processing request
+       for -gdwarf+.
+       * misc.c (gnat_dwarf_extensions): New global variable. How much
+       do we want of our DWARF extensions. 0 by default.
+       (gnat_handle_option) <OPT_gdwarf_>: Increment gnat_dwarf_extensions.
+       (gnat_post_options): Map gnat_dwarf_extensions to the
+       commonuse_gnu_debug_info_extensions for later processing.
+       
+2008-06-04  Samuel Tardieu  <sam@rfc1149.net>
+
+       * einfo.ads, einfo.adb: Remove unused flag Function_Returns_With_DSP.
+
+2008-06-03  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
+
+       * Makefile.in (common_tools): Fix typos in $(exeext) extension.
+       * gnat_ugn.texi (Style Checking)
+       (Adding the Results of Compiler Checks to gnatcheck Output)
+       (Example of Binder Output File): Fix typos.
+       * ali.ads, einfo.ads, exp_ch4.adb, exp_ch6.adb,
+       exp_dbug.ads, exp_dist.adb, exp_smem.adb, g-socket.ads,
+       s-osinte-rtems.ads, s-shasto.ads, s-stausa.adb,
+       s-stausa.ads, sem_cat.adb, sem_ch12.adb, sem_ch3.adb,
+       sem_ch4.adb, sem_ch6.adb, sem_ch8.adb, sem_util.ads,
+       sinfo.ads, utils.c: Fix typos in comments.
+       * sem_ch6.adb, vms_data.ads: Fix typos in strings.
+
+2008-05-29  Thomas Quinot  <quinot@adacore.com>
+
+       * sem_eval.adb: Minor reformatting
+
+2008-05-29  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch6.adb (Analyze_Subprogram_Specification): if the return type
+       is abstract, do not apply abstractness check on subprogram if this is
+       a renaming declaration.
+
+2008-05-29  Arnaud Charlet  <charlet@adacore.com>
+
+       PR ada/864
+       * osint.ads, osint.adb (Program_Name): New parameter "Prog" to
+       allow recognition of program suffix in addition to prefix.
+       
+       * gnatchop.adb (Locate_Executable): Add support for prefix.
+       
+       * make.adb, gnatcmd.adb, gnatlink.adb, prj-makr.adb,
+       mlib-utl.adb: Adjust calls to Program_Name.
+
+2008-05-29  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch3.adb: Minor reformatting
+       * sem_prag.adb: Minor reformatting
+       * sem_res.adb: Minor reformatting
+       * sinput-p.ads: Minor reformatting
+
+2008-05-29  Javier Miranda  <miranda@adacore.com>
+
+       * sem_util.adb:
+       (Abstract_Interface_List): Add missing support for full type-declaration
+       associated with synchronized types.
+
+2008-05-29  Robert Dewar  <dewar@adacore.com>
+
+       * sem_eval.adb (Is_Same_Value): Take care of several more cases
+
 2008-05-28  Ed Schonberg  <schonberg@adacore.com>
 
        * sem_ch5.adb (Analyze_Assignment): If the name is of a local anonymous