+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,
(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
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)