OSDN Git Service

* gigi.h (standard_datatypes): Add ADT_fdesc_type and ADT_null_fdesc.
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
index c01bd8e..716f1bd 100644 (file)
@@ -1,3 +1,78 @@
+2008-04-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gigi.h (standard_datatypes): Add ADT_fdesc_type and ADT_null_fdesc.
+       (fdesc_type_node): Define.
+       (null_fdesc_node): Likewise.
+       * decl.c (gnat_to_gnu_entity) <E_Access_Subprogram_Type>: If the target
+       uses descriptors for vtables and the type comes from a dispatch table,
+       return the descriptor type.
+       * trans.c (Attribute_to_gnu) <Attr_Unrestricted_Access>: If the target
+       uses descriptors for vtables and the type comes from a dispatch table,
+       build a descriptor in the static case and copy the existing one in the
+       non-static case.
+       (gnat_to_gnu) <N_Null>: If the target uses descriptors for vtables and
+       the type is a pointer-to-subprogram coming from a dispatch table,
+       return the null descriptor.
+       <N_Unchecked_Type_Conversion>: If the target uses descriptors for
+       vtables, the source type is the descriptor type and the target type
+       is a pointer type, first build the pointer.
+       * utils.c (init_gigi_decls): If the target uses descriptors for vtables
+       build the descriptor type and the null descriptor.
+
+2008-04-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (prepend_attributes): Fix typo.
+       * trans.c (Pragma_to_gnu): Likewise.
+       * utils.c (gnat_genericize): Likewise.
+
+2008-04-08  Eric Botcazou  <ebotcazou@adacore.com>
+            Richard Kenner  <kenner@adacore.com>
+
+       * ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Only set it when bit-packed.
+       * decl.c (gnat_to_gnu_entity): Adjust for above change.
+       <E_Record_Type>: Try to get a better form of the component for
+       packing, even if it has an integral mode.
+       <E_Record_Subtype>: Likewise.
+       * trans.c (gnat_to_gnu): Do not require BLKmode for the special
+       exception suppressing the final conversion between record types.
+
+2008-04-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (gnat_to_gnu_entity) <object>: If -gnatd.a and not optimizing
+       alignment for space, promote the alignment of non-scalar variables with
+       no size and alignment.
+       * gigi.h (gnat_types_compatible_p): Declare.
+       * misc.c (LANG_HOOKS_TYPES_COMPATIBLE_P): Set to above predicate.
+       * trans.c (gnat_to_gnu): Revert revision 129339 change.  Minor cleanup.
+       * utils.c (gnat_types_compatible_p) : New predicate.
+       (convert): Use it throughout to test for cases where a mere view
+       conversion is sufficient.
+       * utils2.c (build_binary_op): Minor tweaks.
+       (build_unary_op): Likewise.
+
+2008-04-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * decl.c (adjust_packed): Expand comment.
+
+2008-04-08  Arnaud Charlet  <charlet@adacore.com>
+
+       * s-tasuti.ads: Use Task_Address instead of System.Address.
+
+       * makeutl.adb (Path_Or_File_Name): New function
+
+       * nlists.ads, itypes.ads: Update comments.
+
+       * s-crtl.ads (malloc32, realloc32): New functions.
+
+       * s-auxdec.ads (Short_Address_Size): New constant.
+
+       * a-taside.adb, s-tasdeb.adb: Use Task_Address.
+
+       * s-ststop.ads, s-ststop.adb: New file.
+
+       * exp_tss.ads, s-taprop-lynxos.adb: Update comments.
+       Minor reformatting.
+
 2008-04-08  Pascal Obry  <obry@adacore.com>
 
        * g-sercom.ads, g-sercom.adb (Data_Rate): Add B115200.
        * system-linux-x86_64.ads: (Stack_Check_Probes): Set to True.
 
        * s-taspri-lynxos.ads, s-taspri-solaris.ads, s-taspri-tru64.ads,
-       s-taspri-hpux-dce.ads (Task_Address): New subtype of System.Address
+       s-taspri-hpux-dce.ads, s-taspri-dummy.ads, s-taspri-posix.ads,
+       s-taspri-vms.ads (Task_Address): New subtype of System.Address
        (Task_Address_Size): New constant size of System.Address
        (Alternate_Stack_Size): New constant.
 
        the environment task.
        (Create_Task): Fix assertions for NPTL library (vs old LinuxThreads).
 
-       * s-parame.adb (Minimum_Stack_Size): Increase value to 16K to
+       * s-parame.adb (Minimum_Stack_Size): Increase value to 16K
 
        * system-linux-x86.ads: (Stack_Check_Probes): Set to True.
 
        Files mlib-tgt-*.adb have been renamed mlib-tgt-specific-*.adb
        Minor updates for VMS
 
+       * gnatbl.c: Removed.
+
 2008-04-08  Thomas Quinot  <quinot@adacore.com>
 
        * g-expect-vms.adb, a-textio.adb, a-witeio.adb, exp_dbug.adb,
@@ -916,8 +994,8 @@ PR ada/10768
        (Analyze_Assignment_Statement): The assignment is illegal if the
        left-hand is an interface.
 
-       * sem_res.adb (Resolve_Arithmetic_Op): For mod/rem check violation of
-       restriction No_Implicit_Conditionals
+       * sem_res.ads, sem_res.adb (Resolve_Arithmetic_Op): For mod/rem check
+       violation of restriction No_Implicit_Conditionals
        Add Sure parameter to Note_Possible_Modication calls
        Use new Is_Standard_Character_Type predicate
        (Make_Call_Into_Operator): Preserve Comes_From_Source when rewriting
@@ -2329,8 +2407,8 @@ PR ada/10768
 
 2008-03-18  Paolo Bonzini  <bonzini@gnu.org>
 
-        * misc.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete.
-       
+       * misc.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete.
+
 2008-03-15  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
 
        * gnat_rm.texi (Implementation Defined Characteristics)