OSDN Git Service

gcc/ada/
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
index d00479b..979ce90 100644 (file)
@@ -1,3 +1,137 @@
+2008-04-28  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
+
+       * Make-lang.in (ada.tags, check-acats, ada/treeprs.ads)
+       (ada/einfo.h, ada/sinfo.h, ada/nmake.adb, ada/nmake.ads):
+       Use '&&' instead of ';'.
+
+2008-04-24  Olivier Hainque  <hainque@adacore.com>
+
+       * trans.c (Attribute_to_gnu) <case Attr_Length>: Length computation
+       doesn't require signed arithmetic anymore.
+
+2008-04-23  Paolo Bonzini  <bonzini@gnu.org>
+
+       * trans.c (Attribute_to_gnu): Don't set TREE_INVARIANT.
+       (call_to_gnu): Don't set TREE_INVARIANT.
+       * utils2.c (gnat_build_constructor): Don't set TREE_INVARIANT.
+
+2008-04-22  Joel Sherrill <joel.sherrill@oarcorp.com>
+
+       * s-osinte-rtems.adb: Add sigalstack function.
+       * s-osinte-rtems.ads: Add SO_ONSTACK and sigalstack
+       function. Add Alternate_Stack and Alternate_Stack_Size.
+       Add missing process_shared field to pthread_condattr_t
+       and change ss_low_priority to int from timespec.
+
+2008-04-22  Samuel Tardieu  <sam@rfc1149.net>
+
+       * i-forbla.adb: Link against -llapack and -lblas by default
+       instead of the private -lgnalasup.
+
+2008-04-21  Olivier Hainque  <hainque@adacore.com>
+
+       Access to most C builtins from Ada
+       * utils.c: #include "langhooks.h" and define GCC_DIAG_STYLE.
+       (handle_pure_attribute, handle_novops_attribute,
+       handle_nonnull_attribute, handle_sentinel_attribute,
+       handle_noreturn_attribute, handle_malloc_attribute,
+       handle_type_generic_attribute): New attribute handlers, from C fe.
+       (gnat_internal_attribute_table): Map the new handlers.
+       (gnat_init_decl_processing): Move call to gnat_install_builtins to ...
+       (init_gigi_decls): ... here.
+       (handle_const_attribute, handle_nothrow_attribute, builtin_decl_for):
+       Move to a section dedicated to builtins processing.
+       (build_void_list_node, builtin_type_for_size): New functions.
+       (def_fn_type, get_nonnull_operand): Likewise.
+       (install_builtin_elementary_type, install_builtin_function_types,
+       install_builtin_attributes): Likewise.
+       (fake_attribute_handler): Fake handler for attributes we don't
+       support in Ada.
+       (def_builtin_1): New function, worker for DEF_BUILTIN.
+       (install_builtin_functions): New function.
+       (gnat_install_builtins): Move to the builtins processing section.
+       Now calling the newly introduced installers.
+
+2008-04-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (gnat_to_gnu_entity) <object>: Also promote the alignment of
+       constant objects, but not exceptions.
+       * trans.c (add_decl_expr): Use gnat_types_compatible_p for type
+       compatibility test.
+       * utils.c (create_var_decl_1): Likewise.
+       * utils2.c (build_binary_op) <MODIFY_EXPR>: Also use the padded view of
+       the type when copying to padded object and the source is a constructor.
+
+2008-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (gnat_to_gnu_entity) <object>: When trying to promote the
+       alignment, reset it to zero if it would end up not being greater
+       than that of the type.
+
+2008-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (maybe_pad_type): Only generate the XVS parallel type if
+       the padded type has a variable size.
+
+2008-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>: Use the return by
+       target pointer mechanism as soon as the size is not constant.
+
+2008-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gigi.h (create_var_decl_1): Declare.
+       (create_var_decl): Turn into a macro invoking create_var_decl_1.
+       (create_true_var_decl): Likewise.
+       * utils.c (create_var_decl_1): Make global and reorder parameters.
+       (create_var_decl): Delete.
+       (create_true_var_decl): Likewise.
+
+2008-04-17  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (gnat_to_gnu_entity) <object>: Promote the alignment of
+       objects by default.
+       * fe.h (Debug_Flag_Dot_A): Delete.
+       * debug.adb (-gnatd.a): Update documentation.
+
+2008-04-17  Samuel Tardieu  <sam@rfc1149.net>
+
+       * g-socket.ads, g-socket.adb (Get_Address): Make Stream a
+       "not null" parameter.
+
+2008-04-17  Samuel Tardieu  <sam@rfc1149.net>
+
+       * g-socket.adb: Add a message "IPv6 not supported" to the
+       Socket_Error exception.
+
+2008-04-16  Samuel Tardieu  <sam@rfc1149.net>
+
+       PR ada/29015
+       * sem_ch12.adb (Instantiate_Type): Check whether the full view of
+       the type is known instead of the underlying type.
+
+2008-04-15  Ed Schonberg  <schonberg@adacore.com>
+
+       PR ada/22387
+       * exp_ch5.adb (Expand_Assign_Record): Within an initialization
+       procedure for a derived type retrieve the discriminant values from
+       the parent using the corresponding discriminant.
+
+2008-04-15  Samuel Tardieu  <sam@rfc1149.net>
+            Gary Dismukes  <dismukes@adacore.com>
+
+       PR ada/28733
+       * sem_ch8.adb (Analyze_Use_Package): Do not allow "use" of something
+       which is not an entity (and hence not a package).
+       (End_Use_Package): Ditto.
+
+2008-04-15  Ed Schonberg  <schonberg@adacore.com>
+
+       PR ada/16086
+       * sem_ch12.adb (Analyze_Formal_Subprogram): The default can be any
+       protected operation that matches the signature, not only an entry, a
+       regular subprogram or a literal.
+
 2008-04-15  Eric Botcazou  <ebotcazou@adacore.com>
 
        * ada-tree.h (DECL_BY_COMPONENT_PTR_P): Use DECL_LANG_FLAG_3.