+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.
+ * decl.c (gnat_to_gnu_entity) <object>: Call maybe_pad_type only
+ if a size or alignment is specified. Do not take into account
+ alignment promotions for the computation of the object's size.
+ <type>: Call maybe_pad_type only if a size or alignment is specified.
+ (maybe_pad_type): Really reuse the RM_Size of the original type if
+ requested.
+ * trans.c (Attribute_to_gnu): Fix a couple of nits.
+ * utils2.c (build_binary_op) <MODIFY_EXPR>: Merge related conditional
+ statements. Use the padded view of the type when copying between
+ padded objects of the same underlying type.
+
+2008-04-14 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * vms_data.ads: Fix typo in constant.
+ * gen-soccon.c: Fix typo in error string.
+ * gnat_rm.texi (Pragma Optimize_Alignment, Pragma Postcondition):
+ Fix typos.
+ * a-calcon.ads, a-calend-vms.adb, a-calend.adb, a-crdlli.ads,
+ bcheck.adb, checks.adb, einfo.ads, errout.adb, erroutc.adb,
+ erroutc.ads, exp_attr.adb, exp_ch11.adb, exp_ch2.adb,
+ exp_ch5.adb, exp_ch9.adb, exp_ch9.ads, exp_pakd.adb,
+ exp_util.adb, fmap.adb, g-soccon-linux-mips.ads,
+ g-soccon-rtems.ads, g-timsta.adb, g-timsta.ads, lib-writ.ads,
+ mlib-tgt-specific-linux.adb, mlib-tgt-specific-tru64.adb,
+ s-interr-vxworks.adb, s-interr.adb, s-osinte-lynxos.ads,
+ s-rident.ads, s-taprop-solaris.adb, s-tassta.adb, s-win32.ads,
+ sem_aggr.adb, sem_attr.ads, sem_ch10.adb, sem_ch13.ads,
+ sem_ch3.adb, sem_ch6.adb, sem_ch7.adb, sem_ch8.adb, sem_ch9.adb,
+ sem_prag.ads, sem_res.adb, sem_util.adb, sem_util.ads,
+ sinfo.ads: Fix typos in comments.
+
+2008-04-14 Robert Dewar <dewar@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma, Linker_Section case): Extend error
+ to every non-object and change error message.
+
+2008-04-14 Robert Dewar <dewar@adacore.com>
+
+ * sem_util.ads, sem_util.adb (In_Subprogram): Remove.
+ * sem_attr.adb (Anayze_Attribute): Check for Current_Subprogram
+ directly.
+
+2008-04-14 Samuel Tardieu <sam@rfc1149.net>
+
+ PR ada/18680
+ * sem_prag.adb (Analyze_Pragma, Linker_Section case): Refuse to
+ apply pragma Linker_Section on type.
+
+2008-04-14 Samuel Tardieu <sam@rfc1149.net>
+
+ PR ada/16098
+ * sem_prag.adb (Error_Pragma_Ref): New.
+ (Process_Convention): Specialized message for non-local
+ subprogram renaming. Detect the problem in homonyms as well.
+
+2008-04-14 Samuel Tardieu <sam@rfc1149.net>
+
+ PR ada/15915
+ * sem_util.ads, sem_util.adb (Denotes_Variable): New function.
+ * sem_ch12.adb (Instantiate_Object): Use it.
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Ensure that
+ storage pool denotes a variable as per RM 13.11(15).
+
+2008-04-14 Samuel Tardieu <sam@rfc1149.net>
+
+ * sem_util.ads, sem_util.adb (In_Subprogram): New function.
+ * sem_attr.adb (Analyze_Attribute, Attribute_Old case): Use it.
+
+2008-04-14 Rolf Ebert <rolf.ebert.gcc@gmx.de>
+
+ PR ada/20822
+ * xgnatugn.adb (Put_Line): New procedure, ensuring Unix
+ line endings even on non-Unix platforms.
+
+2008-04-14 Samuel Tardieu <sam@rfc1149.net>
+
+ PR ada/35050
+ * xref_lib.adb (Parse_Identifier_Info): Correctly parse and ignore the
+ renaming information.
+
+2008-04-13 Samuel Tardieu <sam@rfc1149.net>
+
+ PR ada/17985
+ * sem_aggr.adb (Valid_Ancestor_Type): A type is not an ancestor of
+ itself.
+
+2008-04-13 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * sfn_scan.adb, sfn_scan.ads, sinfo.ads,
+ sinput-d.ads, sinput-l.adb, sinput-l.ads, sinput.ads,
+ snames.ads, sprint.adb, stand.ads, stringt.ads,
+ styleg.adb, styleg.ads, stylesw.adb, stylesw.ads,
+ switch.ads, sysdep.c, table.adb, table.ads,
+ targparm.ads, tb-gcc.c, tbuild.ads, tracebak.c,
+ trans.c, tree_io.adb, treepr.adb, types.adb, types.ads,
+ uintp.adb, uintp.ads, utils.c, utils2.c, validsw.ads,
+ vms_conv.adb, vms_conv.ads, vms_data.ads, widechar.adb,
+ widechar.ads, xeinfo.adb, xgnatugn.adb, xr_tabls.adb,
+ xr_tabls.ads, xref_lib.adb, xref_lib.ads, xsinfo.adb:
+ Fix comment typos.
+
+ * sem_ch10.adb, sem_ch10.ads,
+ sem_ch12.adb, sem_ch12.ads, sem_ch13.adb, sem_ch13.ads,
+ sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb,
+ sem_ch6.ads, sem_ch8.adb, sem_ch8.ads, sem_ch9.adb,
+ sem_elab.adb, sem_elab.ads, sem_elim.ads, sem_eval.adb,
+ sem_eval.ads, sem_intr.adb, sem_mech.adb, sem_mech.ads,
+ sem_prag.adb, sem_prag.ads, sem_res.adb, sem_res.ads,
+ sem_type.adb, sem_util.adb, sem_util.ads, sem_warn.adb,
+ sem_warn.ads: Fix comment typos.
+
+ * s-secsta.adb, s-sequio.ads, s-shasto.ads,
+ s-soflin.ads, s-stalib.ads, s-stausa.adb,
+ s-stausa.ads, s-strxdr.adb, s-taenca.adb, s-taenca.ads,
+ s-taprob.adb, s-taprop-hpux-dce.adb, s-taprop-irix.adb,
+ s-taprop-linux.adb, s-taprop-mingw.adb, s-taprop-posix.adb,
+ s-taprop-solaris.adb, s-taprop-tru64.adb, s-taprop-vms.adb,
+ s-taprop-vxworks.adb, s-taprop.ads, s-tarest.adb,
+ s-tarest.ads, s-tasini.adb, s-tasini.ads, s-taskin.ads,
+ s-tasque.ads, s-tassta.adb, s-tassta.ads, s-tasuti.ads,
+ s-tpoben.adb, s-tpoben.ads, s-tpobop.adb,
+ s-tpopsp-posix.adb, s-tpopsp-rtems.adb, s-tposen.adb,
+ s-tposen.ads, s-traceb-hpux.adb, s-traces.ads,
+ s-trafor-default.ads, s-unstyp.ads, s-utf_32.ads,
+ s-vaflop.adb, s-vaflop.ads, s-valrea.adb, s-valuti.adb,
+ s-wchstw.ads, s-wchwts.adb, s-wchwts.ads, scans.ads,
+ scn.adb, scng.adb, seh_init.c, sem.ads, sem_aggr.adb,
+ sem_attr.adb, sem_attr.ads, sem_case.adb, sem_case.ads,
+ sem_cat.adb, sem_cat.ads: Fix comment typos.
+
+2008-04-12 Joel Sherrill <joel@oarcorp.com>
+
+ PR ada/35825
+ * g-soccon-rtems.ads: Add IP_PKTINFO as unsupported.
+
+2008-04-12 Arnaud Charlet <charlet@adacore.com>
+
+ * s-linux-hppa.ads: Fix syntax errors.
+
+2008-04-10 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * gnat_ugn.texi: Fix typos.
+ * raise-gcc.c, repinfo.adb, repinfo.ads, restrict.adb,
+ restrict.ads, rtsfind.adb, rtsfind.ads, s-arit64.ads,
+ s-asthan-vms-alpha.adb, s-auxdec.ads, s-casuti.ads,
+ s-fatflt.ads, s-fatgen.adb, s-fatlfl.ads,
+ s-fatllf.ads, s-fatsfl.ads, s-filofl.ads,
+ s-finimp.adb, s-finroo.ads, s-fishfl.ads,
+ s-fvadfl.ads, s-fvaffl.ads, s-fvagfl.ads,
+ s-hibaen.ads, s-htable.ads, s-imgcha.adb,
+ s-imgenu.ads, s-imgint.adb, s-imgrea.adb,
+ s-inmaop-dummy.adb, s-inmaop.ads, s-interr-vms.adb,
+ s-interr-vxworks.adb, s-interr.adb, s-interr.ads,
+ s-intman-vxworks.ads, s-intman.ads, s-mastop-irix.adb,
+ s-os_lib.adb, s-os_lib.ads, s-osinte-aix.ads,
+ s-osinte-darwin.ads, s-osinte-freebsd.ads,
+ s-osinte-hpux.ads, s-osinte-lynxos-3.adb,
+ s-osinte-lynxos-3.ads, s-osinte-lynxos.ads,
+ s-osinte-rtems.ads, s-osinte-solaris-posix.ads,
+ s-osprim-mingw.adb, s-osprim-vms.adb, s-parame-ae653.ads,
+ s-parame-hpux.ads, s-parame-vms-alpha.ads,
+ s-parame-vms-ia64.ads, s-parame-vms-restrict.ads,
+ s-parame-vxworks.ads, s-parame.ads, s-parint.adb,
+ s-parint.ads, s-poosiz.adb, s-proinf-irix-athread.ads,
+ s-proinf.ads, s-regexp.adb, s-regpat.adb, s-regpat.ads,
+ s-rident.ads: Fix comment typos.
+
+2008-04-09 Samuel Tardieu <sam@rfc1149.net>
+
+ PR ada/28305
+ * sem_ch6.adb (Build_Body_To_Inline): Do not save and restore
+ environment if generic instance is a top-level one.
+
+2008-04-09 Doug Rupp <rupp@adacore.com>
+
+ * decl.c (validate_size): Set minimum size for fat pointers same as
+ access types. Code clean ups.
+
+ * gmem.c (xstrdup32): New macro for 32bit dup on VMS, noop otherwise
+ (__gnat_gmem_a2l_initialize): Dup exename into 32 bit memory on VMS
+
+ * s-auxdec-vms_64.ads, s-auxdec.ads (Short_Address_Size): New constant
+
+ * s-crtl.ads (malloc32) New function, alias for malloc
+ (realloc32) New function, alias for realloc
+
+ * socket.c (__gnat_new_socket_set): Malloc fd_set in 32 bits on VMS
+
+ * utils2.c (build_call_alloc_dealloc): Return call to short malloc if
+ allocator size is 32 and default pointer size is 64.
+ (find_common_type): Document assumption on t1/t2 vs lhs/rhs. Force use of
+ lhs type if smaller, whatever the modes.
+
+ * gigi.h (malloc32_decl): New macro definition
+
+ * utils.c (init_gigi_decls): New malloc32_decl
+ Various code clean ups.
+
+ * s-asthan-vms-alpha.adb (Process_AST.To_Address): Unchecked convert to
+ Task_Address vice System.Address.
+
+ * s-taspri-vms.ads: Import System.Aux_DEC
+ (Task_Address): New subtype of System.Aux_DEC.Short_Address
+ (Task_Address_Size): New constant size of System.Aux_DEC.Short_Address
+
+ * s-asthan-vms-alpha.adb (Process_AST.To_Address): Unchecked convert to
+ Task_Address vice System.Address.
+
+ * s-inmaop-vms.adb: Import System.Task_Primitives
+ (To_Address): Unchecked convert to Task_Address vice System.Address
+
+ * s-taprop-vms.adb (Timed_Delay): Always set the timer even if delay
+ expires now.
+ (To_Task_ID) Unchecked convert from Task_Adddress vice System.Address
+ (To_Address) Unchecked convert to Task_Address vice System.Address
+
+ * s-tpopde-vms.adb: Remove unnecessary warning pragmas
+
+ * g-socthi-vms.ads: Add 32bit size clauses on socket access types.
+
+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.
+ (Stop_Bits_Number): New type.
+ (Parity_Check): Likewise.
+ (Set): Add parameter to set the number of stop bits and
+ the parity. Parameter timeout is now a duration instead
+ of a plain integer.
+
+ * g-sercom-linux.adb:
+ Implement the stop bits and parity support for GNU/Linux.
+ Fix handling of timeout, it must be given in tenth of seconds.
+
+ * g-sercom-mingw.adb:
+ Implement the stop bits and parity support for Windows.
+ Use new s-win32.ads unit instead of declaring Win32 services
+ directly into this body.
+ Update handling of timeout as now a duration.
+
+ * s-win32.ads, s-winext.ads: New files.
+
+2008-04-08 Eric Botcazou <ebotcazou@adacore.com>
+ Arnaud Charlet <charlet@adacore.com>
+
+ * s-osinte-linux-alpha.ads, s-osinte-linux-hppa.ads: Removed.
+
+ s-taspri-posix-noaltstack.ads, s-linux.ads, s-linux-alpha.ads,
+ s-linux-hppa.ads: New files. Disable alternate stack on ia64-hpux.
+
+ * s-osinte-lynxos-3.ads,
+ (Alternate_Stack): Remove when not needed. Simplify declaration
+ otherwise.
+ (Alternate_Stack_Size): New constant.
+
+ s-osinte-mingw.ads, s-taprop-mingw.adb: Code clean up: avoid use of
+ 'Unrestricted_Access.
+
+ * s-osinte-hpux.ads, s-osinte-solaris-posix.ads, s-osinte-aix.ads,
+ s-osinte-lynxos.ads, s-osinte-freebsd.ads s-osinte-darwin.ads,
+ s-osinte-tru64.ads, s-osinte-irix.ads, s-osinte-linux.ads,
+ s-osinte-solaris.ads, s-osinte-vms.ads
+ (SA_ONSTACK): New constant.
+ (stack_t): New record type.
+ (sigaltstack): New imported function.
+ (Alternate_Stack): New imported variable.
+ (Alternate_Stack_Size): New constant.
+
+ * 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, 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.
+
+ * s-taprop-posix.adb, s-taprop-linux.adb (Get_Stack_Attributes): Delete.
+ (Enter_Task): Do not notify stack to System.Stack_Checking.Operations.
+ Establish the alternate stack if the platform makes use of n alternate
+ signal stack for stack overflows.
+ (Create_Task): Take into account the alternate stack in the stack size.
+ (Initialize): Save the address of the alternate stack into the ATCB for
+ the environment task.
+ (Create_Task): Fix assertions for NPTL library (vs old LinuxThreads).
+
+ * s-parame.adb (Minimum_Stack_Size): Increase value to 16K
+
+ * system-linux-x86.ads: (Stack_Check_Probes): Set to True.
+
+ * s-intman-posix.adb:
+ (Initialize): Set SA_ONSTACK for SIGSEGV if the platform makes use of an
+ alternate signal stack for stack overflows.
+
+ * init.c (__gnat_adjust_context_for_raise, Linux version): On i386 and
+ x86-64, adjust the saved value of the stack pointer if the signal was
+ raised by a stack checking probe.
+ (HP-UX section): Use global __gnat_alternate_stack as signal handler
+ stack and only for SIGSEGV.
+ (Linux section): Likewise on x86 and x86-64.
+ [VxWorks section]
+ (__gnat_map_signal): Now static.
+ (__gnat_error_handler): Not static any more.
+ (__gnat_adjust_context_for_raise): New function. Signal context
+ adjustment for PPC && !VTHREADS && !RTP, as required by the zcx
+ propagation circuitry.
+ (__gnat_error_handler): Second argument of a sigaction handler is a
+ pointer, not an int, and is unused.
+ Adjust signal context before mapping to exception.
+ Install signal handlers for LynxOS case.
+
+ * s-taskin.ads (Common_ATCB): New field Task_Alternate_Stack.
+ (Task_Id): Set size to Task_Address_Size
+ (To_Task_id): Unchecked convert from Task_Address vice System.Address
+ (To_Address): Unchecked convert to Task_Address vice System.Address
+
+ * s-tassta.adb (Task_Wrapper): Define the alternate stack and save its
+ address into the ATCB if the platform makes use of an alternate signal
+ stack for stack overflows.
+ (Free_Task): Add call to Finalize_Attributes_Link.
+ Add argument Relative_Deadline to pass the value specified for
+ the task. This is not yet used for any target.
+
+ * s-tassta.ads (Create_Task): Add argument Relative_Deadline to pass
+ the value specified for the task.
+
+2008-04-08 Arnaud Charlet <charlet@adacore.com>
+
+ (s-osinte-vxworks6.ads): Removed, merged with s-osinte-vxworks.ads/.adb
+ (s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads,
+ s-vxwext-rtp.adb): New files.
+
+ * s-taprop-vxworks.adb, s-osinte-vxworks.ads, s-osinte-vxworks.adb:
+ Minor updates to accomodate changes above.
+
+2008-04-08 Pascal Obry <obry@adacore.com>
+
+ * a-exetim-mingw.adb, s-gloloc-mingw.adb, s-taprop-mingw.adb,
+ s-tasinf-mingw.ad{s,b}, s-taspri-mingw.ads:
+ Use new s-win32.ads unit instead of declaration
+ from s-osinte-mingw.ads.
+
+ * s-osinte-mingw.ads:
+ Move all non tasking based interface to s-win32.ads.
+
+ * s-osprim-mingw.adb:
+ Remove duplicated declarations and use s-win32.ads
+ unit instead.
+
+2008-04-08 Vincent Celier <celier@adacore.com>
+ Arnaud Charlet <charlet@adacore.com>
+
+ * mlib-tgt-aix.adb, mlib-tgt-darwin.adb, mlib-tgt-hpux.adb,
+ mlib-tgt-irix.adb, mlib-tgt-linux.adb, mlib-tgt-lynxos.adb,
+ mlib-tgt-solaris.adb, mlib-tgt-tru64.adb, mlib-tgt-vms.adb,
+ mlib-tgt-vms.ads, mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb,
+ mlib-tgt-vxworks.adb, mlib-tgt-mingw.adb: Renamed into...
+
+ * mlib-tgt-specific-aix.adb, mlib-tgt-specific-darwin.adb,
+ mlib-tgt-specific-hpux.adb, mlib-tgt-specific-irix.adb,
+ mlib-tgt-specific-linux.adb, mlib-tgt-specific-lynxos.adb,
+ mlib-tgt-specific-solaris.adb, mlib-tgt-specific-tru64.adb,
+ mlib-tgt-vms_common.adb, mlib-tgt-vms_common.ads,
+ mlib-tgt-specific-vms-alpha.adb, mlib-tgt-specific-vms-ia64.adb,
+ mlib-tgt-specific-vxworks.adb, mlib-tgt-specific-xi.adb,
+ mlib-tgt-specific-mingw.adb: New names.
+
+ * Makefile.in:
+ On VxWorks platforms use s-stchop-limit.ads for s-stchop.ads
+ Get rid of gnatbl.
+ (EXTRA_GNATRTL_NONTASKING_OBJS): Add s-win32.o
+ 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,
+ g-expect.adb, g-locfil.adb, gnatchop.adb, gnatdll.adb, gnatlbr.adb,
+ gnatmem.adb, g-regist.adb, i-vxwork.ads, mlib-utl.adb, i-vxwork-x86.ads,
+ a-ztexio.adb, g-enblsp-vms-alpha.adb, g-enblsp-vms-ia64.adb,
+ s-os_lib.adb, s-regpat.adb, s-regpat.ads: Fix incorrect casing of
+ ASCII.NUL throughout.
+
+2008-04-08 Arnaud Charlet <charlet@adacore.com>
+ Matthew Heaney <heaney@adacore.com>
+
+ * a-cgcaso.adb, a-convec.adb: (Swap, Sift): Avoid use of complex
+ renaming.
+
+ * a-cgaaso.ads, a-secain.ads, a-slcain.ads, a-shcain.ads,
+ a-crdlli.ads, a-coormu.ads, a-ciormu.ads: modified header to conform
+ to convention for non-RM specs.
+ Add descriptive header, and documented each operation
+ document each operation
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+ Bob Duff <duff@adacore.com>
+ Gary Dismukes <dismukes@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+
+ * alloc.ads: Add entries for Obsolescent_Warnings table
+
+ * einfo.ads, einfo.adb: Minor reformatting.
+ (Is_Discriminal): New subprogram.
+ (Is_Prival): New subprogram.
+ (Is_Protected_Component): New subprogram.
+ (Is_Protected_Private): Removed.
+ (Object_Ref, Set_Object_Ref): Removed.
+ (Prival, Set_Prival): Change assertion.
+ (Privals_Chain, Set_Privals_Chain): Removed.
+ (Prival_Link, Set_Prival_Link): New subprogram.
+ (Protected_Operation, Set_Protected_Operation): Removed.
+ (Protection_Object, Set_Protection_Object): New subprogram.
+ (Write_Field17_Name): Remove case for Object_Ref.
+ (Write_Field20_Name): Add case for Prival_Link.
+ (Write_Field22_Name): Remove case for Protected_Operation,
+ Privals_Chain.
+ Add case for Protection_Object.
+ (Can_Use_Internal_Rep): Make this into a [base type only] attribute,
+ so clients
+ (Overlays_Constant): New flag
+ (Is_Constant_Object): New predicate
+ (Is_Standard_Character_Type): New predicate
+ (Optimize_Alignment_Space): New flag
+ (Optimize_Alignment_Time): New flag
+ (Has_Postconditions): New flag
+ (Obsolescent_Warrning): Field removed
+ (Spec_PPC_List): New field
+ (Relative_Deadline_Variable, Set_Relative_Deadline_Variable): Add
+ subprograms to get and set the relative deadline associated to a task.
+
+ * exp_attr.adb (May_Be_External_Call): Account for the case where the
+ Access attribute is part of a named parameter association.
+ (Expand_Access_To_Protected_Op): Test for the attribute occurring
+ within an init proc and use that directly as the scope rather than
+ traversing up to the protected operation's enclosing scope. Only apply
+ assertion on Is_Open_Scopes in the case the scope traversal is done.
+ For the init proc case use the address of the first formal (_init) as
+ the protected object reference.
+ Implement Invalid_Value attribute
+ (Expand_N_Attribute_Reference): Case Attribute_Unrestricted_Access.
+ contents of the dispatch table there is no need to duplicate the
+ itypes associated with record types (i.e. the implicit full view
+ of private types).
+ Implement Enum_Val attribute
+ (Expand_N_Attribute_Reference, case Old): Properly handle appearence
+ within _Postconditions procedure
+ (Expand_N_Attribute_Reference, case Result): Implement new attribute
+
+ * exp_ch5.adb (Expand_N_Simple_Return_Statement): Handle case in which
+ a return statement calls a function that is not available in
+ configurable runtime.
+ (Analyze_If_Statement): don't optimize simple True/False cases in -O0
+ (Expand_Non_Function_Return): Generate call to _Postconditions proc
+ (Expand_Simple_Function_Return): Ditto
+
+ * frontend.adb: Add call to Sem_Aux.Initialize
+
+ * sem_aux.ads, sem_aux.adb: New file.
+
+ * par-prag.adb: Add entries for pragmas Precondition/Postcondition
+ Add new Pragma_Relative_Deadline.
+ Add support for pragmas Check and Check_Policy
+
+ * sem_attr.ads, sem_attr.adb (Check_Not_CPP_Type): New subprogram.
+ (Check_Stream_Attribute): Add missing check (not allowed in CPP types)
+ (Analyze_Attribute): In case of attributes 'Alignment and 'size add
+ missing check because they are not allowed in CPP tagged types.
+ Add Sure parameter to Note_Possible_Modification calls
+ Add implementation of Invalid_Value attribute
+ Implement new attribute Has_Tagged_Values
+ Implement Enum_Val attribute
+ (Analyze_Attribute, case Range): Set Name_Req True for prefix of
+ generated attributes.
+ (Analyze_Attribute, case Result): If prefix of the attribute is
+ overloaded, it always resolves to the enclosing function.
+ (Analyze_Attribute, case Result): Properly deal with analysis when
+ Postconditions are not active.
+ (Resolve_Attribute, case Result): Properly deal with appearence during
+ preanalysis in spec.
+ Add processing for attribute Result
+
+ * sem_ch6.ads, sem_ch6.adb (Check_Overriding_Indicator): Code cleanup
+ for operators.
+ (Analyze_Subprogram_Body): Install private_with_clauses when the body
+ acts as a spec.
+ (Check_Inline_Pragma): recognize an inline pragma that appears within
+ the subprogram body to which it applies.
+ (Analyze_Function_Return): Check that type of the expression of a return
+ statement in a function with a class-wide result is not declared at a
+ deeper level than the function.
+ (Process_PPCs): Deal with enabling/disabling, using PPC_Enabled flag
+ (Verify_Overriding_Indicator): Handle properly subprogram bodies for
+ user- defined operators.
+ (Install_Formals): Moved to spec to allow use from Sem_Prag for
+ analysis of precondition/postcondition pragmas.
+ (Analyze_Subprogram_Body.Last_Real_Spec_Entity): New name for
+ Last_Formal, along with lots of comments on what this is about
+ (Analyze_Subprogram_Body): Fix case where we move entities from the
+ spec to the body when there are no body entities (now possible with
+ precondition and postcondition pragmas).
+ (Process_PPCs): New procedure
+ (Analyze_Subprogram_Body): Add call to Process_PPCs
+
+ * sem_ch8.adb (Use_One_Type): refine warning on a redundant use_type
+ clause.
+ (Pop_Scope): Restore Check_Policy_List on scope exit
+ (Push_Scope): Save Check_Policy_List on scope entry
+ Change name In_Default_Expression => In_Spec_Expression
+ Change name Analyze_Per_Use_Expression => Preanalyze_Spec_Expression
+ Change name Pre_Analyze_And_Resolve => Preanalyze_And_Resolve
+ (Analyze_Object_Renaming): Allow 'Reference as object
+ (Analyze_Pragma, case Restriction_Warnings): Call GNAT_Pragma
+ (Process_Restrictions_Or_Restriction_Warnings): Check for bad spelling
+ of restriction identifier.
+ Add Sure parameter to Note_Possible_Modication calls
+
+ * sem_prag.ads, sem_prag.adb (Analyze_Pragma, case Stream_Convert):
+ Don't check for primitive operations when calling Rep_Item_Too_Late.
+ (Process_Import_Or_Interface): Do not place flag on formal
+ subprograms.
+ (Analyze_Pragma, case Export): If the entity is a deferred constant,
+ propagate information to full view, which is the one elaborated by the
+ back-end.
+ (Make_Inline): the pragma is effective if it applies to an internally
+ generated subprogram declaration for a body that carries the pragma.
+ (Analyze_Pragma, case Optimize_Alignment): Set new flag
+ Optimize_Alignment_Local.
+ (Analyze_PPC_In_Decl_Part): New procedure
+ (Get_Pragma_Arg): Moved to outer level
+ (Check_Precondition_Postcondition): Change to allow new visibility
+ rules for package spec
+ (Analyze_Pragma, case Check_Policy): Change placement rules to be
+ same as pragma Suppress/Unsuppress.
+ Change name In_Default_Expression => In_Spec_Expression
+ Change name Analyze_Per_Use_Expression => Preanalyze_Spec_Expression
+ Change name Pre_Analyze_And_Resolve => Preanalyze_And_Resolve
+ (Check_Precondition_Postcondition): Do proper visibility preanalysis
+ for the case of these pragmas appearing in the spec.
+ (Check_Enabled): New function
+ (Initialize): New procedure
+ (Tree_Read): New procedure
+ (Tree_Write): New procedure
+ (Check_Precondition_Postcondition): New procedure
+ Implement pragmas Check and Check_Policy
+ Merge Assert processing with Check
+
+ * sem_warn.adb (Warn_On_Known_Condition): Handle pragma Check
+ New warning flag -gnatw.e
+
+ * sinfo.ads, sinfo.adb (Has_Relative_Deadline_Pragma): New function
+ returning whether a task (or main procedure) has a pragma
+ Relative_Deadline.
+ (Set_Has_Relative_Deadline_Pragma): Procedure to indicate that a task
+ (or main procedure) has a pragma Relative_Deadline.
+ Add Next_Pragma field to N_Pragma node
+ (PPC_Enabled): New flag
+ (Next_Pragma): Now used for Pre/Postcondition processing
+
+ * snames.h, snames.ads, snames.adb: New standard name
+ Inherit_Source_Path
+ Add entry for 'Invalid_Value attribute
+ Add entry for new attribute Has_Tagged_Values
+ Add entry for Enum_Val attribute
+ Add new standard names Aggregate, Configuration and Library.
+ Add _Postconditions
+ Add _Result
+ Add Pragma_Precondition
+ Add Pragma_Postcondition
+ Add Attribute_Result
+ New standard name Archive_Builder_Append_Option
+ (Preset_Names): Add _relative_deadline and relative_deadline definitions
+ There was also a missing non_preemptive_within_priorities.
+ (Get_Pragma_Id, Is_Pragma_Name): Add support for pragma
+ Relative_Deadline.
+ Add support for pragmas Check and Check_Policy
+
+ * tree_gen.adb: Call Sem_Aux.Tree_Write
+
+ * tree_in.adb: Call Sem_Aux.Tree_Read
+
+ * exp_ch11.adb (Expand_N_Raise_Statement): New Build_Location calling
+ sequence
+
+ * exp_intr.adb (Expand_Source_Info): New Build_Location calling
+ sequence
+
+ * exp_prag.adb (Expand_Pragma_Relative_Deadline): New procedure.
+ (Expand_N_Pragma): Call the appropriate procedure for expanding pragma
+ Relative_Deadline.
+ (Expand_Pragma_Check): New procedure
+
+ * sinput.ads, sinput.adb (Build_Location_String): Now appends to name
+ buffer.
+
+ * sinfo.adb (PPC_Enabled): New flag
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+ Gary Dismukes <dismukes@adacore.com>
+ Javier Miranda <miranda@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+
+ * fe.h: Remove global Optimize_Alignment flag, no longer used
+
+ * layout.adb: Test Optimize_Alignment flags rather than global switch
+
+ * lib.ads, lib.adb: New OA_Setting field in library record
+
+ * lib-load.adb: New OA_Setting field in library record
+
+ * lib-writ.ads, lib-writ.adb (Collect_Withs, Write_With_Lines): Place
+ units mentioned in limited_with_ clauses in the ali file, with an
+ 'Y' marker.
+ New Ox fields in U line
+
+ * opt.adb: New flag Optimize_Alignment_Local
+ (Check_Policy_List[_Config]): New flags
+
+ * opt.ads (Invalid_Value_Used): New flag
+ New switch Optimize_Alignment_Local
+ (Warn_On_Parameter_Order): New flag
+ (Check_Policy_List[_Config]): New flags
+
+ * ali.ads, ali.adb: Add indicator 'Y' to mark mark the presence of
+ limited_with clauses.
+ New data structures for Optimize_Alignment
+
+ * bcheck.adb (Check_Consistent_Restriction_No_Default_Initialization):
+ New procedure
+ (Check_Consistent_Optimize_Alignment): Rework for new structure
+ (Check_Consistent_Restrictions): Fix incorrect error message
+
+ sem_ch10.adb (Decorate_Tagged_Type): Set the Parent field of a newly
+ created class-wide type (to the Parent field of the specific type).
+ (Install_Siblings): Handle properly private_with_clauses on subprogram
+ bodies and on generic units.
+ (Analyze_With_Clause, Install_Limited_Withed_Unit): Guard against an
+ illegal limited_with_clause that names a non-existent package.
+ (Check_Body_Required): Determine whether a unit named a limited_with
+ clause needs a body.
+ (Analyze_Context): A limited_with_clause is illegal on a unit_renaming.
+ Capture Optimize_Alignment settings to set new OA_Setting field in
+ library record.
+ (Build_Limited_Views): Include task and protected type declarations.
+
+ * sem_ch3.ads, sem_ch3.adb (Analyze_Object_Declaration): Handle the
+ case of a possible constant redeclaration where the current object is
+ an entry index constant.
+ (Analyze_Object_Declaration): Generate an error in case of CPP
+ class-wide object initialization.
+ (Analyze_Object_Declaration): Add extra information on warnings for
+ declaration of unconstrained objects.
+ (Access_Type_Declaration): Set Associated_Final_Chain to Empty, to avoid
+ conflicts with the setting of Stored_Constraint in the case where the
+ access type entity has already been created as an E_Incomplete_Type due
+ to a limited with clause.
+ Use new Is_Standard_Character_Type predicate
+ (Analyze_Object_Declaration): Apply access_constant check only after
+ expression has been resolved, given that it may be overloaded with
+ several access types.
+ (Constant_Redeclaration): Additional legality checks for deferred
+ constant declarations tha involve anonymous access types and/or null
+ exclusion indicators.
+ (Analyze_Type_Declaration): Set Optimize_Alignment flags
+ (Analyze_Subtype_Declaration): Ditto
+ (Analyze_Object_Declaration): Ditto
+ (Analyze_Object_Declaration): Don't count tasks in generics
+ Change name In_Default_Expression => In_Spec_Expression
+ Change name Analyze_Per_Use_Expression => Preanalyze_Spec_Expression
+ Change name Pre_Analyze_And_Resolve => Preanalyze_And_Resolve
+ (Process_Discriminants): Additional check for illegal use of default
+ expressions in access discriminant specifications in a type that is not
+ explicitly limited.
+ (Check_Abstract_Overriding): If an inherited function dispaches on an
+ access result, it must be overridden, even if the type is a null
+ extension.
+ (Derive_Subprogram): The formals of the derived subprogram have the
+ names and defaults of the parent subprogram, even if the type is
+ obtained from the actual subprogram.
+ (Derive_Subprogram): In the presence of interfaces, a formal of an
+ inherited operation has the derived type not only if it descends from
+ the type of the formal of the parent operation, but also if it
+ implements it. This is relevant for the renamings created for the
+ primitive operations of the actual for a formal derived type.
+ (Is_Progenitor): New predicate, to determine whether the type of a
+ formal in the parent operation must be replaced by the derived type.
+
+ * sem_util.ads, sem_util.adb (Has_Overriding_Initialize): Make
+ predicate recursive to handle components that have a user-defined
+ Initialize procedure. Handle controlled derived types whose ancestor
+ has a user-defined Initialize procedured.
+ (Note_Possible_Modification): Add Sure parameter, generate warning if
+ sure modification of constant
+ Use new Is_Standard_Character_Type predicate
+ (Find_Parameter_Type): when determining whether a protected operation
+ implements an interface operation, retrieve the type of the formal from
+ the entity when the formal is an access parameter or an
+ anonymous-access-to-subprogram.
+ Move Copy_Parameter_List to sem_util, for use when building stubbed
+ subprogram bodies.
+ (Has_Access_Values): Tagged types now return False
+ (Within_HSS_Or_If): New procedure
+ (Set_Optimize_Alignment_Flags): New procedure
+ Change name In_Default_Expression => In_Spec_Expression
+ Change name Analyze_Per_Use_Expression => Preanalyze_Spec_Expression
+ Change name Pre_Analyze_And_Resolve => Preanalyze_And_Resolve
+
+2008-04-08 Tristan Gingold <gingold@adacore.com>
+
+ * s-fileio.adb: Name_Error shouldn't be raised for a tempory file.
+
+2008-04-08 Tristan Gingold <gingold@adacore.com>
+
+PR ada/10768
+
+ * cuintp.c: Fix 16 bits issue for AVR.
+ On AVR, integer is 16 bits, so it can't be used to do math with
+ Base (=32768).
+ So use long_integer instead.
+
+2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * a-calend-vms.ads, a-calend-vms.adb: Add with and use clause for
+ System.OS_Primitives.
+ Change type of various constants, parameters and local variables from
+ Time to representation type OS_Time.
+ (To_Ada_Time, To_Unix_Time): Correct sign of origin shift.
+ Remove the declaration of constant Mili_F from several routines. New
+ body for internal package Conversions_Operations.
+ (Time_Of): Add default parameters for several formals.
+
+ * a-caldel.adb: Minor reformatting
+
+ * a-calend.ads, a-calend.adb: New body for internal package
+ Conversions_Operations.
+ (Time_Of): Add default parameters for several formals.
+
+ * Makefile.rtl: Add a-ststop
+ Add Ada.Calendar.Conversions to the list of runtime files.
+ Add g-timsta
+
+ * a-calcon.adb, a-calcon.ads: New files.
+
+2008-04-08 Jose Ruiz <ruiz@adacore.com>
+ Tristan Gingold <gingold@adacore.com>
+
+ * s-interr-dummy.adb, s-interr-vms.adb, s-interr-sigaction.adb
+ (Install_Restricted_Handlers): New procedure
+ which is a simplified version of Install_Handlers that does not store
+ previously installed.
+
+ * s-interr-vxworks.adb: Fix ACATS cxc3001
+ On VxWorks interrupts can't be detached.
+ (Install_Restricted_Handlers): New procedure.
+
+ * s-interr.ads, s-interr.adb (Install_Restricted_Handlers): New
+ procedure.
+
+2008-04-08 Olivier Hainque <hainque@adacore.com>
+
+ * s-intman-vxworks.ads, s-intman-vxworks.adb
+ (Map_And_Raise_Exception): Remove. Was an import of only part of the
+ required services already implemented elsewhere.
+ (Notify_Exception): Delete body, import __gnat_error_handler instead.
+ (Initialize): Add SA_SIGINFO to the sa_flags, to get the sigcontext
+ argument passed to the handler, which we need for ZCX propagation
+ purposes.
+
+2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * adaint.h, adaint.c (__gnat_current_time_string): New routine.
+
+ * g-timsta.adb, g-timsta.ads: New files.
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * a-except-2005.ads, a-except-2005.adb, a-except.ads, a-except.adb
+ (Raise_Exception): In accordance with AI-446, raise CE for Null_Id
+ (Raise_Exception_Always): Fix documentation accordingly
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * a-strbou.ads, a-strbou.adb (From_String): New procedure (for use by
+ Stream_Convert)
+
+ * sem_ch13.ads (Rep_Item_Too_Late): Document that Stream_Convert sets
+ FOnly
+
+2008-04-08 Javier Miranda <miranda@adacore.com>
+ Robert Dewar <dewar@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+
+ * a-tags.adb (Register_Interface_Offset): New subprogram.
+ (Set_Dynamic_Offset_To_Top): New subprogram (see previous comment).
+ (To_Predef_Prims_Table_Ptr): Removed.
+ (Acc_Size): Removed.
+ (To_Acc_Size): Removed.
+ (Parent_Size): Modified to the call the subprogram returning the size of
+ the parent by means of the new TSD component Size_Func.
+
+ * a-tags.ads (Offset_To_Top_Ptr): New access type declaration.
+ (DT_Offset_To_Top_Offset): New constant value that is used to generate
+ code referencing the Offset_To_Top component of the dispatch table's
+ prologue.
+ (Prim_Ptr): New declaration of access to procedure. Used to avoid the
+ use of 'address to initialize dispatch table slots.
+ (Size_Func): New component of the TSD. Used by the run-time to call the
+ size primitive of the tagged type.
+
+ * checks.adb (Apply_Access_Check): Avoid check when accessing the
+ Offset_To_Top component of a dispatch table.
+ (Null_Exclusion_Static_Checks): If the non-null access type appears in a
+ deferred constant declaration. do not add a null expression, to prevent
+ spurious errors when full declaration is analyzed.
+ (Apply_Discriminant_Check): If both discriminant constraints share a
+ node which is not static but has no side effects, do not generate a
+ check for that discriminant.
+ (Generate_Index_Checks): Set Name_Req to true in call to duplicate
+ subexpr, since the prefix of an attribute is a name.
+
+ * checks.ads: Fix nit in comment.
+
+ * exp_ch3.ads, exp_ch3.adb (Freeze_Record_Type): Do not add the spec
+ and body of predefined primitives in case of CPP tagged type
+ derivations.
+ (Freeze_Type): Deal properly with no storage pool case
+ (Make_Predefined_Primitive_Specs): Generate specification of abstract
+ primitive Deep_Adjust if a nonlimited interface is derived from a
+ limited interface.
+ (Build_Dcheck_Functions): Create discriminant-checking functions only
+ for variants that have some component(s).
+ (Build_Slice_Assignment): In expanded code for slice assignment, handle
+ properly the case where the slice bounds extend to the last value of the
+ underlying representation.
+ (Get_Simple_Init_Val): New calling sequence, accomodate Invalid_Value
+ (Is_Variable_Size_Record): An array component has a static size if
+ index bounds are enumeration literals.
+
+ * exp_disp.adb (Make_DT): Use the first subtype to determine whether
+ an external tag has been specified for the type.
+ (Building_Static_DT): Add missing support for private types.
+ (Make_DT): Add declaration of Parent_Typ to ensure consistent access
+ to the entity associated with the parent of Typ. This is done to
+ avoid wrong access when the parent is a private type.
+ (Expand_Interface_Conversion): Improve error message when the
+ configurable runtime has no support for dynamic interface conversion.
+ (Expand_Interface_Thunk): Add missing support to interface types in
+ configurable runtime.
+ (Expand_Dispatching_Call): remove obsolete code.
+ (Make_DT): Replace occurrences of RE_Address by RE_Prim_Ptr, and
+ ensure that all subtypes and aggregates associated with dispatch
+ tables have the attribute Is_Dispatch_Table_Entity set to true.
+ (Register_Primitive): Rename one variable to improve code reading.
+ Replace occurrences of RE_Addres by RE_Prim_Ptr. Register copy o
+ of the pointer to the 'size primitive in the TSD.
+
+ * rtsfind.ads (RE_DT_Offset_To_Top_Offset): New entity.
+ (RE_Offset_To_Top_Ptr): New entity.
+ (RE_Register_Interface_Offset): New entity.
+ (RE_Set_Dynamic_Offset_To_Top): New entity.
+ (RE_Set_Offset_To_Top): Removed entity.
+ (RE_Prim_Ptr): New entity
+ (RE_Size_Func): New entity
+ (RE_Size_Ptr): New entity
+ (RTU_Id): Add Ada_Dispatching and Ada_Dispatching_EDF.
+ (Ada_Dispatching_Child): Define this new subrange.
+ (RE_Id): Add new required run-time calls (RE_Set_Deadline, RE_Clock,
+ RE_Time_Span, and RE_Time_Span_Zero).
+ (RE_Unit_Table): Add new required run-time calls
+
+ * rtsfind.adb (Get_Unit_Name): Add processing for Ada.Dispatching
+ children.
+
+ * exp_atag.ads, exp_atag.adb (Build_Offset_To_Top): New subprogram.
+ (Build_Set_Static_Offset_To_Top): New subprogram. Generates code that
+ initializes the Offset_To_Top component of a dispatch table.
+ (Build_Predef_Prims): Removed.
+ (Build_Get_Predefined_Prim_Op_Address): Replace call to Predef_Prims by
+ its actual code.
+ (Build_Set_Size_Function): New subprogram.
+
+ * exp_ch13.adb: Do not generate storage variable for storage_size zero
+ (Expand): Handle setting/restoring flag Inside_Freezing_Actions
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * a-ztdeau.adb, a-tideau.adb, a-wtdeau.adb (Puts_Dec): Fix error in
+ computing Fore when Exp > 0
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * back_end.adb: Remove Big_String_Ptr declarations (now in Types)
+
+ * errout.adb: Remove Big_String_Ptr declarations (now in Types)
+ Change name Is_Style_Msg to Is_Style_Or_Info_Msg
+
+ * fmap.adb: Remove Big_String declarations (now in Types)
+ (No_Mapping_File): New Boolean global variable
+ (Initialize): When mapping file cannot be read, set No_Mapping_File to
+ False.
+ (Update_Mapping_File): Do nothing if No_Mapping_File is True. If the
+ tables were empty before adding entries, open the mapping file
+ with Truncate = True, instead of delete/re-create.
+
+ * fname-sf.adb: Remove Big_String declarations (now in Types)
+
+ * s-strcom.adb, g-dyntab.ads, g-table.ads, s-carsi8.adb,
+ s-stalib.ads, s-carun8.adb: Add zero size Storage_Size clauses for
+ big pointer types
+
+ * table.ads: Add for Table_Ptr'Storage_Size use 0
+
+ * types.ads: Add Big_String declarations
+ Add Size_Clause of zero for big pointer types
+
+2008-04-08 Vincent Celier <celier@adacore.com>
+
+ * clean.adb (Parse_Cmd_Line): Recognize switch --subdirs=
+ (Usage): Add line for switch --subdirs=
+ Add new switch -eL, to follow symbolic links when processing project
+ files.
+
+ * gnatcmd.adb: Process switches -eL and --subdirs=
+ (Non_VMS_Usage): Output "gnaampcmd" instead of "gnat", and call
+ Program_Name to get proper tool names when AAMP_On_Target is set.
+ (Gnatcmd): Call Add_Default_Search_Dirs and Get_Target_Parameters to get
+ AAMP_On_Target set properly for use of GNAAMP tools (this is needed by
+ Osint.Program_Name).
+
+ * gnatname.adb: (Scan_Args): Recognize switches -eL and --subdirs=
+ (Usage): Add lines for switches -eL and --subdirs=
+
+ * makeusg.adb: Add line for switch --subdirs=
+
+ * prj.ads:
+ (Source_Data): New Boolean component Compiled, defaulted to True
+ (Empty_File_Name: New global variable in private part, initialized in
+ procedure Initialize.
+ (Subdirs_Option): New constant string
+ (Subdirs): New String_Ptr global variable
+ (Language_Config): New component Include_Compatible_Languages
+ (Project_Qualifier): New type for project qualifiers
+ (Project_Data): New component Qualifier
+ (Project_Configuration): New component Archive_Builder_Append_Option
+
+ * prj-nmsc.adb (Get_Unit_Exceptions): When a unit is already in
+ another imported project indicate the name of this imported project.
+ (Check_File): When a unit is in two project files, indicate the project
+ names and the paths of the source files for each project.
+ (Add_Source): Set Compiled to False if compiler driver is empty. Only
+ set object, dependency and switches file names if Compiled is True.
+ (Process_Compiler): Allow the empty string for value of attribute Driver
+ (Get_Directories): When Subdirs is not null and Object_Dir is not
+ specified, locate and create if necessary the actual object dir.
+ (Locate_Directory): When Subdirs is not empty and Create is not the
+ empty string, locate and create if necessary the actual directory
+ as a subdirectory of directory Name.
+ (Check_Library_Attributes.Check_Library): Allow a project where the only
+ "sources" are header files of file based languages to be imported by
+ library projects, in multi-language mode (gprbuild).
+ (Check_Library_Attributes.Check_Library): In multi-language mode
+ (gprbuild), allow a library project to import a project with no
+ sources, even when this is not declared explicitly.
+ (Check_If_Externally_Built): A virtual project extending an externally
+ built project is also externally built.
+ (Check_Library_Attributes): For a virtual project extending a library
+ project, inherit the library directory.
+ (Process_Project_Level_Array_Attributes): Process new attribute
+ Inherit_Source_Path.
+ For projects with specified qualifiers "standard", "library" or
+ "abstract", check that the project conforms to the qualifier.
+ (Process_Project_Level_Simple_Attributes): Process new attribute
+ Archive_Builder_Append_Option.
+
+ * switch-m.adb: (Scan_Make_Switches): Process switch --subdirs=
+ (Normalize_Compiler_Switches): Only keep compiler switches that are
+ passed to gnat1 by the gcc driver and that are stored in the ALI file
+ by gnat1.
+ Do not take into account switc -save-temps
+
+ * makegpr.adb (Compile_Link_With_Gnatmake): Transmit switch -eL if
+ gprmake is called with -eL.
+ (Scan_Arg): Recognize switch -eL
+ (Usage): Add line for switch -eL
+
+ * prj.adb (Initialize): Initialize Empty_File_Name
+ (Project_Empty): New component Qualifier
+
+ * prj-attr.ads, prj-attr.adb: New project level attribute
+ Inherit_Source_Path.
+ New project level attribute Archive_Builder_Append_Option
+
+ * prj-dect.adb: Replace System.Strings by GNAT.Strings.
+
+ * prj-ext.adb (Initialize_Project_Path): In Multi_Language mode, add
+ <prefix>/lib/gnat in the project path, after <prefix>/share/gpr, for
+ upward compatibility.
+
+ * prj-part.adb (Project_Path_Name_Of.Try_Path): In high verbosity, put
+ each Trying ..." on different lines.
+ (Parse_Single_Project): Recognize project qualifiers. Fail in qualifier
+ is "configuration" when not in configuration. Fail when in configuration
+ when a specified qualifier is other than "configuration".
+
+ * prj-proc.adb (Process_Declarative_Items): Link new elements of copied
+ full associative array together.
+ (Recursive_Process): Put the project qualifier in the project data
+
+ * prj-tree.ads, prj-tree.adb: (Project_Qualifier_Of): New function
+ (Set_Project_Qualifier_Of): New procedure
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * errout.ads: Update comments for new handling of info: messages
+
+ * erroutc.adb (Matches): New procedure
+ (Warning_Specifically_Suppressed): Modified to handle multiple * chars
+ (Is_Style_Or_Info_Msg): New name for Is_Style_Msg, now set for
+ info messages as well as style messages.
+
+ * erroutc.ads: Remove unneeded fields from Specific_Warning_Entry
+
+ * sem_elab.adb (Supply_Bodies): Create actual bodies for stubbed
+ subprograms.
+ (Check_A_Call): Special "info: " warnings now have ? in the text
+ (Elab_Warning): Use info message in static case
+
+2008-04-08 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_aggr.adb (Static_Array_Aggregate): Use Max_Aggr_Size to determine
+ whether an array aggregate with static bounds and scalar components
+ should be expanded into a static constant.
+
+2008-04-08 Gary Dismukes <dismukes@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+ Robert Dewar <dewar@adacore.com>
+
+ * sem_cat.adb (Validate_RCI_Subprogram_Declaration): Add tests of
+ Has_Stream_Attribute_ Definition when checking for available stream
+ attributes on parameters of a limited type in Ada 2005. Necessary for
+ proper recognition of visible stream attribute clauses.
+ (Has_Stream_Attribute_Definition): If the type is derived from a
+ private type, then use the derived type's underlying type for checking
+ whether it has stream attributes.
+ (Validate_Object_Declaration): The check for a user-defined Initialize
+ procedure applies also to types with controlled components or a
+ controlled ancestor.
+ Reject an object declaration in a preelaborated unit if the type is a
+ controlled type with an overriding Initialize procedure.
+ (Validate_Remote_Access_To_Class_Wide_Type): Return without further
+ checking when the parent of a dereference is a selected component and
+ the name has not been analyzed.
+
+ * sem_ch4.adb (Analyze_Selected_Component): Add checking for selected
+ prefixes that are invalid explicit dereferences of remote
+ access-to-class-wide values, first checking whether the selected
+ component is a prefixed form of call to a tagged operation.
+ (Analyze_Call): Remove code that issues an error for limited function
+ calls in illegal contexts, as we now support all of the contexts that
+ were forbidden here.
+ Allow a function call that returns a task.and appears as the
+ prefix of a selected component.
+ (Analyze_Reference): Give error message if we try to make a 'Reference
+ for an object that is atomic/aliased without its type having the
+ corresponding attribute.
+ (Analyze_Call): Remove condition checking for attributes to allow
+ calls to functions with inherently limited results as prefixes of
+ attributes. Remove related comment about Class attributes.
+ (Analyze_Selected_Component): If the prefix is a remote type, check
+ whether this is a prefixed call before reporting an error.
+ (Complete_Object_Operation): If the controlling formal is an access to
+ variable reject an actual that is a constant or an access to one.
+ (Try_Object_Operation): If prefix is a tagged protected object,retrieve
+ primitive operations from base type.
+
+ * exp_ch4.adb (Expand_N_Indexed_Component): Test for prefix that is a
+ build-in-place
+ function call and call Make_Build_In_Place_Call_In_Anonymous_Context.
+ (Expand_N_Selected_Component): Test for prefix that is a build-in-place
+ function call and call Make_Build_In_Place_Call_In_Anonymous_Context.
+ (Expand_N_Slice): Test for prefix that is a build-in-place function call
+ and call Make_Build_In_Place_Call_In_Anonymous_Context.
+ (Analyze_Call): Remove code that issues an error for limited function
+ calls in illegal contexts, as we now support all of the contexts that
+ were forbidden here.
+ New calling sequence for Get_Simple_Init_Val
+ (Expand_Boolean_Operator): Add call to Silly_Boolean_Array_Xor_Test
+ (Expand_N_Op_Not): Add call to Silly_Boolan_Array_Not_Test
+
+2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+ Robert Dewar <dewar@adacore.com>
+
+ * exp_ch2.adb: Minor reformatting.
+ (Expand_Entry_Index_Parameter): Set the type of the identifier.
+ (Expand_Entry_Reference): Add call to Expand_Protected_Component.
+ (Expand_Protected_Component): New routine.
+ (Expand_Protected_Private): Removed.
+ Add Sure parameter to Note_Possible_Modification calls
+
+ * sem_ch12.ads, sem_ch12.adb (Analyze_Subprogram_Instantiation): The
+ generated subprogram declaration must inherit the overriding indicator
+ from the instantiation node.
+ (Validate_Access_Type_Instance): If the designated type of the actual is
+ a limited view, use the available view in all cases, not only if the
+ type is an incomplete type.
+ (Instantiate_Object): Actual is illegal if the formal is null-excluding
+ and the actual subtype does not exclude null.
+ (Process_Default): Handle properly abstract formal subprograms.
+ (Check_Formal_Package_Instance): Handle properly defaulted formal
+ subprograms in a partially parameterized formal package.
+ Add Sure parameter to Note_Possible_Modification calls
+ (Validate_Derived_Type_Instance): if the formal is non-limited, the
+ actual cannot be limited.
+ (Collect_Previous_Instances): Generate instance bodies for subprograms
+ as well.
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Small): Don't
+ try to set RM_Size.
+ Add Sure parameter to Note_Possible_Modification calls
+ (Analyze_At_Clause): Preserve Comes_From_Source on Rewrite call
+ (Analyze_Attribute_Definition_Clause, case Attribute_Address): Check for
+ constant overlaid by variable and issue warning.
+ Use new Is_Standard_Character_Type predicate
+ (Analyze_Record_Representation_Clause): Check that the specified
+ Last_Bit is not less than First_Bit - 1.
+ (Analyze_Attribute_Definition_Clause, case Address): Check for
+ self-referential address clause
+
+ * sem_ch5.ads, sem_ch5.adb (Diagnose_Non_Variable_Lhs): Rewrite the
+ detection mechanism when the lhs is a prival.
+ (Analyze_Assignment): Call Check_Unprotected_Access to detect
+ assignment of a pointer to protected data, to an object declared
+ outside of the protected object.
+ (Analyze_Loop_Statement): Check for unreachable code after loop
+ Add Sure parameter to Note_Possible_Modication calls
+ Protect analysis from previous syntax error such as a scope mismatch
+ or a missing begin.
+ (Analyze_Assignment_Statement): The assignment is illegal if the
+ left-hand is an interface.
+
+ * 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
+ call as operator. Fixes problems (e.g. validity checking) which
+ come from the result looking as though it does not come from source).
+ (Resolve_Call): Check case of name in named parameter if style checks
+ are enabled.
+ (Resolve_Call): Exclude calls to Current_Task as entry formal defaults
+ from the checking that such calls should not occur from an entry body.
+ (Resolve_Call): If the return type of an Inline_Always function
+ requires the secondary stack, create a transient scope for the call
+ if the body of the function is not available for inlining.
+ (Resolve_Actuals): Apply Ada2005 checks to view conversions of arrays
+ that are actuals for in-out formals.
+ (Try_Object_Operation): If prefix is a tagged protected object,retrieve
+ primitive operations from base type.
+ (Analyze_Selected_Component): If the context is a call to a protected
+ operation the parent may be an indexed component prior to expansion.
+ (Resolve_Actuals): If an actual is of a protected subtype, use its
+ base type to determine whether a conversion to the corresponding record
+ is needed.
+ (Resolve_Short_Circuit): Handle pragma Check
+
+ * sem_eval.adb: Minor code reorganization (usea Is_Constant_Object)
+ Use new Is_Standard_Character_Type predicate
+ (Eval_Relational_Op): Catch more cases of string comparison
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+ Gary Dismukes <dismukes@adacore.com>
+
+ * s-rident.ads: Add No_Default_Initialization restriction
+
+ * exp_tss.adb:
+ (Has_Non_Null_Base_Init_Proc): Handle No_Default_Initialization case
+ (Set_TSS): Handle No_Default_Initialization case
+
+ * exp_ch6.adb (Expand_N_Subprogram_Body): Handle restriction
+ No_Default_Initialization
+ (Expand_N_Subprogram_Body): Remove redundant initialization of out
+ parameters when Normalize_Scalars is active.
+ (Add_Final_List_Actual_To_Build_In_Place_Call): Add formal Sel_Comp
+ Fix casing error in formal parameter name in call
+ (Register_Predefined_DT_Entry): Replace occurrences of RE_Address by
+ (Expand_Call, Propagate_Tag): Call Kill_Current_Values when processing a
+ dispatching call on VM targets.
+
+2008-04-08 Gary Dismukes <dismukes@adacore.com>
+ Thomas Quinot <quinot@adacore.com>
+
+ * exp_ch7.adb (Find_Final_List): Change the test for generating a
+ selected component from an access type's Associated_Final_Chain to
+ check for the presence of that field, rather than assuming it exists
+ for all named access types.
+ (Make_Clean): New formal Chained_Cleanup_Action allowing to specify a
+ procedure to call at the end of the generated cleanup procedure.
+ (Expand_Cleanup_Actions): When a new cleanup procedure is generated, and
+ and an At_End_Proc already exists in the handled sequence of statements
+ for which cleanup actions are being expanded, the original cleanup
+ action must be preserved.
+
+2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+ Robert Dewar <dewar@adacore.com>
+ Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch9.ads, exp_ch9.adb (Build_Protected_Entry,
+ Build_Unprotected_Subprogram_Body): Generate debug info for
+ declarations related to the handling of private data in task and
+ protected types.
+ (Debug_Private_Data_Declarations): New subprogram.
+ (Install_Private_Data_Declarations): Remove all debug info flagging.
+ This is now done by Debug_Private_Data_Declarations at the correct
+ stage of expansion.
+ (Build_Simple_Entry_Call): If the task name is a function call, expand
+ the prefix into an object declaration, and make the surrounding block a
+ task master.
+ (Build_Master_Entity): An internal block is a master if it wraps a call.
+ Code reformatting, update comments. Code clean up.
+ (Make_Task_Create_Call): Use 'Unrestricted_Access instead of 'Address.
+ (Replicate_Entry_Formals): If the formal is an access parameter or
+ anonymous access to subprogram, copy the original tree to create new
+ entities for the formals of the subprogram.
+ (Expand_N_Task_Type_Declaration): Create a Relative_Deadline variable
+ for tasks to store the value passed using pragma Relative_Deadline.
+ (Make_Task_Create_Call): Add the Relative_Deadline argument to the
+ run-time call to create a task.
+ (Build_Wrapper_Spec): If the controlling argument of the interface
+ operation is an access parameter with a non-null indicator, use the
+ non-null indicator on the wrapper.
+
+ * sem_ch9.adb (Analyze_Protected_Type): Only retrieve the full view when
+ present, which it may not be in the case where the type entity is an
+ incomplete view brought in by a limited with.
+ (Analyze_Task_Type): Only retrieve the full view when present, which it
+ may not be in the case where the type entity is an incomplete view brought
+ in by a limited with.
+ (Analyze_Protected_Definition): Set Is_Frozen on all itypes generated for
+ private components of a protected type, to prevent the generation of freeze
+ nodes for which there is no proper scope of elaboration.
+
+ * exp_util.ads, exp_util.adb
+ (Remove_Side_Effects): If the expression is a function call that returns a
+ task, expand into a declaration to invoke the build_in_place machinery.
+ (Find_Protection_Object): New routine.
+ (Remove_Side_Effects): Also make a copy of the value
+ for attributes whose result is of an elementary type.
+ (Silly_Boolean_Array_Not_Test): New procedure
+ (Silly_Boolean_Array_Xor_Test): New procedure
+ (Is_Volatile_Reference): New function
+ (Remove_Side_Effects): Use Is_Volatile_Reference
+ (Possible_Bit_Aligned_Component): Handle slice case properly
+
+ * exp_pakd.adb (Expand_Packed_Not): Move silly true/true or false/false
+ case test to Exp_Util
+ (Expand_Packed_Xor): Move silly true/true case test to Exp_Util
+
+2008-04-08 Thomas Quinot <quinot@adacore.com>
+
+ * exp_dist.ads, exp_dist.adb: Fix casing error in formal parameter name
+ in call
+ (Add_RACW_Features): When processing an RACW in another unit than the
+ main unit, set Body_Decls to No_List to indicate that the bodies of
+ the type's TSS must not be generated.
+ (GARLIC_Support.Add_RACW_Read_Attribute,
+ GARLIC_Support.Add_RACW_Write_Attribute): Do not generate bodies if
+ Body_Decls is No_List.
+ (PolyORB_Support.Add_RACW_Read_Attribute,
+ PolyORB_Support.Add_RACW_Write_Attribute,
+ PolyORB_Support.Add_RACW_From_Any,
+ PolyORB_Support.Add_RACW_To_Any,
+ PolyORB_Support.Add_RACW_TypeCode): Same.
+ (Transmit_As_Unconstrained): New function.
+ (Build_Ordered_Parameters_List): Use the above to order parameters.
+ (GARLIC_Support.Build_General_Calling_Stubs):
+ Use the above to determine which parameters to unmarshall using 'Input
+ at the point where their temporary is declared (as opposed to later on
+ with a 'Read call).
+ (PolyORB_Support.Build_General_Calling_Stubs):
+ Use the above to determine which parameters to unmarshall using From_Any
+ at the point where their temporary is declared (as opposed to later on
+ with an assignment).
+
+2008-04-08 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_strm.adb (Build_Record_Or_Elementary_Input_Function): If this is
+ an Input function for an access type, do not perform default
+ initialization on the local variable that receives the value, to
+ prevent spurious warnings when the type is null-excluding.
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+
+ * freeze.adb (Freeze_Entity): Improve warnings on access types in pure
+ units.
+ (Size_Known): Generic formal scalar types have known at compile
+ time size, so remove check.
+ Fix casing error in formal parameter name in call
+ (Freeze_Subprogram): If the subprogram is a user-defined operator,
+ recheck its overriding indication.
+
+2008-04-08 Vincent Celier <celier@adacore.com>
+
+ * gnat1drv.adb: Send all messages indicating an error to standard error
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * gnatbind.adb (Restriction_Could_Be_Set): New procedure
+ (List_Applicable_Restrictions): Do not list existing restrictions
+
+2008-04-08 Thomas Quinot <quinot@adacore.com>
+
+ * g-socket.ads, g-socket.adb: Improve documentation of GNAT.Sockets:
+ add a pointer to generic sockets literature
+ do not mention that the given example is "typical" usage.
+ Remove obsolete comment about multicast not being supported on Windows.
+ (Connect_Socket): Make Server mode IN rather than IN OUT
+ since this formal is never modified.
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * sprint.adb (Write_Itype): Handle Itypes whose Parent field points to
+ the declaration for some different entity.
+ (Sprint_Node_Actual, case N_Derived_Type_Definition): When an interface
+ list is precent (following the parent subtype indication), display
+ appropriate "and" keyword.
+
+ * itypes.adb: Remove unnecessary calls to Init_Size_Align and Init_Esize
+ Remove unnecessary calls to Init_Size_Align and Init_Esize.
+ Add notes on use of Parent field of an Itype
+
+2008-04-08 Ed Schonberg <schonberg@adacore.com>
+ Robert Dewar <dewar@adacore.com>
+ Gary Dismukes <dismukes@adacore.com>
+
+ * lib-xref.adb (Is_On_LHS): Remove dead code
+ (Output_Overriden_Op): If the overridden operation is itself inherited,
+ list the ancestor operation, which is the one whose body or absstract
+ specification is actually being overridden. For source navigation
+ purposes.
+
+ * sem_ch7.adb (Is_Primitive_Of): use base type to determine whether
+ operation is primitive for the type.
+ (Declare_Inherited_Private_Subprograms): If the new operation overrides
+ an inherited private subprogram, set properly the Overridden_Operation
+ attribute, for better cross-reference information.
+ (Analyze_Package_Specification): Do late analysis of spec PPCs
+ (Install_Private_Declaration, Uninstall_Declarations): Save/restore
+ properly the full view and underlying full views of a private type in a
+ child unit, whose full view is derived from a private type in a parent
+ unit, and whose own full view becomes visible in the child body.
+
+ * sem_disp.adb (Check_Dispatching_Operation): When a body declares a
+ primitive operation after the type has been frozen, add an explicit
+ reference to the type and the operation, because other primitive
+ references have been emitted already.
+ (Expand_Call, Propagate_Tag): Call Kill_Current_Values when processing a
+ dispatching call on VM targets.
+
+2008-04-08 Vincent Celier <celier@adacore.com>
+ Thomas Quinot <quinot@adacore.com>
+
+ * make.adb: (Gnatmake_Called): Remove, no longer necessary
+ (Compile_Surces): Call Delete_Temp_Config_Files only if Gnatmake_Called
+ is True and Debug_Flag_N is False. Debug_Flag_N means "keep temp files".
+ (Insert_Project_Sources): Take into account index in multi-unit source
+ files.
+ After building a library project, delete all temporary files.
+ (Initialize): Reset current output after parsing project file.
+ (Collect_Arguments_And_Compile): Never insert in the queue the sources
+ of library projects that are externally built.
+ Put file name in error and inform messages if -df is used
+ (Display): If invoked with -d7, do not display path names, but only
+ file names.
+
+ * makeutl.ads (Path_Or_File_Name): New function
+ (Path_Or_File_Name): New function
+
+2008-04-08 Arnaud Charlet <charlet@adacore.com>
+
+ * Make-lang.in: Disable warnings during first stage of bootstrap
+ Get rid of gnatbl.
+ Update dependencies.
+
+2008-04-08 Vincent Celier <celier@adacore.com>
+
+ * mlib-prj.adb (Build_Library): Compare with ALI file name in canonical
+ case to decide if ALI object file is included in library.
+ (Build_Library): Never attempt to build a library if the project is
+ externally built.
+
+2008-04-08 Thomas Quinot <quinot@adacore.com>
+
+ * nlists.adb (Is_Non_Empty_List): Remove redundant test. First
+ (No_List) is defined to return Empty.
+
+2008-04-08 Jose Ruiz <ruiz@adacore.com>
+
+ * osint.ads, osint.adb (Get_Libraries_From_Registry): Improve
+ documentation.
+ Update comments.
+ (Read_Default_Search_Dirs): Do not consider spaces as path separators
+ because spaces may be part of legal paths.
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * par-ch11.adb (P_Exception_Handler): Check indentation level for
+ handler
+
+2008-04-08 Ed Schonberg <schonberg@adacore.com>
+
+ * par-ch3.adb (P_Type_Declaration) Reject the keyword "synchronized"
+ in a type declaration, if this is not an interface declaration or
+ private type extension.
+
+2008-04-08 Vincent Celier <celier@adacore.com>
+
+ * prj-util.adb (Executable_Of): New String parameter Language. When
+ Ada_Main is False and Language is not empty, attempt to remove the body
+ suffix or the spec suffix of the language to get the base of the
+ executable file name.
+ (Put): New Boolean parameter Lower_Case, defauilted to False. When
+ Lower_Case is True, put the value in lower case in the name list.
+ (Executable_Of): If there is no executable suffix in the configuration,
+ then do not modify Executable_Extension_On_Target.
+
+ * prj-util.ads (Executable_Of): New String parameter Language,
+ defaulted to the empty string.
+ (Put): New Boolean parameter Lower_Case, defauilted to False
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * scng.adb (Scan_Identifier): Handle case of identifier starting with
+ wide character using UTF-8 encoding.
+
+2008-04-08 Javier Miranda <miranda@adacore.com>
+
+ * sem.adb (Analyze): Consider case in which we analyze an empty node
+ that was generated by a call to a runtime function that is not
+ available under the configurable runtime.
+
+ * sem.ads (Inside_Freezing_Actions): New flag.
+ (Save_Check_Policy_List): New field in scope stack entry
+
+2008-04-08 Ed Schonberg <schonberg@adacore.com>
+ Robert Dewar <dewar@adacore.com>
+
+ * sem_aggr.adb (Analyze_N_Extension_Aggregate): Add legality checks for
+ the ancestor part of an extension aggregate for a limited type.
+ (Resolve_Array_Aggregate): Issue warning for sliding of aggregate with
+ enumeration index bounds.
+ (Resolve_Array_Aggregate): Add circuit for diagnosing missing choices
+ when array is too short.
+ (Check_Expr_OK_In_Limited_Aggregate): Move function
+ Check_Non_Limited_Type from Resolve_Record_Aggregate to top level (and
+ change name).
+ (Resolve_Array_Aggregate.Resolve_Aggr_Expr):
+ Check_Expr_OK_In_Limited_Aggregates called to check for illegal limited
+ component associations.
+ (Check_Non_Limited_Type): Moved to outer level and renamed.
+ (Resolve_Record_Aggregate): In an extension aggregate, an association
+ with a box initialization can only designate a component of the
+ extension, not a component inherited from the given ancestor
+
+ * sem_case.adb: Use new Is_Standard_Character_Type predicate
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * s-imgdec.adb (Set_Decimal_Digits): Fix error when input is zero with
+ negative scale
+ (Set_Decimal_Digits): Properly handle Aft=0 (equivalent to Aft=1)
+ Properly handle case where Aft > Scale and input number is less than
+ one.
+
+2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * s-stoele.ads, s-soflin.ads: Move the location of
+ Dummy_Communication_Block from System.Storage_Elements to
+ System.Soft_Links.
+
+ * s-tpobop.ads: Add comment on usage of Dummy_Communication_Block to
+ emulate Communication_Block in certain scenarios.
+
+2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * s-strxdr.adb, s-stratt.ads, s-stratt.adb (Block_IO_OK): New
+ subprogram.
+ Add new subtype S_WWC, unchecked conversion routines From_WWC and
+ To_WWC.
+ (I_WWC, O_WWC): New routines for input and output of
+ Wide_Wide_Character.
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * stringt.adb (Write_String_Table_Entry): Handle wide characters
+ properly
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * styleg.adb (Check_Comment): Allow special char after -- in
+ non-end-of-line case
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+
+ * stylesw.adb: Implement -gnaty + - y options
+ (Set_GNAT_Style_Check_Options): Includ I in style check string
+
+ * stylesw.ads: Add comments for new style switch options
+
+2008-04-08 Sergey Rybin <rybin@adacore.com>
+
+ * tree_io.ads: Increase ASIS_Version_Number because of adding Sem_Aux
+ to the set of the GNAT components needed by ASIS.
+
+2008-04-08 Bob Duff <duff@adacore.com>
+
+ * types.h: Change CE_Null_Exception_Id to the correct value (8, was 9).
+
+2008-04-08 Tristan Gingold <gingold@adacore.com>
+
+ * vxaddr2line.adb: Use Unsigned_32 instead of Integer for address type.
+ Improve error message generation.
+
+2008-04-08 Vincent Celier <celier@adacore.com>
+
+ * a-direct.adb (Start_Search): Check for Name_Error before checking for
+ Use_Error, as specified in the RM. Check if directory is open and raise
+ Use_Error if it is not.
+
+2008-04-08 Vincent Celier <celier@adacore.com>
+ Robert Dewar <dewar@adacore.com>
+
+ * vms_conv.adb (Output_Version): Print "GNAAMP" instead of "GNAT when
+ AAMP_On_Target is set.
+
+ * vms_data.ads: Add NOxxx to style check switch list
+ Add entry COMPONENTS for -gnatVe
+ Add VMS qualifiers for -eL (/FOLLOW_LINKS_FOR_FILES) and --subdirs=
+ (/SUBDIRS=).
+ (GCC_Switches): Add /ALL_BACK_END_WARNINGS.
+ Add qualifiers for gnatmetric coupling options
+ Add note that -gnata enables all checks
+ Add entries [NO]PARAMETER_ORDER for -gnatw.p[P]
+ Fix inconsistency for VMS qualifier for the gnatpp '-rnb' option
+ New warning flag -gnatw.e
+
+ * usage.adb: Add entries for -gnaty+ -gnaty- -gnatyy
+ Add entry for -gnatyN (forgotten before)
+ Line for new warning switch -gnatw.p
+ New warning flag -gnatw.e
+
+ * gnat_ugn.texi: Add documentation fpr project file switch -aP
+ Document -gnaty - + y
+ Replace occurences of "package specification" with "package spec"
+ Define preprocessing symbols in documentation of gnatprep
+ Clarify reason for distinguishing overflow checking
+ Add documentation for project-aware tool switches -eL and --subdirs=
+ Complete list of configuration pragmas
+ Specify that, even when gnatmake switch -x is used, mains on the command
+ line need to be sources of project files.
+ Editing of gnatcheck/gnatmetric doc.
+ Add documentation for -gnatw.p/-gnatw.P
+ Add missing documentation for -fno-inline-functions.
+ Add documentation for -gnatw.e
+
+ * gnat_rm.texi: Add documentation for No_Default_Initialization
+ Replace occurences of "package specification" with "package spec"
+ Document use of * in Warnings Off string
+ Update documentation of alignment/component clauses.
+ Add documentation for Invalid_Value
+ Document new consistency rule for Optimize_Alignment
+ Add documentation for Precondition and Postcondition pragmas
+ Add documentation for Check and Check_Policy pragmas
+ Document new Enum_Val attribute
+ Remove requirement for static string in pragma Assert
+ Add documentation on GNAT.Time_Stamp
+
+ * ug_words: add entry for -gnatVe
+ Add entries for -gnat.p[P] /WARNINGS=[NO]PARAMETER_ORDER
+ Add entry for -gnatw.e
+
+ * debug.adb: Add missing documentation for d.a flag
+ Document new -gnatd.a switch.
+ Add documentation for new gnatmake debug switch -df
+
+2008-04-08 Thomas Quinot <quinot@adacore.com>
+
+ * gen-soccon.c: Bump year in copyright notices.
+
+ * g-soccon-vxworks.ads: Add new constant IP_PKTINFO
+
+2008-04-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * ctrl_c.c: Improve handling of ctrl-c on LynxOS and Windows.
+ Minor reformatting.
+
+2008-04-08 Robert Dewar <dewar@adacore.com>
+ Bob Duff <duff@adacore.com>
+
+ * impunit.adb: Add Interfaces.Java.JNI, System.Strings.Stream_Ops,
+ Ada.Calendar.Conversions, Ada.Dispatching.EDF, GNAT.Time_Stamp
+
+ * s-intman-mingw.adb: Minor comment fix -- spell 'explicitly' correctly
+
+ * g-trasym.adb: Minor comment fix -- spell 'explicitly' correctly
+
+ * g-trasym.ads: Minor comment improvements
+
+ * s-stalib.adb: Minor comment fix -- spell 'explicitly' correctly
+
+ * a-sequio.ads, a-direio.ads: improve message for tagged type
+
+ * a-strunb.ads: Minor reformatting
+
+ * a-tifiio.adb: Minor reformatting
+
+ * atree.adb (Fix_Parents): Use clearer names for formals
+ Cleanup and simplify code
+ Use named notation in calls
+
+ * exp_fixd.adb (Do_Multiply_Fixed_Universal): Use named notation in
+ confusing calls
+
+ * uintp.adb: Used named notation for some confusing calls
+
+ * bindusg.adb: Minor change in one line of output
+
+ * cstand.adb: Minor reformatting of src representation of Standard
+
+ * a-assert.ads: Add comment.
+
+ * g-decstr.adb: Fix bad indentation
+
+ * expander.ads, expander.adb: Code clean up.
+
+ * sem_dist.ads: Minor comment improvement
+
+ * sem_type.adb, g-dirope.ads, g-exctra.ads, s-valwch.adb,
+ s-wchstw.adb, targparm.ads, widechar.adb: Minor reformatting
+
+ * i-cstrin.adb: Fix casing error in formal parameter name in call
+
+2008-04-08 Ed Schonberg <schonberg@adacore.com>
+
+ * binde.adb (Gather_All_Links, Gather_Dependencies): units that are
+ mentioned in limited_with_clauses to do create semantic dependencies
+ even though they appear in the ali file.
+
+2008-04-08 Emmanuel Briot <briot@adacore.com>
+
+ * g-comlin.ads, g-comlin.adb (Expansion): Remove unreachable return
+ statement.
+ (Get_Configuration): New subprogram.
+
+ * prj-pp.ads, prj-pp.adb (Pretty_Print): new parameters Id and Id_Tree
+ These optional parameters help preserve the casing of the project's name
+ when pretty-printing.
+
+2008-04-08 Jerome Lambourg <lambourg@adacore.com>
+ Arnaud Charlet <charlet@adacore.com>
+
+ * bindgen.adb (Gen_Adainit_Ada): If the main program is a CIL function,
+ then use __gnat_set_exit_status to report the returned status code.
+
+ * comperr.adb (Compiler_Abort): Convert most bug boxes into clean error
+ messages on .NET, since some constructs of the language are not
+ properly supported.
+
+ * gnatlink.adb (Gnatlink): In case the command line is too long for the
+ .NET linker, gnatlink now concatenate all .il files and pass this to
+ ilasm.
+
+2008-04-07 Aurelien Jarno <aurelien@aurel32.net>
+ Xavier Grave <grave@ipno.in2p3.fr>
+
+ * Makefile.in: Add make ifeq define for mips/mipsel support.
+ * g-soccon-linux-mips.ads, system-linux-mipsel.ads,
+ system-linux-mips.ads: New files.
+
+2008-04-07 Aurelien Jarno <aurelien@aurel32.net>
+
+ * sysdep.c: add __GLIBC__ to the #ifdef preprocessor macros to
+ detect systems using GNU libc.
+ * gsocket.h: ditto.
+ * socket.c: ditto.
+ * adaint.c: ditto.
+ * link.c: ditto.
+
+2008-04-07 Aurelien Jarno <aurelien@aurel32.net>
+
+ * s-osinte-linux-kfreebsd.ads (SC_NPROCESSORS_ONLN): New
+ constant constant for sysconf call.
+ (bit_field): New packed boolean type used by cpu_set_t.
+ (cpu_set_t): New type corresponding to the C type with
+ the same name. Note that on the Ada side we use a bit
+ field array for the affinity mask. There is not need
+ for the C macro for setting individual bit.
+ (pthread_setaffinity_np): New imported routine.
+ * Makefile.in: Use s-tasinf-linux.ads and s-tasinf-linux.adb
+ on GNU/kFreeBSD.
+
+2008-04-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * utils2.c (build_binary_op): Fold ARRAY_REF and ARRAY_RANGE_REF too.
+
+2008-04-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gigi.h (create_subprog_type): Remove returns_with_dsp parameter.
+ * decl.c (gnat_to_gnu_entity): Adjust for above new prototype.
+ * utils.c (create_subprog_type): Remove returns_with_dsp parameter.
+ * trans.c (gnat_to_gnu) <N_Return_Statement>: Remove code dealing with
+ Return by Depressed Stack Pointer.
+
+2008-04-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * decl.c (is_variable_size): Do not unconditionally return false
+ on non-strict alignment platforms.
+
+2008-04-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * decl.c (rest_of_type_decl_compilation_no_defer): New local function
+ used to process all the variants of the specified type.
+ (gnat_to_gnu_entity): Invoke rest_of_type_decl_compilation for enumeral
+ types too. Call rest_of_type_decl_compilation_no_defer if undeferring.
+ (rest_of_type_decl_compilation): Likewise.
+ * utils.c (gnat_pushdecl): Propagate the name to all variants of type.
+
+2008-04-03 Paolo Bonzini <bonzini@gnu.org>
+
+ * gigi.h (insert_block): Kill.
+ * utils.c (insert_block): Kill.
+
+2008-04-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * decl.c (gnat_to_gnu_entity) <object>: For a constant object whose
+ type has self-referential size, get the size from the initializing
+ expression directly if it is also a constant whose nominal type
+ has self-referential size.
+
+2008-04-01 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
+
+ PR ada/33688
+ * g-soccon-darwin.ads: Define new constant IP_PKTINFO.
+
+ PR ada/33857
+ * env.c: Always include crt_externs.h if __APPLE__ is defined.
+ (__gnat_setenv): Use setenv instead of putenv if __APPLE__ is defined.
+
+2008-04-01 Andreas Jaeger <aj@suse.de>
+
+ * g-soccon-linux-ppc.ads: Add new constants SO_REUSEPORT and
+ IP_PKTINFO.
+
+2008-03-31 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * g-table.adb, g-tasloc.adb, g-traceb.ads,
+ g-trasym.adb, g-utf_32.adb, gen-soccon.c, gigi.h, gmem.c,
+ gnatbind.adb, gnatchop.adb, gnatcmd.adb,
+ gnatcmd.ads, gnatdll.adb, gnatfind.adb,
+ gnatlink.adb, gnatmem.adb, gprep.adb,
+ i-cstrea-vms.adb, i-cstrin.adb, i-pacdec.ads,
+ i-vxwork.ads, impunit.adb, init.c, initialize.c, inline.adb,
+ layout.adb, lib-writ.adb, lib-writ.ads, lib-xref.adb,
+ lib-xref.ads, lib.adb, link.c, live.ads,
+ make.adb, makegpr.adb, makeutl.adb, math_lib.adb,
+ mdll-utl.adb, mdll.ads, memroot.adb, memroot.ads,
+ misc.c, mlib-prj.adb, mlib-tgt-hpux.adb,
+ mlib-tgt-linux.adb, mlib-tgt-tru64.adb, mlib-tgt.ads,
+ namet.adb, namet.h, nlists.adb, nlists.ads,
+ nlists.h, opt.ads, osint-b.ads, osint-c.adb,
+ osint-c.ads, osint.adb, osint.ads, output.ads,
+ par-ch10.adb, par-ch12.adb, par-ch2.adb, par-ch3.adb,
+ par-ch4.adb, par-ch5.adb, par-ch6.adb, par-ch9.adb,
+ par-endh.adb, par-labl.adb, par-prag.adb,
+ par-sync.adb, par-tchk.adb, par-util.adb,
+ par.adb, prep.adb, prep.ads, prepcomp.adb, prj-attr.ads,
+ prj-dect.adb, prj-env.adb, prj-ext.adb, prj-nmsc.adb,
+ prj-nmsc.ads, prj-pp.adb, prj-proc.adb,
+ prj-strt.ads, prj-tree.ads, prj.adb, prj.ads: Fix comment typos.
+
+2008-03-31 Eric Botcazou <ebotcazou@adacore.com>
+
+ * decl.c (gnat_to_gnu_entity) <object>: Do not force a non-null
+ size if it has overflowed.
+
+2008-03-31 Olivier Hainque <hainque@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
+
+ * utils2.c (find_common_type): Document assumption on t1/t2 vs
+ lhs/rhs. Force use of lhs type if smaller, whatever the modes.
+
+2008-03-30 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * a-textio.ads, a-witeio.ads, a-ztexio.ads, ali.ads,
+ einfo.ads, erroutc.adb, erroutc.ads, exp_attr.adb,
+ exp_imgv.adb, exp_intr.adb, exp_pakd.adb,
+ exp_pakd.ads, exp_prag.adb, exp_smem.adb,
+ exp_tss.ads, exp_util.adb, exp_util.ads,
+ exp_vfpt.adb, freeze.adb, freeze.ads,
+ frontend.adb, g-alleve.adb, g-altcon.adb,
+ g-altive.ads, g-alveop.ads, g-alvevi.ads,
+ g-arrspl.adb, g-busorg.ads, g-calend.adb,
+ g-calend.ads, g-casuti.ads, g-cgideb.adb,
+ g-comlin.adb, g-comlin.ads, g-curexc.ads,
+ g-debpoo.adb, g-debpoo.ads, g-decstr.adb,
+ g-dirope.adb, g-dirope.ads, g-dynhta.ads,
+ g-dyntab.adb, g-encstr.ads, g-excact.ads,
+ g-except.ads, g-expect.ads, g-heasor.adb,
+ g-hesora.adb, g-hesorg.adb, g-htable.ads,
+ g-locfil.ads, g-md5.adb, g-md5.ads,
+ g-memdum.ads, g-moreex.ads, g-os_lib.adb,
+ g-pehage.adb, g-pehage.ads, g-regexp.adb,
+ g-regexp.ads, g-regpat.adb, g-regpat.ads,
+ g-soccon-aix.ads, g-soccon-darwin.ads,
+ g-soccon-freebsd.ads, g-soccon-hpux-ia64.ads,
+ g-soccon-hpux.ads, g-soccon-irix.ads,
+ g-soccon-linux-64.ads, g-soccon-linux-ppc.ads,
+ g-soccon-linux-x86.ads, g-soccon-lynxos.ads,
+ g-soccon-mingw.ads, g-soccon-solaris-64.ads,
+ g-soccon-solaris.ads, g-soccon-tru64.ads,
+ g-soccon-vms.ads, g-soccon-vxworks.ads,
+ g-soccon.ads, g-socket.adb, g-socket.ads,
+ g-socthi-mingw.adb, g-socthi-vms.adb,
+ g-socthi-vxworks.adb, g-soliop-mingw.ads,
+ g-soliop-solaris.ads, g-soliop.ads, g-spipat.adb,
+ g-spipat.ads, g-string.adb, g-stsifd-sockets.adb: Fix comment
+ typos.
+
+2008-03-27 Eric Botcazou <ebotcazou@adacore.com>
+
+ * decl.c (gnat_to_gnu_entity) <E_Procedure>: Also set the public flag
+ if the procedure is imported.
+
+2008-03-26 Arnaud Charlet <charlet@adacore.com>
+
+ * adaint.c: Fix warnings.
+
+2008-03-26 Arnaud Charlet <charlet@adacore.com>
+
+ * g-dirope.ads, g-dirope.adb: (Dir_Type_Value): Moved to spec.
+
+2008-03-26 Arnaud Charlet <charlet@adacore.com>
+
+ * a-witeio.adb: Fix problem with Current_Output (introduce Self).
+ Fix problem of status check for null file
+
+2008-03-26 Arnaud Charlet <charlet@adacore.com>
+
+ * s-proinf-irix-athread.ads, s-vxwork-mips.ads,
+ s-traces.ads, s-vxwork-arm.ads, s-vxwork-ppc.ads, s-vxwork-sparcv9.ads,
+ s-tasinf-mingw.ads, s-tasinf-linux.ads, s-tasdeb.ads, mlib-tgt.ads,
+ i-cstrin.ads, uintp.adb, g-catiio.adb, s-vmexta.ads,
+ s-trafor-default.ads, s-vxwork-m68k.ads: Minor reformatting. Update
+ comments.
+
+2008-03-26 Thomas Quinot <quinot@adacore.com>
+
+ PR ada/33688
+ * g-socket.ads, g-socket.adb (Options, Set_Socket_Option,
+ Get_Socket_Option): Add support for Receive_Packet_Info.
+
+ * g-soccon.ads, g-soccon-tru64.ads, g-soccon-aix.ads,
+ g-soccon-irix.ads, g-soccon-hpux.ads, g-soccon-solaris.ads,
+ g-soccon-vms.ads, g-soccon-mingw.ads, g-soccon-freebsd.ads,
+ g-soccon-hpux-ia64.ads, g-soccon-solaris-64.ads, g-soccon-darwin.ads,
+ g-soccon-lynxos.ads, g-soccon-linux-64.ads, g-soccon-linux-x86.ads: Add
+ new constants SO_REUSEPORT and IP_PKTINFO
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * a-taster.adb, s-shasto.adb, s-soflin.adb, s-taasde.adb, s-taenca.adb,
+ a-sytaco.adb, a-sytaco.ads, a-tasatt.adb, a-taside.adb,
+ a-intnam-lynxos.ads, a-retide.adb, a-intnam-tru64.ads, a-intnam-aix.ads,
+ a-intnam-irix.ads, a-intnam-hpux.ads, a-intnam-linux.ads,
+ a-intnam-solaris.ads, a-caldel-vms.adb, a-intnam-vms.ads,
+ a-excpol-abort.adb, a-intnam-mingw.ads, s-interr.adb, s-interr.ads,
+ s-intman.ads, s-gloloc.adb, s-osinte-lynxos-3.ads,
+ s-interr-sigaction.adb, s-osinte-hpux.ads, s-osinte-solaris-posix.ads,
+ a-intnam-freebsd.ads, s-osinte-freebsd.ads, s-osinte-lynxos.ads,
+ s-taspri-lynxos.ads, s-osinte-tru64.ads, s-osinte-tru64.ads,
+ s-taspri-tru64.ads, s-osinte-aix.ads, s-osinte-irix.ads,
+ s-osinte-hpux-dce.ads, s-taprop-hpux-dce.adb, s-taspri-hpux-dce.ads,
+ s-osinte-linux.ads, s-osinte-dummy.ads, s-taprop-dummy.adb,
+ s-taspri-dummy.ads, s-interr-dummy.adb, s-osinte-solaris.ads,
+ s-osinte-mingw.ads, s-taprop-solaris.adb, s-taspri-solaris.ads,
+ s-inmaop-vms.adb, s-interr-vms.adb, s-intman-vms.ads, s-osinte-vms.ads,
+ s-osinte-vms.ads, s-taprop-vms.adb, s-taspri-vms.ads,
+ s-taspri-mingw.ads, s-interr-vxworks.adb, s-inmaop-posix.adb,
+ s-intman-vxworks.ads, s-osinte-vxworks.ads, s-osprim-vxworks.adb,
+ s-taspri-vxworks.ads, s-taspri-posix.ads, a-caldel.adb, a-calend.adb,
+ a-elchha.adb, a-dynpri.adb, a-except.adb, a-except.ads, a-interr.ads,
+ a-textio.adb, a-tigeau.ads, atree.adb, s-taprob.adb, s-taprop.ads,
+ s-tarest.adb, s-tarest.ads, s-tasini.adb, s-taskin.adb, s-taskin.ads,
+ s-tasque.adb, s-tasren.adb, s-tasren.ads, s-tassta.adb, s-tassta.ads,
+ s-tasuti.adb, s-tataat.adb, s-tataat.ads, s-tpoben.adb, s-tpoben.ads,
+ s-tpobop.adb, s-tpobop.ads, s-tposen.adb, s-tposen.ads, s-valrea.adb,
+ s-valuti.adb, a-intnam-darwin.ads, s-osinte-darwin.ads, s-solita.adb,
+ a-ztinau.ads, s-osinte-linux-hppa.ads, a-except-2005.adb,
+ a-except-2005.ads, a-rttiev.adb, s-osinte-vxworks6.ads, s-regexp.adb,
+ s-tasloc.adb: Minor reformatting.
+ Update comments.
+ Remove "used for" sections from comments.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * s-tpopsp-posix.adb, s-tpopsp-solaris.adb, s-tpopsp-posix-foreign.adb,
+ s-tpopsp-lynxos.adb, s-tpopde-vms.ads, s-tpopde-vms.adb,
+ s-tpopsp-vxworks.adb, s-casi16.adb, s-caun16.adb, s-inmaop.ads,
+ s-tadeca.adb, s-tadeca.ads, s-tadert.adb, s-tadert.ads, s-tpinop.adb,
+ s-tpinop.ads, s-tporft.adb, a-rbtgso.adb, a-crbtgo.ads, a-crbtgo.adb,
+ a-crbtgk.ads, a-crbtgk.adb, a-ciorse.adb, a-cihama.ads, a-cihama.adb,
+ a-cidlli.ads, a-cidlli.adb, a-chtgop.ads, a-chtgop.adb, a-cgcaso.ads,
+ a-cgcaso.adb, a-cgaaso.adb, a-ciormu.adb, a-cihase.adb, a-swuwha.ads,
+ a-rbtgso.ads, a-cgaaso.ads, a-cgaaso.ads, a-ciorma.adb, a-chtgke.ads,
+ a-chtgke.adb, a-llfzti.ads, a-ztenau.adb, a-ztenau.ads, a-stzhas.ads,
+ a-szbzha.ads, a-szbzha.adb, a-crdlli.ads, a-crdlli.ads, a-crdlli.adb,
+ i-forbla-darwin.adb, i-forbla.ads, s-regexp.adb, a-nllrar.ads,
+ a-nlrear.ads, a-nucoar.ads, a-nurear.ads, i-forlap.ads, s-gearop.adb,
+ s-gearop.ads, s-gecobl.adb, s-gecobl.ads, s-gecola.adb, s-gecola.ads,
+ s-gerebl.adb, s-gerela.ads, a-swuwha.adb, i-forbla-unimplemented.ads,
+ double spaced if it fits on one line and otherwise single spaced.
+
+2008-03-26 Arnaud Charlet <charlet@adacore.com>
+
+ * s-taprop-irix.adb, s-taprop-tru64.adb, s-taprop-lynxos.adb,
+ s-taprop-linux.adb, s-taprop-mingw.adb, s-taprop-vxworks.adb,
+ s-taprop-posix.adb (Create_Task): Do not attempt to set task priority
+ or task info if the thread could not be created.
+
+2008-03-26 Arnaud Charlet <charlet@adacore.com>
+
+ * gnatvsn.ads (Library_Version): Bump to 4.4.
+ (Current_Year): Bump to 2008.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * ali.ads, ali.adb (Optimize_Alignment_Setting): New field in ALI record
+
+ * bcheck.adb (Check_Consistent_Optimize_Alignment): New procedure
+
+ * debug.adb: Add debug flags d.r and d.v
+ Add debug flag .T (Optimize_Alignment (Time))
+ Add debug flag .S (Optimize_Alignment (Space))
+
+ * freeze.adb (Freeze_Record_Type): Set OK_To_Reorder_Components
+ depending on setting of relevant debug flags.
+ Replace use of Warnings_Off by Has_Warnings_Off
+ (Freeze_Entity): In circuit for warning on suspicious convention
+ actuals, do not give warning if subprogram has same entity as formal
+ type, or if subprogram does not come from source.
+ (Freeze_Entity): Don't reset Is_Packed for fully rep speced record
+ if Optimize_Alignment set to Space.
+
+ * frontend.adb: Add call to Sem_Warn.Initialize
+ Add call to Sem_Warn.Output_Unused_Warnings_Off_Warnings
+ Reset Optimize_Alignment mode from debug switches .S and .T
+
+ * layout.adb (Layout_Composite_Object): Rewritten for
+ Optimize_Aligment pragma.
+
+ * lib-writ.ads, lib-writ.adb: New Ox parameter for Optimize_Alignment
+ mode.
+
+ * opt.ads, opt.adb: (Optimize_Alignment): New global switch
+
+ * par-prag.adb (N_Pragma): Chars field removed, use Chars
+ (Pragma_Identifier (.. instead, adjustments throughout to accomodate
+ this change. Add entry for pragma Optimize_Alignment
+
+ * sem_prag.adb (N_Pragma): Chars field removed, use Chars
+ (Pragma_Identifier (..
+ instead, adjustments throughout to accomodate this change.
+ (Process_Compile_Time_Warning_Or_Error): Use !! for generated msg
+ (Favor_Top_Level): Use new function Is_Access_Subprogram_Type
+ Add implementation of pragma Optimize_Alignment
+
+2008-03-26 Vincent Celier <celier@adacore.com>
+
+ * a-szuzti.adb, a-swuwti.adb, a-suteio.adb (functions Get_Line):
+ Improve memory usage to avoid use of stack.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * a-teioed.ads: Correct value of Default_Fill
+
+ * a-teioed.adb (Image): Use Fill_Character instead of '*' to fill
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * a-ztexio.adb, a-ztexio.ads, a-witeio.ads, a-witeio.adb: Fix problem
+ with Current_Output (introduce Self).
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * checks.adb (Ensure_Valid): Capture valid status if possible
+ (eliminate checks)
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * stand.ads: Deal with reordering of package standard declarations
+
+ * cstand.adb: Put package Standard declarations in proper order
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * einfo.ads, einfo.adb (N_Pragma): Chars field removed, use Chars
+ (Pragma_Identifier (.. instead.
+ (OK_To_Reorder_Components): New flag
+ (Has_Entries): Code cleanup.
+ (Warnings_Off_Used): New flag
+ (Warnings_Off_Used_Unmodified): New flag
+ (Warnings_Off_Used_Unreferenced): New flag
+ (Has_Warnings_Off): New function
+ (Has_Unmodified): New function
+ (Has_Unreferenced): New function
+ (Is_Trivial_Subprogram): New flag
+ (Is_Static_Dispatch_Table_Entity): New attribute.
+ Change name Access_Subprogram_Type_Kind to Access_Subprogram_Kind
+ (more consistent with other similar names)
+ (Access_Subprogram_Type): New classification function
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * errout.ads: Document new !! insertion sequence
+
+ * errout.adb (N_Pragma): Chars field removed, use Chars
+ (Pragma_Identifier (.. instead.
+ Replace use of Warnings_Off by Has_Warnings_Off
+ (Error_Msg_Internal): Don't delete warning ending in !!
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * par.adb (Check_No_Right_Paren): Removed no longer used
+
+ * par-ch10.adb (N_Pragma): Chars field removed, use Chars
+ (Pragma_Identifier (.. instead.
+
+ * par-ch10.adb (P_Subunit): Improvement in error recovery and message
+
+ * par-tchk.adb, par-ch5.adb, par-ch6.adb, par-ch3.adb,
+ par-ch4.adb: Minor improvements in error recovery and messages.
+
+ * erroutc.adb (Test_Style_Warning_Serious_Msg): Treat style msgs as
+ non-serious
+
+ * par-ch9.adb: Minor improvements in error recovery and messages
+ (P_Protected): Better error recovery for "protected type x;"
+
+ * par-util.adb: Minor improvements in error recovery and messages
+ (Check_No_Right_Paren): Removed no longer used
+
+2008-03-26 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_aggr.adb (Replace_Type): When checking for self-reference, verify
+ that the prefix of an attribute is the type of the aggregate being
+ expanded.
+
+2008-03-26 Javier Miranda <miranda@adacore.com>
+ Robert Dewar <dewar@adacore.com>
+
+ * exp_attr.adb (N_Pragma): Chars field removed.
+ (Expand_N_Attribute_Reference): If the designated type associated with
+ attribute 'Unrestricted_Access is a subprogram entity then replace it
+ by an E_Subprogram_Type itype.
+ Implement attribute Old
+
+ * sem_attr.ads (Attribute_Class_Array): Move to snames.ads
+
+ * sem_attr.adb (Build_Access_Subprogram_Itype): Add documentation.
+ Replace call to
+ New_Internal_Entity by call to Create_Itype to centralize calls
+ building itypes, ad propagate the convention of the designated
+ subprogram. In addition, disable the machinery cleaning constant
+ indications from all entities in current scope when 'Unrestricted_Access
+ corresponds with a node initializing a dispatch table slot.
+ (Analyze_Attribute): Parameterless attributes returning a string or a
+ type will not be called with improper arguments, so we can remove junk
+ code that was dealing with this case.
+ Implement attribute Old
+
+ * snames.ads, snames.h, snames.adb: Add entries for attribute Old
+ Add entry for pragma Optimize_Alignment
+ New standard names Sync and Synchronize
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+ Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch11.adb (Expand_At_End_Handler): Set From_At_End flag on raise
+ stmt.
+ (No_Exception_Propagation_Active): New function.
+ (Expand_Exception_Handlers): Use No_Exception_Propagation_Active.
+ Update comments, and review all uses of No_Exception_Propagation, which
+ are now correct and in sync with what gigi expects.
+
+ * restrict.ads, restrict.adb (No_Exception_Propagation_Active): New
+ function.
+ (Expand_Exception_Handlers): Use No_Exception_Propagation_Active.
+ Update comments, and review all uses of No_Exception_Propagation, which
+ are now correct and in sync with what gigi expects.
+
+2008-03-26 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Access_Definition): If the access type is the return
+ result of a protected function, create an itype reference for it
+ because usage will be in an inner scope from the point of declaration.
+ (Build_Derived_Record_Type): Inherit Reverse_Bit_Order and
+ OK_To_Reorder_Components.
+ (Make_Index): If an overloaded range includes a universal integer
+ interpretation, resolve to Standard.Integer.
+ (Analyze_Subtype_Indication): Copy Convention to subtype
+ (Check_Abstract_Interfaces): Complete semantic checks on the legality of
+ limited an synchronized progenitors in type declaration and private
+ extension declarations.
+
+ * exp_ch13.adb (Expand_N_Freeze_Entity): If the scope of the entity is a
+ protected subprogram body, determine proper scope from subprogram
+ declaration.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Op_Concat): Remove special tests for
+ No_Run_Time_Mode
+
+2008-03-26 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch5.adb (Expand_N_Extended_Return_Statement): Suppress generation
+ of a heap allocator for a limited unconstrained function return when
+ resstriction No_Allocators is active.
+ (Analyze_Allocator): The restriction No_Allocators is now only checked
+ on allocators that have Comes_From_Source set, as per RM-H.4(7).
+
+ * sem_ch4.adb (Expand_N_Extended_Return_Statement): Suppress generation
+ of a heap allocator for a limited unconstrained function return when
+ resstriction No_Allocators is active.
+ (Analyze_Allocator): The restriction No_Allocators is now only checked
+ on allocators that have Comes_From_Source set, as per RM-H.4(7).
+ (Has_Fixed_Op): If the name in a function call is Standard."*" and the
+ operands are fixed-point types, the universal_fixed predefined operation
+ is used, regardless of whether the operand type (s) have a primitive
+ operation of the same name.
+
+2008-03-26 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Make_DT, Make_Secondary_DT): Set attribute
+ Is_Static_Dispatch_Table
+ (Build_Dispatch_Tables): Replace calls to Exchange_Entities() by calls
+ to Exchange_Declarations to exchange the private and full-view. Bug
+ found working in this issue.
+ (Expand_Dispatching_Call): Propagate the convention of the subprogram
+ to the subprogram pointer type.
+ (Make_Secondary_DT): Replace generation of Prim'Address by
+ Address (Prim'Unrestricted_Access)
+ (Make_DT): Replace generation of Prim'Address by
+ Address (Prim'Unrestricted_Access)
+ (Make_Disp_*_Bodies): When compiling for a restricted profile, use
+ simple call form for single entry.
+ (Make_DT): Handle new contents of Access_Disp_Table (access to dispatch
+ tables of predefined primitives).
+ (Make_Secondary_DT): Add support to handle access to dispatch tables of
+ predefined primitives.
+ (Make_Tags): Add entities to Access_Dispatch_Table associated with
+ access to dispatch tables containing predefined primitives.
+
+ * exp_ch6.adb (N_Pragma): Chars field removed, use Chars
+ (Pragma_Identifier (.. instead, adjustments throughout to accomodate
+ this change.
+ (Register_Predefined_DT_Entry): Updated to handle the new contents
+ of attribute Access_Disp_Table (pointers to dispatch tables containing
+ predefined primitives).
+
+ * exp_util.ads, exp_util.adb (Corresponding_Runtime_Package): New
+ subprogram.
+ (Find_Interface_ADT): Updated to skip the new contents of attribute
+ Access_Dispatch_Table (pointers to dispatch tables containing predefined
+ primitives).
+
+ * sem_util.adb (Has_Abstract_Interfaces): Add missing support for
+ concurrent types.
+ (Set_Convention): Use new function Is_Access_Subprogram_Type
+ (Collect_Interfaces_Info): Updated to skip the new contents of attribute
+ Access_Dispatch_Table (pointers to dispatch tables containing predefined
+ primitives).
+
+ * exp_atag.ads, exp_atag.adb (Build_Inherit_Predefined_Prims): Improve
+ expanded code avoiding calls to Build_Predef_Prims.
+ (Build_Set_Predefined_Prim_Op_Address): Improve expanded code avoiding
+ call to Build_Get_Predefined_Prim_Op_Address.
+
+2008-03-26 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch7.adb (Make_Clean): Code cleanup using the new centralized
+ subprogram Corresponding_Runtime_Package to know the runtime package
+ that will provide support to a given protected type.
+
+ * exp_ch9.adb (Add_Private_Declarations,
+ Build_Protected_Subprogram_Call,
+ Build_Protected_Entry, Build_Simple_Entry_Call,
+ Expand_N_Protected_Body, Expand_N_Protected_Type_Declaration,
+ Expand_N_Timed_Entry_Call, Make_Initialize_Protection): Code
+ cleanup using the new centralized subprogram Corresponding_Runtime
+ Package to know the runtime package that provides support to
+ a given protected type.
+
+2008-03-26 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_pakd.adb (Expand_Bit_Packed_Element_Set): If the component
+ assignment is within the initialization procedure for a packed array,
+ and Initialize_Scalars is enabled, compile right-hand side with checks
+ off, because the value is purposely out of range.
+
+2008-03-26 Vincent Celier <celier@adacore.com>
+
+ * gnatcmd.adb: Add processing for GNAT SYNC
+
+ * vms_conv.ads: (Command_Type): Add command Sync
+
+ * vms_conv.adb (Initialize): Add Command_List data for new command Sync
+
+ * vms_data.ads: Add entries for -gnatw.w
+ Add qualifier for gnatstub --header-file option
+ Add switches for GNAT SYNC
+
+ * prj-attr.ads, prj-attr.adb: Add new package Synchronize for GNAT SYNC
+ (Add_Package_Name): New procedure
+ (Package_Name_List): New function
+ (Initialize): Add known package names to the list
+ (Register_New_Package): Add the new package name to the list
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * g-pehage.adb, g-regist.adb, g-spipat.ads, g-spipat.adb,
+ s-asthan.adb, s-parint.adb, s-rpc.adb, s-stchop.adb: Replace
+ Raise_Exception by "raise with" construct.
+
+2008-03-26 Pascal Obry <obry@adacore.com>
+
+ * Makefile.in: Add proper GNAT.Serial_Communications implementation on
+ supported platforms.
+
+ * Makefile.rtl: Add g-sercom.o.
+
+ * impunit.adb: Add g-sercom.adb.
+
+ * s-crtl.ads (open): New routine.
+ (close): Likewise.
+ (write): Likewise.
+
+ * s-osinte-mingw.ads (BYTE): New type.
+ (CHAR): Likewise.
+ (OVERLAPPED): Likewise.
+ (GENERIC_READ): New constant.
+ (GENERIC_WRITE): Likewise.
+ (OPEN_EXISTING): Likewise.
+ (PSECURITY_ATTRIBUTES): Removed this type, use anonymous access
+ type instead.
+ (CreateFile): New routine.
+ (WriteFile): Likewise.
+ (ReadFile): Likewise.
+ (CloseHandle): Move next to the other file oriented routines.
+
+ * g-sercom.ads: New unit.
+
+ * g-sercom.adb: Default implementation, calls to this unit will raise
+ a program error exception.
+
+ * g-sercom-mingw.adb, g-sercom-linux.adb: Windows and
+ GNU/Linux implementations.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * itypes.adb (Create_Itype): Use new name Access_Subprogram_Kind
+
+ * sem_ch13.adb (Validate_Unchecked_Conversion): Give warning for
+ unchecked conversion for different conventions only for subprogram
+ pointers or on VMS.
+
+2008-03-26 Vincent Celier <celier@adacore.com>
+
+ * osint-c.adb (Set_Library_Info_Name): Use canonical case file names
+ to check if the specified object file is correct.
+
+2008-03-26 Thomas Quinot <quinot@adacore.com>
+
+ * sem_cat.adb (Validate_RACW_Primitives): Do not rely on
+ Comes_From_Source to exclude primitives from being checked. We want to
+ exclude predefined primitives only, so use the appropriate specific
+ predicate. Also, flag a formal parameter of an anonymous
+ access-to-subprogram type as illegal for a primitive operation of a
+ remote access to class-wide type.
+
+2008-03-26 Vincent Celier <celier@adacore.com>
+
+ * prj-dect.adb (Parse_Package_Declaration): When a package name is not
+ known, check if it may be a missspelling of a known package name. In
+ not verbose, not mode, issue warnings only if the package name is a
+ possible misspelling.
+ In verbose mode, always issue a warning for a not known package name,
+ plus a warning if the name is a misspelling of a known package name.
+
+ * prj-part.adb (Post_Parse_Context_Clause): Modify so that only non
+ limited withs or limited withs are parse during one call.
+ (Parse_Single_Project): Post parse context clause in two passes: non
+ limited withs before current project and limited withs after current
+ project.
+
+ * prj-proc.adb (Imported_Or_Extended_Project_From): Returns an extended
+ project with the name With_Name, even if it is only extended indirectly.
+ (Recursive_Process): Process projects in order: first single withs, then
+ current project, then limited withs.
+
+ * prj-tree.adb (Imported_Or_Extended_Project_Of): Returns an extended
+ project with the name With_Name, even if it is only extended indirectly.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * scn.adb (Initialize_Scanner): Format messages belong on standard error
+
+2008-03-26 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch10.adb (Analyze_Compilation_Unit): if a unit in the context is
+ a generic subprogram that is imported, do not attempt to compile
+ non-existent body.
+
+ * sem_ch12.adb (Instantiate_Subprogram_Body): if the generic is
+ imported, do not generate a raise_program_error for the non-existent
+ body.
+ (Pre_Analyze_Actuals): If an error is detected during pre-analysis,
+ perform minimal name resolution on the generic to avoid spurious
+ warnings.
+ (Find_Actual_Type): the designated type of the actual in a child unit
+ may be declared in a parent unit without being an actual.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch11.adb: Fix No_Exception_Restriction violation for SJLJ
+ * sinfo.ads, sinfo.adb (From_At_End): New flag
+
+2008-03-26 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Subprogram_Body): Remove spurious check on
+ operations that have an interface parameter.
+ (Analyze_Subprogram_Body): Set Is_Trivial_Subprogram flag
+ Don't treat No_Return call as raise.
+
+ * sem_disp.adb (Check_Dispatching_Operations): apply check for
+ non-primitive interface primitives to access parameters, not to all
+ parameters of an access type.
+
+2008-03-26 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch7.adb (Install_Parent_Private_Declarations): If the private
+ declarations of a parent unit are made visible when compiling a child
+ instance, the parent is not a hidden open scope, even though it may
+ contain other pending instance.
+
+ * sem_ch8.adb (Restore_Scope_Stack): If an entry on the stack is a
+ hidden open scope for some child instance, it does affect the
+ visibility status of other stach entries.
+ (Analyze_Object_Renaming): Check that a class-wide object cannot be
+ renamed as an object of a specific type.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * sem_res.adb (Check_Infinite_Recursion): Diagnose definite infinite
+ recursion and raise SE directly.
+ (Resolve_Actuals): Reset Never_Set_In_Source if warnings off is
+ set for formal type for IN mode parameter.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * sem_warn.ads, sem_warn.adb (Warnings_Off_Pragmas): New table
+ (Initialize): New procedure
+ (Output_Warnings_Off_Warnings): New procedure
+ (Check_References): Suppress certain msgs if Is_Trivial_Subprogram
+ (Output_Non_Modifed_In_Out_Warnings): Ditto
+ (Warn_On_Unreferenced_Entity): Ditto
+
+2008-03-26 Vincent Celier <celier@adacore.com>
+
+ * a-direct.adb (Start_Search): Raise Use_Error if the directory is not
+ readable.
+
+2008-03-26 Matthew Heaney <heaney@adacore.com>
+
+ * a-ciorse.ads, a-cidlli.ads, a-cdlili.ads, a-cihase.ads, a-cohase.ads,
+ a-ciorma.ads, a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-coorse.ads:
+ Marked with clauses as private, and controlled operations as overriding
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * g-byorma.adb (Read_BOM): Reorder tests so that UTF_32 is recognized
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * back_end.adb, back_end.ads: Minor reformatting
+
+ * bindgen.adb: Minor clarification of comments
+
+ * fname.ads: Minor comment fixes
+
+ * g-altive.ads, g-catiio.ads, g-trasym.ads, prj.ads,
+ prj-nmsc.adb, sem_aggr.adb: Minor reformatting
+
+ * xeinfo.adb, xnmake.adb, xsinfo.adb, xtreeprs.adb,
+ xsnames.adb: Remove warnings off pragma no longer needed
+
+ * a-catizo.ads, a-calari.ads, a-calfor.adb,
+ a-calfor.ads: Fix header.
+
+2008-03-26 Tristan Gingold <gingold@adacore.com>
+
+ * init.c: Do not adjust pc for HPARITH on alpha/vms.
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * lib-xref.adb: (OK_To_Set_Reference): New function
+ (Generate_Reference): Don't set referenced from occurrence in Warnings,
+ Unmodified, or Unreferenced pragma
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * alloc.ads: Add entries for Warnings_Off_Pragmas table
+
+2008-03-26 GNAT Script <nobody@adacore.com>
+
+ * Make-lang.in: Makefile automatically updated
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * tbuild.ads, tbuild.adb, trans.c, sprint.adb, exp_prag.adb, decl.c,
+ par-ch2.adb, sem_elab.adb, sem_util.ads (N_Pragma): Chars field
+ removed, use Chars (Pragma_Identifier (.. instead, adjustments
+ throughout to accomodate this change.
+
+ * s-pooglo.ads, s-pooloc.ads: Minor comment updates
+
+ * exp_dbug.adb: Use Sem_Util.Set_Debug_Info_Needed (not
+ Einfo.Set_Needs_Debug_Info)
+
+2008-03-26 Robert Dewar <dewar@adacore.com>
+
+ * gnat_ugn.texi: Add documentation for -gnatw.w/-gnatw.W
+ Add description for the new gnatstub option '--header-file'
+ clarification of -gnatwz/-gnatwZ
+ Add a "Irix-Specific Considerations" section to document the need to
+ set LD_LIBRARY_PATH when using the default shared runtime library.
+ Added documentation for both gcov and gprof.
+
+ * gnat_rm.texi: Document that pragma Compile_Time_Warning generates
+ messages that are not suppressed when clients are compiled.
+ Add documentation of s-pooglo s-pooloc
+ Document the new GNAT.Serial_Communications API.
+ Add documentation for 'Old attribute
+ Add description of pragma Optimize_Alignment
+
+ * ug_words: Add entries for -gnatw.w -gnatw.W
+
+ * usage.adb: Add line for -gnatw.w (warn on warnings off)
+
+2008-03-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ Revert
+ 2008-03-05 Eric Botcazou <ebotcazou@adacore.com>
+ PR ada/35186
+ * decl.c (maybe_pad_type): Avoid padding an integral type when
+ bumping its alignment is sufficient.
+
+2008-03-25 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch6.adb, exp_disp.adb: Update copyright notice.
+ Fix wrong formatting (lines too long)
+
+2008-03-24 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * 9drpc.adb, a-caldel-vms.adb, a-caldel.adb,
+ a-calend-vms.adb, a-calend.adb, a-calend.ads,
+ a-calfor.adb, a-chahan.ads, a-chtgke.adb,
+ a-cihama.ads, a-ciorse.adb, a-clrefi.ads,
+ a-cohama.ads, a-comlin.ads, a-coorse.adb,
+ a-crbtgk.adb, a-direct.adb, a-except-2005.adb,
+ a-except-2005.ads, a-except.adb, a-except.ads,
+ a-exexda.adb, a-exexpr-gcc.adb, a-exexpr.adb,
+ a-exextr.adb, a-filico.ads, a-finali.ads,
+ a-intnam-aix.ads, a-intnam-solaris.ads, a-ngcefu.adb,
+ a-ngelfu.adb, a-numaux-darwin.adb, a-numeri.ads,
+ a-sequio.ads, a-strbou.ads, a-strfix.adb,
+ checks.adb, exp_ch3.adb, exp_ch4.adb,
+ exp_ch4.ads, exp_ch5.adb, exp_ch6.adb,
+ exp_ch6.ads, exp_ch7.adb, exp_ch7.ads,
+ exp_ch9.adb, exp_ch9.ads, exp_dbug.adb,
+ exp_dbug.ads, exp_disp.adb, exp_dist.adb,
+ exp_dist.ads, exp_fixd.adb, exp_fixd.ads: Fix comment typos.
+
+2008-03-24 Robert Dewar <dewar@adacore.com>
+
+ * s-tpopsp-posix.adb, s-tpopsp-solaris.adb, s-tpopsp-posix-foreign.adb,
+ s-tpopsp-lynxos.adb, s-tpopde-vms.ads, s-tpopde-vms.adb,
+ s-tpopsp-vxworks.adb, s-casi16.adb, s-caun16.adb, s-inmaop.ads,
+ s-tadeca.adb, s-tadeca.ads, s-tadert.adb, s-tadert.ads, s-tpinop.adb,
+ s-tpinop.ads, s-tporft.adb, a-rbtgso.adb, a-crbtgo.ads, a-crbtgo.adb,
+ a-crbtgk.ads, a-crbtgk.adb, a-ciorse.adb, a-cihama.ads, a-cihama.adb,
+ a-cidlli.ads, a-cidlli.adb, a-chtgop.ads, a-chtgop.adb, a-cgcaso.ads,
+ a-cgcaso.adb, a-cgaaso.adb, a-ciormu.adb, a-cihase.adb, a-swuwha.ads,
+ a-rbtgso.ads, a-cgaaso.ads, a-cgaaso.ads, a-ciorma.adb, a-chtgke.ads,
+ a-chtgke.adb, a-llfzti.ads, a-ztenau.adb, a-ztenau.ads, a-stzhas.ads,
+ a-szbzha.ads, a-szbzha.adb, a-crdlli.ads, a-crdlli.ads, a-crdlli.adb,
+ i-forbla-darwin.adb, i-forbla.ads, s-regexp.adb, a-nllrar.ads,
+ a-nlrear.ads, a-nucoar.ads, a-nurear.ads, i-forlap.ads, s-gearop.adb,
+ s-gearop.ads, s-gecobl.adb, s-gecobl.ads, s-gecola.adb, s-gecola.ads,
+ s-gerebl.adb, s-gerela.ads, a-swuwha.adb, i-forbla-unimplemented.ads,
+ double spaced if it fits on one line and otherwise single spaced.
+
+2008-03-24 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ PR documentation/15479
+ * Make-lang.in (doc/gnat_ugn.texi) Renamed from ...
+ (doc/gnat_ugn_unw.texi): ... this, and adjusted.
+ (doc/gnat_ugn.info): Renamed from ...
+ (doc/gnat_ugn_unw.info): ... this.
+ (doc/gnat_ugn.dvi): Renamed from ...
+ (doc/gnat_ugn_unw.dvi): ... this.
+ (doc/gnat_ugn.pdf): Renamed from ...
+ (doc/gnat_ugn_unw.pdf): ... this.
+ (ADA_INFOFILES, ADA_PDFFILES, ada.install-info, ada.dvi):
+ Adjusted.
+ * gnat_ugn.texi (FILE): Hard-code gnat_ugn; set filename
+ unconditionally to gnat_ugn.info. Fix cross references to the
+ GNAT Reference Manual. Convert links to the GCC, GDB, Emacs,
+ and GNU make manuals to be proper texinfo links.
+ * gnat_rm.texi: Fix cross references to the GNAT User's Guide.
+
+2008-03-21 Olivier Hainque <hainque@adacore.com>
+
+ * trans.c (Attribute_to_gnu) <'length>: Compute as (hb < lb)
+ ? 0 : hb - lb + 1 instead of max (hb - lb + 1, 0).
+
+2008-03-21 Eric Botcazou <ebotcazou@adacore.com>
+
+ * trans.c (addressable_p): Add notes on addressability issues.
+
+2008-03-21 Olivier Hainque <hainque@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+
+ * trans.c (addressable_p): Accept COND_EXPR when both arms
+ are addressable.
+ (gnat_gimplify_expr): Let the gimplifier handle &COND_EXPR.
+ (call_to_gnu): Do not use name reference in the error message
+ for a misaligned by_reference_parameter. The actual may be a
+ general expression.
+
+2008-03-18 Paolo Bonzini <bonzini@gnu.org>
+
+ * misc.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete.
+
+2008-03-15 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * gnat_rm.texi (Implementation Defined Characteristics)
+ (Wide_Text_IO, Wide_Wide_Text_IO): Add @var annotations where
+ appropriate.
+ * gnat_ugn.texi (Wide Character Encodings, Switches for gnatbind)
+ (Switches for gnatchop, Installing a library): Likewise.
+
+2008-03-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * trans.c (emit_range_check): Do not emit the check if the base type
+ of the expression is the type against which its range must be checked.
+
+2008-03-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * decl.c (maybe_pad_type): Use value_factor_p.
+
+2008-03-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * lang.opt (nostdlib): Move around.
+ * misc.c (gnat_handle_option): Fix formatting.
+ (gnat_dwarf_name): Move around.
+ * trans.c (Case_Statement_to_gnu): Fix formatting.
+ (gnat_to_gnu): Likewise.
+ * utils.c (aggregate_type_contains_array_p): Likewise.
+ (create_subprog_decl): Likewise.
+
+2008-03-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>: Do not
+ bother propagating the TYPE_USER_ALIGN flag when creating a JM type.
+
+2008-03-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * decl.c (gnat_to_gnu_entity) <E_Record_Type>: Do not force
+ BIGGEST_ALIGNMENT when capping the alignment of records with
+ strict alignment and size clause.
+
+2008-03-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * lang-specs.h: Pass -gnatwa if -Wall is passed.
+ * misc.c (gnat_handle_option) <OPT_Wall>: Expand into -Wunused
+ and -Wuninitialized.
+ (gnat_post_options): Clear warn_unused_parameter.
+
2008-03-08 Eric Botcazou <ebotcazou@adacore.com>
* utils.c (finish_record_type): Clear DECL_BIT_FIELD on sufficiently
sample.
* gnat_rm.texi, gnat_ugn.texi: Fix typos. Bump copyright years.
-2008-02-11 Joel Sherrill <joel.sherrill@oarcorp.com>
+2008-02-11 Joel Sherrill <joel.sherrill@oarcorp.com>
PR ada/35143
* env.c: Add __rtems__ to if defined.
2008-01-13 Eric Botcazou <ebotcazou@adacore.com>
- * trans.c (call_to_gnu):Invoke the addressable_p predicate only
+ * trans.c (call_to_gnu): Invoke the addressable_p predicate only
when necessary. Merge some conditional statements. Update comments.
Rename unchecked_convert_p local variable to suppress_type_conversion.
Do not suppress conversions in the In case.
for the C macro for setting individual bit.
(pthread_setaffinity_np): New imported routine.
-2008-01-03 Tero Koskinen <tero.koskinen@iki.fi>
+2008-01-03 Tero Koskinen <tero.koskinen@iki.fi>
PR ada/34647
* adaint.c (__gnat_open_new_temp, __gnat_tmp_name): Use mkstemp()
* exp_ch9.adb (Build_Simple_Entry_Call): Initialize OUT access type
parameters of an entry call.
-2007-12-03 Robert Dewar <dewar@adacore.com>
+2007-12-03 Robert Dewar <dewar@adacore.com>
Samuel Tardieu <sam@rfc1149.net>
PR ada/34287
* trans.c (gnat_to_gnu) <case N_Free_Statement>: Reformat lines
to fit in 80 columns.
-2007-11-21 Aurelien Jarno <aurelien@aurel32.net>
+2007-11-21 Aurelien Jarno
<aurelien@aurel32.net>
* s-osinte-kfreebsd-gnu.ads (To_Target_Priority): New function.
* Makefile.in: Add EH_MECHANISM=-gcc to kfreebsd-gnu. Remove SYMLIB.
PR bootstrap/33608
* tracebak.c: #undef abort after including system.h.
-2007-10-20 Danny Smith <dannysmith@users.sourceforge.net>
+2007-10-20 Danny Smith <dannysmith@users.sourceforge.net>
* Makefile.in (LIBGNAT_TARGET_PAIRS) Add s-tasinf-mingw.adb,
s-tasinf-mingw.ads, a-exetim-mingw.adb, a-exetim-mingw.ads
Also return inner allocator node, when present, so that we do not have
to look for that node again in the caller.
-2007-09-11 Jan Hubicka <jh@suse.cz>
+2007-09-11 Jan Hubicka <jh@suse.cz>
* misc.c (gnat_expand_body): Kill.
(LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION): Kill.
valid value.
2007-08-14 Thomas Quinot <quinot@adacore.com>
+ Pablo Oliveira <oliveira@adacore.com>
* exp_dist.adb (PolyORB_Support.Build_TypeCode_Function): When creating
typecode parameters for a union (in a variant record), remove
anonymous access type.
(pthread_sigmask): Now take an access sigset_t.
-2007-07-05 Joel Sherrill <joel.sherrill@oarcorp.com>
+2007-07-05 Joel Sherrill <joel.sherrill@oarcorp.com>
* s-osinte-rtems.ads: Correct prototype of pthread_sigmask.
run-time check.
2007-04-06 Arnaud Charlet <charlet@adacore.com>
- Eric Botcazou <botcazou@adacore.com>
+ Eric Botcazou <botcazou@adacore.com>
* gnatvsn.ads, comperr.adb (Get_Gnat_build_Type): Renamed Build_Type
and made constant.
'/' should be inserted between the path and the filename.
2007-04-06 Olivier Hainque <hainque@adacore.com>
- Eric Botcazou <botcazou@adacore.com>
+ Eric Botcazou <botcazou@adacore.com>
* decl.c (gnat_to_gnu_entity) <E_Constant>: Associate an external
VAR_DECL to a CONST_DECL we make for a public constant when we know the
Remove all code for DSP option
(CW_Or_Controlled_Type): new subprogram.
-2007-04-06 Eric Botcazou <botcazou@adacore.com>
+2007-04-06 Eric Botcazou <botcazou@adacore.com>
Ed Schonberg <schonberg@adacore.com>
Gary Dismukes <dismukes@adacore.com>
formals.
2007-04-06 Thomas Quinot <quinot@adacore.com>
+ Pablo Oliveira <oliveira@adacore.com>
* exp_dist.ads, exp_dist.adb (Build_To_Any_Call, Build_From_Any_Call):
Do an Unchecked_Conversion to handle the passage from the Underlying
(Set_Valid): Move to local package Validity
2007-04-06 Arnaud Charlet <charlet@adacore.com>
+ Pablo Oliveira <oliveira@adacore.com>
* g-expect.adb (Get_Command_Output): When expanding the output buffer
we must ensure that there is enough place for the new data we are going
* a-fzteio.ads, a-izteio.ads: New Ada 2005 run-time units.
-2007-04-06 Eric Botcazou <botcazou@adacore.com>
+2007-04-06 Eric Botcazou <botcazou@adacore.com>
Arnaud Charlet <charlet@adacore.com>
* init.c: Reuse PA/HP-UX code for IA-64/HP-UX, except
member in struct sigaction, so as to avoid warning for incompatible
pointer types.
-2007-04-06 Serguei Rybin <rybin@adacore.com>
+2007-04-06 Serguei Rybin <rybin@adacore.com>
* lib.ads, lib.adb (Tree_Read): Release the memory occupied by the
switches from previously loaded tree
an address always within the call instruction from a return address.
2007-04-06 Olivier Hainque <hainque@adacore.com>
- Eric Botcazou <botcazou@adacore.com>
+ Eric Botcazou <botcazou@adacore.com>
* trans.c (call_to_gnu) <TYPE_RETURNS_BY_TARGET_PTR_P>: Return an
expression with a COMPOUND_EXPR including the call instead of emitting
BIT_AND_EXPR. Handle also VIEW_CONVERT_EXPR, as the other conversion
opcodes.
-2007-04-06 Eric Botcazou <botcazou@adacore.com>
+2007-04-06 Eric Botcazou <botcazou@adacore.com>
Olivier Hainque <hainque@adacore.com>
* utils.c (update_pointer_to): Make a copy of the couple of FIELD_DECLs
function declaration node.
(builtin_decl_for): Search the builtin_decls list.
-2007-04-06 Eric Botcazou <botcazou@adacore.com>
+2007-04-06 Eric Botcazou <botcazou@adacore.com>
* s-stchop-vxworks.adb:
(Stack_Check): Raise Storage_Error if the argument has wrapped around.
of Get_Jmpbuf_Address_Soft and Get_GNAT_Exception.
* utils2.c (build_call_0_expr): Do not set TREE_SIDE_EFFECTS.
-2006-08-20 Laurent GUERBY <laurent@guerby.net>
+2006-08-20 Laurent Guerby <laurent@guerby.net>
PR ada/28716
g-socket.adb (Bind_Socket): Call Set_Address.
PR ada/27944
* s-taprop-hpux-dce.adb: Delete redundant 'with System.Parameters'.
-2006-06-06 Laurent GUERBY <laurent@guerby.net>
+2006-06-06 Laurent Guerby <laurent@guerby.net>
PR ada/27769
mlib-utl.adb: Use Program_Name.
* utils.c (create_var_decl): Use have_global_bss_p when deciding
whether to make the decl common.
-2006-02-20 Rafael Ávila de Espíndola <rafael.espindola@gmail.com>
+2006-02-20 Rafael Ávila de Espíndola <rafael.espindola@gmail.com>
* Make-lang.in (Ada): Remove.
(.PHONY): Remove Ada
* utils.c (max_size): Only test for TREE_OVERFLOW on INTEGER_CST
nodes.
-2005-11-23 Laurent GUERBY <laurent@guerby.net>
+2005-11-23 Laurent Guerby <laurent@guerby.net>
* mlib-prj.adb (Build_Library): Initialize Delete.
-2005-11-21 Joel Sherrill <joel.sherrill@oarcorp.com>
+2005-11-21 Joel Sherrill <joel.sherrill@oarcorp.com>
* socket.c: Add extern int h_errno for rtems since networking header
files are not available at this point in a tool bootstrap. Newlib
the error message text, instead use pp_format_text and the new
pretty printer APIs. This allows handling of %qs, %w, etc.
-2005-11-18 Laurent GUERBY <laurent@guerby.net>
+2005-11-18 Laurent Guerby <laurent@guerby.net>
PR ada/24857
* Makefile.in: Use s-auxdec-empty for RTEMS.
reference, declaration, or constant, since the gimplifier
can't handle that case.
-2005-11-17 Laurent GUERBY <laurent@guerby.net>
+2005-11-17 Laurent Guerby <laurent@guerby.net>
PR ada/24857
* s-auxdec-empty.ads, s-auxdec-empty.adb: New files.
* Makefile.in: Add EH_MECHANISM=-gcc to s390(x) linux.
-2005-11-16 Joel Sherrill <joel.sherrill@oarcorp.com>
+2005-11-16 Joel Sherrill <joel.sherrill@oarcorp.com>
PR ada/24855
* raise-gcc.c: Add missing stdarg.h include.
build_binary_op for the "target pointer" case. Use build_return_expr
instead of manually building the RETURN_EXPR tree.
-2005-09-16 Laurent GUERBY <laurent@guerby.net>
+2005-09-16 Laurent Guerby <laurent@guerby.net>
PR ada/23788
* s-tpinop.ads: Make this unit Preelaborate.
comment typos.
* gnat_rm.texi, gnat_ugn.texi: Fix typos.
-2005-05-16 Nathanael Nerode <neroden@gcc.gnu.org>
+2005-05-16 Nathanael Nerode <neroden@gcc.gnu.org>
PR ada/20270
* Makefile.in: Make TGT_LIB behave correctly.
* misc.c: Adjust warning() callers.
-2005-04-16 Laurent GUERBY <laurent@guerby.net>
+2005-04-16 Laurent Guerby <laurent@guerby.net>
PR ada/18847
* a-nudira.adb (Value): Check for valid string.
* adaint.c, init.c, tracebak.c: Fix comment typos.
* gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Fix typos.
-2005-04-07 Laurent GUERBY <laurent@guerby.net>
+2005-04-07 Laurent Guerby <laurent@guerby.net>
John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
* Makefile.in: Add make ifeq define for hppa linux tasking support.
relaxed rules about placement of large packed bit array components.
Add documentation of GNAT.UTF_32
-2005-03-12 Daniel Berlin <dberlin@dberlin.org>
+2005-03-12 Daniel Berlin <dberlin@dberlin.org>
* misc.c (gnat_post_options): Turn off structural
aliasing for now.
-2005-03-08 Laurent Guerby <laurent@guerby.net>
+2005-03-08 Laurent Guerby <laurent@guerby.net>
* system-linux-sparc.ads: Fix typo in previous commit.
-2005-03-07 James A. Morrison <phython@gcc.gnu.org>
- Laurent Guerby <laurent@guerby.net>
+2005-03-07 James A. Morrison
<phython@gcc.gnu.org>
+ Laurent Guerby <laurent@guerby.net>
PR ada/20035
* system-linux-sparc.ads: New.
[VMS] (#define exit hack): Remove.
2005-02-09 Pascal Obry <obry@adacore.com>
- Arnaud Charlet <charlet@adacore.com>
+ Arnaud Charlet <charlet@adacore.com>
* init.c (__gnat_initialize): Add a new parameter eh which contains the
address of the exception registration. The Win32 version of this
a-zttest.ads, a-zzunio.ads: New files. Part of new Ada 2005
library.
-2005-01-27 Laurent GUERBY <laurent@guerby.net>
+2005-01-27 Laurent Guerby <laurent@guerby.net>
* Makefile.in: Fix a-intnam.ads from previous commit,
add 2005 to copyright.
* a-intman-rtems.ads: Renamed to...
* a-intnam-rtems.ads:
-2005-01-27 Laurent GUERBY <laurent@guerby.net>
+2005-01-27 Laurent Guerby <laurent@guerby.net>
* Makefile.in: Rename GNAT RTEMS specific files.
* 5rtpopsp.adb, 4rintnam.ads, 5rosinte.adb,
* s-tpopsp-rtems.adb, a-intman-rtems.ads, s-osinte-rtems.adb,
s-osinte-rtems.ads, s-parame-rtems.adb: Replace files above.
-2005-01-27 Joel Sherrill <joel.sherrill@oarcorp.com>
- Laurent GUERBY <laurent@guerby.net>
+2005-01-27 Joel Sherrill <joel.sherrill@oarcorp.com>
+ Laurent Guerby <laurent@guerby.net>
PR ada/19488
* 5rosinte.ads: Add No_Key constant.
* 5rtpopsp.adb: Initialize ATCB_Key with No_Key and fix style.
* gsocket.h: Do not include <sys/socket.h> with RTEMS either.
-2005-01-26 Laurent GUERBY <laurent@guerby.net>
+2005-01-26 Laurent Guerby <laurent@guerby.net>
PR ada/19414
* i-cobol.adb (Valid_Numeric): Handle zero length case.
whether the ancestor type is private, as may be the case with nested
instantiations.
-2004-12-30 Sohail Somani <sohail@sohailsomani.com>
+2004-12-30 Sohail Somani <sohail@sohailsomani.com>
PR ada/19128
* trans.c (gnat_to_gnu): Fix typo: Use correct return variable.
* mlib-tgt.ads: (Build_Dynamic_Library): New parameter Options_2
-2004-10-04 Laurent GUERBY <laurent@guerby.net>
+2004-10-04 Laurent Guerby <laurent@guerby.net>
PR ada/15156
* Makefile.in: Define and use RANLIB_FLAGS.
* sem_elim.adb: Some minor code reorganization from code reading. Fix
misprint in the function name (File_Name_Match).
-2004-04-23 Laurent GUERBY <laurent@guerby.net>
+2004-04-23 Laurent Guerby <laurent@guerby.net>
* Makefile.in: Remove RANLIB_TEST, use -$(RANLIB) including after
install.
* snames.ads, snames.adb: Remove Name_Homonym_Number (Homonym_Number is
no longer used as a parameter name for Eliminate pragma).
-2004-04-22 Laurent GUERBY <laurent@guerby.net>
+2004-04-22 Laurent Guerby <laurent@guerby.net>
PR optimization/14984
PR optimization/14985
* mdll-utl.adb (Locate): New version is idempotent.
-2004-04-17 Laurent Guerby <laurent@guerby.net>
+2004-04-17 Laurent Guerby <laurent@guerby.net>
PR ada/14988 (partial)
* impunit.adb: Fix typo.
(gnat_to_gnu_entity, case E_Array_Type): Don't set and clear it.
* misc.c (LANG_HOOK_HASH_TYPE): Redefine.
-2004-03-19 Laurent Guerby <laurent@guerby.net>
+2004-03-19 Laurent Guerby <laurent@guerby.net>
* sem_prag.adb (Suppress_Unsuppress_Echeck): use loop instead of
aggregate, allows bootstrap from 3.3 on powerpc-darwin.
* s-rident.ads: Add new restriction No_Direct_Boolean_Operators
-2003-11-24 Arnaud Charlet <charlet@act-europe.fr>
+2003-11-24 Arnaud Charlet <charlet@act-europe.fr>
PR ada/13142
* utils.c (init_gigi_decls): Change name of built-in setjmp to
* misc.c (gnat_handle_option): Don't handle filenames.
-2003-07-04 H.J. Lu <hongjiu.lu@intel.com>
+2003-07-04 H.J. Lu <hongjiu.lu@intel.com>
* Make-lang.in: Replace PWD with PWD_COMMAND.
* Makefile.adalib: Likewise.
* utils.c (finish_record_type): Remove usages of ROUND_TYPE_SIZE
and ROUND_TYPE_SIZE_UNIT.
-2003-05-22 Geert Bosch <bosch@gnat.com>
+2003-05-22 Geert Bosch <bosch@gnat.com>
* gnat_rm.texi : Remove reference to Ada Core Technologies.
end_subprog_body): Likewise.
* utils2.c (build_call_raise): Likewise.
-2003-05-01 Laurent Guerby <guerby@acm.org>
+2003-05-01 Laurent Guerby <guerby@acm.org>
PR ada/10546
* 5iosinte.ads: Increase pthread_cond_t size to match recent
* utils.c (convert): No need to clear TREE_CST_RTL.
-2003-04-23 Geert Bosch <bosch@gnat.com>
+2003-04-23 Geert Bosch <bosch@gnat.com>
* 1aexcept.adb, 1aexcept.ads, 1ic.ads, 1ssecsta.adb,
1ssecsta.ads, 31soccon.ads, 31soliop.ads, 3asoccon.ads,
* misc.c (gnat_adjust_rli): #if 0.
-2003-03-31 Geert Bosch <bosch@gnat.com>
+2003-03-31 Geert Bosch <bosch@gnat.com>
PR ada/10020
* link.c : Fix misspelled "const" keyword
* gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi,
gnat_ug_wnt.texi: Regenerate.
-2003-03-02 Laurent Guerby <guerby@acm.org>
+2003-03-02 Laurent Guerby <guerby@acm.org>
* Makefile.in (install-gnatlib): Match previous change there
so it works.
* gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi,
gnat_ug_wnt.texi: Regenerate.
-2003-02-03 Christian Cornelssen <ccorn@cs.tu-berlin.de>
+2003-02-03 Christian Cornelssen <ccorn@cs.tu-berlin.de>
* Make-lang.in (ada.install-info): Let $(DESTDIR)$(infodir)
be created if necessary.
* gnat_ug.texi: Remove -fvolatile from example.
* gnat_ug_vxw.texi: Likewise.
-2003-01-29 Laurent Guerby <guerby@acm.org>
+2003-01-29 Laurent Guerby <guerby@acm.org>
PR ada/8344
* final.c: rename to adafinal.c to avoid file name conflicts with gcc file.
* Makefile.in: match previous change.
* Make-lang.in: match previous change.
-2003-01-29 Joel Sherrill <joel@OARcorp.com>
+2003-01-29 Joel Sherrill <joel@OARcorp.com>
* 5rosinte.ads: Add SIGXCPU.
* 5rtpopsp.adb: New file.
ada/gnat_ug_wnt.dvi, ada/gnat_rm.dvi): Depend on
$(srcdir)/doc/include/gcc-common.texi.
-2002-12-15 Geert Bosch <bosch@gnat.com>
+2002-12-15 Geert Bosch <bosch@gnat.com>
* sem_ch6.adb (Analyze_Subprogram_Body): Fix typo and formatting
-2002-12-14 Geert Bosch <bosch@gnat.com>
+2002-12-14 Geert Bosch <bosch@gnat.com>
PR ada/5690
* sem_ch6.adb (Analyze_Subprogram_Body): Recognize additional
* trans.c (gnu_pending_elaboration_lists): New GC root.
(build_unit_elab): Use..
-2002-10-30 Geert Bosch <bosch@gnat.com>
+2002-10-30 Geert Bosch <bosch@gnat.com>
PR ada/6558
* misc.c : Include optabs.h
* Make-lang.in (misc.o): Add dependency on optabs.h
-2002-10-29 Geert Bosch <bosch@gnat.com>
+2002-10-29 Geert Bosch <bosch@gnat.com>
PR ada/6558
* Make-lang.in (gnatbind): Depend on CONFIG_H
* doc/tm.texi (REAL_VALUE_LDEXP): Remove.
(REAL_VALUE_RNDZINT, REAL_VALUE_UNSIGNED_RNDZINT): Remove.
-2002-08-25 Andre Leis <a.leis@gmx.net>
- David Billinghurst (David.Billinghurst@riotinto.com>
+2002-08-25 Andre Leis
<a.leis@gmx.net>
+ David Billinghurst <David.Billinghurst@riotinto.com>
* sysdep.c (__gnat_ttyname): include <termios.h> on cygwin
* Makefile.in: Pass VPATH=$(fsrcdir) when calling make in rts
directory.
-2001-03-28 Robert Dewar <dewar@gnat.com>
+2001-03-28 Robert Dewar <dewar@gnat.com>
* checks.ads:
(Remove_Checks): New procedure
(Constant_Array_Ref): Deal with string literals (patch
suggested by Zack Weinberg on the gcc list)
-2001-03-28 Ed Schonberg <schonber@gnat.com>
+2001-03-28 Ed Schonberg <schonber@gnat.com>
* exp_util.adb: Duplicate_Subexpr_No_Checks_Orig =>
Duplicate_Subexpr_Move_Checks.
value of array exists before retrieving it (it may a private
protected component in a function).
-2002-03-28 Geert Bosch <bosch@gnat.com>
+2002-03-28 Geert Bosch <bosch@gnat.com>
* prj-pp.adb : New file.
2002-03-23 Florian Weimer <fw@deneb.enyo.de>
+ From Ben Brosgol <brosgol@gnat.com>
* gnat_rm.texi: Sync with ACT version.
- (From Ben Brosgol <brosgol@gnat.com>)
2002-03-20 Neil Booth <neil@daikokuya.demon.co.uk>
function call could reallocate the table which was being indexed
using its result). Fixes ada/4851.
-2001-12-19 Robert Dewar <dewar@gnat.com>
+2001-12-19 Robert Dewar <dewar@gnat.com>
* bindgen.adb: Minor reformatting
error found (there were odd exceptions to this general rule in
-gnatec/-gnatem processing)
-2001-12-19 Olivier Hainque <hainque@gnat.com>
+2001-12-19 Olivier Hainque <hainque@gnat.com>
* raise.c (__gnat_eh_personality): Exception handling personality
routine for Ada. Still in rough state, inspired from the C++ version
* raise.c (eh_personality): Add comments. Part of work for the GCC 3
exception handling integration.
-2001-12-19 Arnaud Charlet <charlet@gnat.com>
+2001-12-19 Arnaud Charlet <charlet@gnat.com>
* Makefile.in: Remove use of 5smastop.adb which is obsolete.
(HIE_SOURCES): Add s-secsta.ad{s,b}.
interrupt handling files.
(RAVEN_MOD): Removed, no longer needed.
-2001-12-19 Robert Dewar <dewar@gnat.com>
+2001-12-19 Robert Dewar <dewar@gnat.com>
* a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always
Add 2001 to copyright date
* g-regpat.adb: Change pragma Inline_Always to Inline. There is no
need to force universal inlining for these cases.
-2001-12-19 Arnaud Charlet <charlet@gnat.com>
+2001-12-19 Arnaud Charlet <charlet@gnat.com>
* s-taprob.adb: Minor clean ups so that this unit can be used in
Ravenscar HI.
* exp_ch7.adb: Allow use of secondary stack in HI mode.
Disallow it when pragma Restrictions (No_Secondary_Stack) is specified.
-2001-12-19 Vincent Celier <celier@gnat.com>
+2001-12-19 Vincent Celier <celier@gnat.com>
* prj-tree.ads (Project_Node_Record): Add comments for components
Pkg_Id and Case_Insensitive.
-2001-12-19 Pascal Obry <obry@gnat.com>
+2001-12-19 Pascal Obry <obry@gnat.com>
* g-socket.adb: Minor reformatting. Found while reading code.
-2001-12-19 Robert Dewar <dewar@gnat.com>
+2001-12-19 Robert Dewar <dewar@gnat.com>
* prj-tree.ads: Minor reformatting
* config-lang.in (diff_excludes): Remove.
-2001-12-17 Ed Schonberg <schonber@gnat.com>
+2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_res.adb (Resolve_Selected_Component): do not generate a
discriminant check if the selected component is a component of
type is private, the gnu_type is the base type of the full view,
given that the full view itself may be a subtype.
-2001-12-17 Robert Dewar <dewar@gnat.com>
+2001-12-17 Robert Dewar <dewar@gnat.com>
* sem_res.adb: Minor reformatting
* urealp.h: Add definition of Round_Even for call to Machine
Add third parameter for Machine
-2001-12-17 Ed Schonberg <schonber@gnat.com>
+2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_warn.adb (Check_One_Unit): Suppress warnings completely on
predefined units in No_Run_Time mode.
-2001-12-17 Richard Kenner <kenner@gnat.com>
+2001-12-17 Richard Kenner <kenner@gnat.com>
* misc.c (insn-codes.h): Now include.
-2001-12-17 Olivier Hainque <hainque@gnat.com>
+2001-12-17 Olivier Hainque <hainque@gnat.com>
* a-except.adb: Preparation work for future integration of the GCC 3
exception handling mechanism
(Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler):
Use the new notification routines.
-2001-12-17 Emmanuel Briot <briot@gnat.com>
+2001-12-17 Emmanuel Briot <briot@gnat.com>
* prj-tree.ads (First_Choice_Of): Document the when others case
-2001-12-17 Arnaud Charlet <charlet@gnat.com>
+2001-12-17 Arnaud Charlet <charlet@gnat.com>
* bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in
HI-E mode, in order to support Ravenscar profile properly.
* cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E
mode on 32 bits targets.
-2001-12-17 Vincent Celier <celier@gnat.com>
+2001-12-17 Vincent Celier <celier@gnat.com>
* fmap.adb: Initial version.
* Makefile.in: Add dependencies for fmap.o.
-2001-12-17 Ed Schonberg <schonber@gnat.com>
+2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit
is a package instantiation rewritten as a package body.
(Install_Withed_Unit): Undo previous change, now redundant.
-2001-12-17 Gary Dismukes <dismukes@gnat.com>
+2001-12-17 Gary Dismuke <dismukes@gnat.com>
* layout.adb:
(Compute_Length): Move conversion to Unsigned to callers.
where Max (Len, 0) wasn't getting applied due to the Unsigned
conversion used by Compute_Length.
-2001-12-17 Arnaud Charlet <charlet@gnat.com>
+2001-12-17 Arnaud Charlet <charlet@gnat.com>
* rtsfind.ads:
(OK_To_Use_In_No_Run_Time_Mode): Allow Ada.Exceptions and
* rident.ads (No_Secondary_Stack): New restriction.
-2001-12-17 Joel Brobecker <brobecke@gnat.com>
+2001-12-17 Joel Brobecker <brobecke@gnat.com>
* gnat_rm.texi: Fix minor typos. Found while reading the section
regarding "Bit_Order Clauses" that was sent to a customer.
Very interesting documentation!
-2001-12-17 Robert Dewar <dewar@gnat.com>
+2001-12-17 Robert Dewar <dewar@gnat.com>
* sem_case.adb (Choice_Image): Avoid creating improper character
literal names by using the routine Set_Character_Literal_Name. This
fixes bombs in certain error message cases.
-2001-12-17 Arnaud Charlet <charlet@gnat.com>
+2001-12-17 Arnaud Charlet <charlet@gnat.com>
* a-reatim.adb: Minor reformatting.
-2001-12-17 Ed Schonberg <schonber@gnat.com>
+2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the
case where the formal is an extension of another formal in the current
unit or in a parent generic unit.
-2001-12-17 Arnaud Charlet <charlet@gnat.com>
+2001-12-17 Arnaud Charlet <charlet@gnat.com>
* s-tposen.adb: Update comments. Minor reformatting.
Minor code clean up.
* s-tarest.adb: Update comments. Minor code reorganization.
-2001-12-17 Gary Dismukes <dismukes@gnat.com>
+2001-12-17 Gary Dismukes <dismukes@gnat.com>
* exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag
when Java_VM.
-2001-12-17 Robert Dewar <dewar@gnat.com>
+2001-12-17 Robert Dewa <dewar@gnat.com>
* exp_attr.adb: Minor reformatting
-2001-12-17 Ed Schonberg <schonber@gnat.com>
+2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle
derivations nested within a child unit: verify that the parent
type is declared in an outer scope.
-2001-12-17 Robert Dewar <dewar@gnat.com>
+2001-12-17 Robert Dewar <dewar@gnat.com>
* sem_ch12.adb: Minor reformatting
-2001-12-17 Ed Schonberg <schonber@gnat.com>
+2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post
warning if current unit is a predefined one, from which bodies may
have been deleted.
-2001-12-17 Robert Dewar <dewar@gnat.com>
+2001-12-17 Robert Dewar <dewar@gnat.com>
* eval_fat.ads: Add comment that Round_Even is referenced in Ada code
Fix header format. Add 2001 to copyright date.
* exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference,
which caused CE during compilation if checks were enabled.
-2001-12-17 Vincent Celier <celier@gnat.com>
+2001-12-17 Vincent Celier <celier@gnat.com>
* make.adb:
(Switches_Of): New function
* snames.ads: Added Exec_Dir
-2001-12-17 Robert Dewar <dewar@gnat.com>
+2001-12-17 Robert Dewar <dewar@gnat.com>
* make.adb: Minor reformatting
* snames.ads: Alphebetize entries for project file
-2001-12-17 Ed Schonberg <schonber@gnat.com>
+2001-12-17 Ed Schonberg <schonber@gnat.com>
* trans.c (process_freeze_entity): Do nothing if the entity is a
subprogram that was already elaborated.
-2001-12-17 Richard Kenner <kenner@gnat.com>
+2001-12-17 Richard Kenner <kenner@gnat.com>
* decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment
and Esize if object is referenced via pointer.
-2001-12-17 Ed Schonberg <schonber@gnat.com>
+2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
is discrete before analyzing choices.
-2001-12-17 Joel Brobecker <brobecke@gnat.com>
+2001-12-17 Joel Brobecker <brobecke@gnat.com>
* bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
containing the name of the Ada Main Program. This string is mainly
intended for the debugger.
(Gen_Output_File_C): Do the equivalent change when generating a C file.
-2001-12-17 Robert Dewar <dewar@gnat.com>
+2001-12-17 Robert Dewar <dewar@gnat.com>
* ali.adb: Set new Dummy_Entry field in dependency entry
* types.ads: (Dummy_Time_Stamp): New value for non-existant files
-2001-12-17 Robert Dewar <dewar@gnat.com>
+2001-12-17 Robert Dewar <dewar@gnat.com>
* ali.adb: Type reference does not reset current file.
there could be a real problem here with an uninitialized reference
to Hbound, but no actual example of failure has been found.
-2001-12-17 Laurent Pautet <pautet@gnat.com>
+2001-12-17 Laurent Pautet
<pautet@gnat.com>
* g-socket.ads:
Fix comment of Shutdown_Socket and Close_Socket. These functions
When an error occurs, an exception is raised with the error message
as exception message.
-2001-12-17 Robert Dewar <dewar@gnat.com>
+2001-12-17 Robert Dewar <dewar@gnat.com>
* frontend.adb: Move call to Check_Unused_Withs from Frontend, so
that it happens before modification of Sloc values for -gnatD.
sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix
spelling errors.
-2001-12-14 Vincent Celier <celier@gnat.com>
+2001-12-14 Vincent Celier <celier@gnat.com>
* osint.adb(Create_Debug_File): When an object file is specified,
put the .dg file in the same directory as the object file.
-2001-12-14 Robert Dewar <dewar@gnat.com>
+2001-12-14 Robert Dewar <dewar@gnat.com>
* osint.adb: Minor reformatting
Add 2001 to copyright date
Add entry for Latin-5 (Cyrillic ISO-8859-5)
-2001-12-14 Matt Gingell <gingell@gnat.com>
+2001-12-14 Matt Gingell <gingell@gnat.com>
* adaint.c: mktemp is a macro on Lynx and can not be used as an
expression.
-2001-12-14 Richard Kenner <kenner@gnat.com>
+2001-12-14 Richard Kenner <kenner@gnat.com>
* misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR
if operand is CONSTRUCTOR.
-2001-12-14 Ed Schonberg <schonber@gnat.com>
+2001-12-14 Ed Schonberg <schonber@gnat.com>
* trans.c (tree_transform, case N_Assignment_Statement): Set lineno
before emiting check on right-hand side, so that exception information
is correct.
-2001-12-14 Richard Kenner <kenner@gnat.com>
+2001-12-14 Richard Kenner <kenner@gnat.com>
* utils.c (create_var_decl): Throw away initializing expression
if just annotating types and non-constant.
-2001-12-14 Vincent Celier <celier@gnat.com>
+2001-12-14 Vincent Celier <celier@gnat.com>
* prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to
Default_Ada_...
* ChangeLog: Remove piece of diff output.
-2001-12-14 Geert Bosch <bosch@gnat.com>
+2001-12-14 Geert Bosch <bosch@gnat.com>
* config-lang.in: Update copyright notice
* sem_ch3.adb: Minor reformatting.
-2001-12-12 Geert Bosch <bosch@gnat.com>
+2001-12-12 Geert Bosch <bosch@gnat.com>
* freeze.ads: Update copyright date.
* gnat-style.texi: Fix typo.
-2001-12-12 Geert Bosch <bosch@gnat.com>
+2001-12-12 Geert Bosch <bosch@gnat.com>
* einfo.h: Regenerate.
-2001-12-12 Ed Schonberg <schonber@gnat.com>
+2001-12-12 Ed Schonberg <schonber@gnat.com>
* sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names
on known node types, rather than untyped fields. Further cleanups.
-2001-12-12 Robert Dewar <dewar@gnat.com>
+2001-12-12 Robert Dewar <dewar@gnat.com>
* sem_ch12.adb:
(Save_Entity_Descendant): Minor comment update.
* sem_ch12.adb (Associated_Node): Minor documentation cleanup.
-2001-12-12 Robert Dewar <dewar@gnat.com>
+2001-12-12 Robert Dewar <dewar@gnat.com>
* s-stalib.adb: Add more comments on with statements being needed
* s-fatgen.ads: Minor comment improvement
-2001-12-12 Ed Schonberg <schonber@gnat.com>
+2001-12-12 Ed Schonberg <schonber@gnat.com>
* sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a
formal derived type, look for an inherited component from the full
view of the parent, if any.
-2001-12-12 Robert Dewar <dewar@gnat.com>
+2001-12-12 Robert Dewar <dewar@gnat.com>
* checks.ads (Apply_Alignment_Check): New procedure.
* mlib-fil.ads: Minor reformatting
-2001-12-12 Ed Schonberg <schonber@gnat.com>
+2001-12-12 Ed Schonberg <schonber@gnat.com>
* exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous
fix to any component reference if enclosing record has non-standard
representation.
-2001-12-12 Vincent Celier <celier@gnat.com>
+2001-12-12 Vincent Celier <celier@gnat.com>
* g-dirope.ads (Find, Wildcard_Iterator): Moved to child package
Iteration
-2001-12-12 Ed Schonberg <schonber@gnat.com>
+2001-12-12 Ed Schonberg <schonber@gnat.com>
* freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in
sem_attr.
-2001-12-12 Robert Dewar <dewar@gnat.com>
+2001-12-12 Robert Dewar <dewar@gnat.com>
* impunit.adb: Add entry for GNAT.Directory_Operations.Iteration
-2001-12-12 Emmanuel Briot <briot@gnat.com>
+2001-12-12 Emmanuel Briot <briot@gnat.com>
* g-regexp.adb: Remove all debug code, since it isn't required anymore,
and it adds dependencies to system.io.
-2001-12-12 Pascal Obry <obry@gnat.com>
+2001-12-12 Pascal Obry <obry@gnat.com>
* g-dirope.adb (Expand_Path.Var): Correctly detect end of
variable name.
-2001-12-11 Ed Schonberg <schonber@gnat.com>
+2001-12-11 Ed Schonberg <schonber@gnat.com>
* sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance
that is the parent of other generics, the instance body replaces the
instance node. Retrieve the instance of the spec, which is the one
that is visible in clients and within the body.
-2001-12-11 Vincent Celier <celier@gnat.com>
+2001-12-11 Vincent Celier <celier@gnat.com>
* gnatmain.adb: Initial version.
* snames.ads: Added Gnatstub.
-2001-12-11 Vincent Celier <celier@gnat.com>
+2001-12-11 Vincent Celier <celier@gnat.com>
* prj-attr.adb (Initialization_Data): Change name from
Initialisation_Data.
-2001-12-11 Emmanuel Briot <briot@gnat.com>
+2001-12-11 Emmanuel Briot <briot@gnat.com>
* g-regpat.adb (Parse_Literal): Properly handle simple operators ?,
+ and * applied to backslashed expressions like \r.
-2001-12-11 Vasiliy Fofanov <fofanov@gnat.com>
+2001-12-11 Vasiliy Fofanov <fofanov@gnat.com>
* g-os_lib.ads: String_List type added, Argument_List type is now
subtype of String_List.
-2001-12-11 Robert Dewar <dewar@gnat.com>
+2001-12-11 Robert Dewar <dewar@gnat.com>
* g-os_lib.ads: Change copyright to FSF
Add comments for String_List type
-2001-12-11 Vincent Celier <celier@gnat.com>
+2001-12-11 Vincent Celier <celier@gnat.com>
* g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a
string to the buffer).
-2001-12-11 Ed Schonberg <schonber@gnat.com>
+2001-12-11 Ed Schonberg <schonber@gnat.com>
* freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in
sem_attr.
to avoid anomalies where the bound of the type appears to raise
constraint error.
-2001-12-11 Robert Dewar <dewar@gnat.com>
+2001-12-11 Robert Dewar <dewar@gnat.com>
* lib-xref.adb (Output_Refs): Make sure pointers are always properly
handled.
-2001-12-11 Ed Schonberg <schonber@gnat.com>
+2001-12-11 Ed Schonber <schonber@gnat.com>
* sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a
renamed unit before checking for recursive instantiations.
-2001-12-11 Emmanuel Briot <briot@gnat.com>
+2001-12-11 Emmanuel Briot <briot@gnat.com>
* prj.ads: Add comments for some of the fields.
-2001-12-11 Robert Dewar <dewar@gnat.com>
+2001-12-11 Robert Dewar <dewar@gnat.com>
* lib-xref.adb (Output_Refs): Don't output type references outside
the main unit if they are not otherwise referenced.
-2001-12-11 Ed Schonberg <schonber@gnat.com>
+2001-12-11 Ed Schonberg <schonber@gnat.com>
* sem_attr.adb (Analyze_attribute, case Address and Size): Simplify
code and diagnose additional illegal uses
* sem_util.adb (Is_Object_Reference): An indexed component is an
object only if the prefix is.
-2001-12-11 Vincent Celier <celier@gnat.com>
+2001-12-11 Vincent Celier <celier@gnat.com>
* g-diopit.adb: Initial version.
* Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS
-2001-12-11 Robert Dewar <dewar@gnat.com>
+2001-12-11 Robert Dewar <dewar@gnat.com>
* sem_attr.adb: Minor reformatting
-2001-12-11 Ed Schonberg <schonber@gnat.com>
+2001-12-11 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb: Clarify some ???.
-2001-12-11 Robert Dewar <dewar@gnat.com>
+2001-12-11 Robert Dewar <dewar@gnat.com>
* exp_util.adb (Must_Be_Aligned): Removed, replaced by
Exp_Pakd.Known_Aligned_Enough
* sem_ch13.adb (Check_Address_Alignment): Removed, extended
version is moved to Exp_Ch13.
-2001-12-11 Robert Dewar <dewar@gnat.com>
+2001-12-11 Robert Dewar <dewar@gnat.com>
* einfo.ads: Minor reformatting
* exp_pakd.adb: Minor reformatting. Note that prevous RH should say:
(Known_Aligned_Enough): Replaces Must_Be_Aligned.
-2001-12-11 Vincent Celier <celier@gnat.com>
+2001-12-11 Vincent Celier <celier@gnat.com>
* gnatcmd.adb:
Changed /COMPILE_ONLY to /ACTIONS=COMPILE
is enabled, do not kill the code for the condition, to preserve
warning.
-2001-12-11 Robert Dewar <dewar@gnat.com>
+2001-12-11 Robert Dewar <dewar@gnat.com>
* checks.adb (Insert_Valid_Check): Apply validity check to expression
of conversion, not to result of conversion.
-2001-12-11 Ed Schonberg <schonber@gnat.com>
+2001-12-11 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
before freezing parent. If the declarations are mutually recursive,
an access to the current record type may be frozen before the
derivation is complete.
-2001-12-05 Vincent Celier <celier@gnat.com>
+2001-12-05 Vincent Celier <celier@gnat.com>
* gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY,
-c /COMPILE_ONLY, -l /LINK_ONLY
(Scan_Make_Arg): Reset the bind and link step flags when -u
or -gnatc has been specified.
-2001-12-05 Ed Schonberg <schonber@gnat.com>
+2001-12-05 Ed Schonberg <schonber@gnat.com>
* sem_eval.adb (Eval_Concatenation): If left operand is a null string,
get bounds from right operand.
* exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B
and C48009J
-2001-12-05 Vincent Celier <celier@gnat.com>
+2001-12-05 Vincent Celier <celier@gnat.com>
* prj-nmsc.adb Minor reformatting
* prj-nmsc.adb (Language_Independent_Check): Reset Library flag if
set and libraries are not supported.
-2001-12-05 Ed Schonberg <schonber@gnat.com>
+2001-12-05 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb (Build_Derived_Private_Type): set Public status of
private view explicitly, so the back-end can treat as a global
when appropriate.
-2001-12-05 Ed Schonberg <schonber@gnat.com>
+2001-12-05 Ed Schonberg <schonber@gnat.com>
* sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation
unit, always replace instance node with new body, for ASIS use.
-2001-12-05 Vincent Celier <celier@gnat.com>
+2001-12-05 Vincent Celier <celier@gnat.com>
* prj-nmsc.adb (Language_Independent_Check): Issue a warning if
libraries are not supported and both attributes Library_Name and
* prj-proc.adb: Put the change indicated above that was forgotten.
-2001-12-05 Robert Dewar <dewar@gnat.com>
+2001-12-05 Robert Dewar <dewar@gnat.com>
* Makefile.in: Add dependencies for System.IO for GNAT.Regexp
-2001-12-05 Ed Schonberg <schonber@gnat.com>
+2001-12-05 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
constraint, introduce explicit subtype declaration and derive from it.
* sem_ch3.adb: Minor reformatting
-2001-12-05 Robert Dewar <dewar@gnat.com>
+2001-12-05 Robert Dewar <dewar@gnat.com>
* checks.adb (Determine_Range): Increase cache size for checks.
Minor reformatting
* g-regexp.adb: Use System.IO instead of Ada.Text_IO.
-2001-12-05 Ed Schonberg <schonber@gnat.com>
+2001-12-05 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb (Analyze_Object_Declaration): If expression is an
aggregate with static wrong size, attach generated Raise node to
declaration.
-2001-12-05 Robert Dewar <dewar@gnat.com>
+2001-12-05 Robert Dewar <dewar@gnat.com>
* sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute.
Fixes compilation abandoned bomb in B24009B.
-2001-12-05 Ed Schonberg <schonber@gnat.com>
+2001-12-05 Ed Schonberg <schonber@gnat.com>
* sem_ch12.adb:
Document use of Associated_Node on Selected_Components.
(Save_Global_Operand_Descendants): Change to Save_Entity_Descendants,
to clarify use of untyped descendant fields.
-2001-12-05 Robert Dewar <dewar@gnat.com>
+2001-12-05 Robert Dewar <dewar@gnat.com>
* prj-dect.ads: Add ??? comment
Add 2001 to copyright notice (was not done in after all)
* snames.ads: Minor reformatting
-2001-12-05 Geert Bosch <bosch@gnat.com>
+2001-12-05 Geert Bosch <bosch@gnat.com>
* snames.adb: Autoupdate
-2001-12-05 Vincent Celier <celier@gnat.com>
+2001-12-05 Vincent Celier <celier@gnat.com>
* prj-dect.adb (Parse): Rename parameter Modifying to Extends.
* snames.ads: Change modifying to extends.
-2001-12-05 Robert Dewar <dewar@gnat.com>
+2001-12-05 Robert Dewar <dewar@gnat.com>
* sem_warn.adb: Remove stuff for conditionals, we are not going to
do this after all.
* sem_warn.ads: Remove stuff for conditionals, we are not going to
do this after all. Add 2001 to copyright notice
-2001-12-04 Geert Bosch <bosch@gnat.com>
+2001-12-04 Geert Bosch <bosch@gnat.com>
* einfo.h, sinfo.h, treeprs.ads: Regenerate.
-2001-12-04 Robert Dewar <dewar@gnat.com>
+2001-12-04 Robert Dewar <dewar@gnat.com>
* errout.adb (Error_Msg): Ignore attempt to put error msg at junk
location if we already have errors. Stops some cases of cascaded
* errout.adb: Improve comment.
-2001-12-04 Robert Dewar <dewar@gnat.com>
+2001-12-04 Robert Dewar <dewar@gnat.com>
* sem_ch12.adb:
(Analyze_Formal_Type_Definition): Defend against Error.
* par-ch12.adb (F_Formal_Type_Declaration): In case of error,
remove following semicolon if present. Removes cascaded error.
-2001-12-04 Douglas B. Rupp <rupp@gnat.com>
+2001-12-04 Douglas B. Rupp <rupp@gnat.com>
* bindgen.adb:
(Gen_Exception_Table_Ada): Write "begin" and then return if Num
(Gen_Exception_Table_C): Return if Num exceptions equals 0.
Fixes PIWG E tests (which have to be run with -gnatL).
-2001-12-04 Robert Dewar <dewar@gnat.com>
+2001-12-04 Robert Dewar <dewar@gnat.com>
* einfo.ads: Minor reformatting
-2001-12-04 Ed Schonberg <schonber@gnat.com>
+2001-12-04 Ed Schonberg <schonber@gnat.com>
* einfo.ads: Block_Node points to the identifier of the block, not to
the block node itself, to preserve the link when the block is
* sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to
identifier of block node, rather than to node itself.
-2001-12-04 Gary Dismukes <dismukes@gnat.com>
+2001-12-04 Gary Dismukes <dismukes@gnat.com>
* layout.adb:
(Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
fail name resolution. Also set Analyzed.
Remove with and use of Sem_Res.
-2001-12-04 Arnaud Charlet <charlet@gnat.com>
+2001-12-04 Arnaud Charlet <charlet@gnat.com>
* Makefile.in: (HIE_SOURCES): add s-fat*.
-2001-12-04 Robert Dewar <dewar@gnat.com>
+2001-12-04 Robert Dewar <dewar@gnat.com>
* sem_attr.adb:
(Compile_Time_Known_Attribute): New procedure.
(Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure
proper range check.
-2001-12-04 Ed Schonberg <schonber@gnat.com>
+2001-12-04 Ed Schonberg <schonber@gnat.com>
* sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before
processing discriminants to diagnose illegal default values.
-2001-12-04 Ed Schonberg <schonber@gnat.com>
+2001-12-04 Ed Schonberg <schonber@gnat.com>
* sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide
access discriminant within a type extension that constrains its
parent discriminants.
-2001-12-04 Ed Schonberg <schonber@gnat.com>
+2001-12-04 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication
is malformed, use instance of Any_Id to allow analysis to proceed.
(P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
misplaced.
-2001-12-04 Ed Schonberg <schonber@gnat.com>
+2001-12-04 Ed Schonberg <schonber@gnat.com>
* sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to
constants.
-2001-12-04 Robert Dewar <dewar@gnat.com>
+2001-12-04 Robert Dewar <dewar@gnat.com>
* errout.adb: Minor reformatting
-2001-12-04 Robert Dewar <dewar@gnat.com>
+2001-12-04 Robert Dewar <dewar@gnat.com>
* exp_util.adb: Minor reformatting from last change
which is a rewriting of an expression, traverse the original
expression to remove warnings that may have been posted on it.
-2001-12-04 Ed Schonberg <schonber@gnat.com>
+2001-12-04 Ed Schonberg <schonber@gnat.com>
* exp_util.adb (Must_Be_Aligned): Return false for a component of a
record that has other packed components.
-2001-12-04 Douglass B. Rupp <rupp@gnat.com>
+2001-12-04 Douglass B. Rupp <rupp@gnat.com>
* adaint.c: Minor cleanups.
-2001-12-04 Douglass B. Rupp <rupp@gnat.com>
+2001-12-04 Douglass B. Rupp <rupp@gnat.com>
* adaint.c: Do not use utime.h on vxworks.
-2001-12-04 Arnaud Charlet <charlet@gnat.com>
+2001-12-04 Arnaud Charlet <charlet@gnat.com>
* Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes
more confusion than it solves.
-2001-12-04 Geert bosch <bosch@gnat.com>
+2001-12-04 Geert bosch <bosch@gnat.com>
* einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate.
* Makefile.in (update-sources): New target.
For use by gcc_release script.
-2001-12-04 Ed Schonberg <schonber@gnat.com>
+2001-12-04 Ed Schonberg <schonber@gnat.com>
* sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as
a configuration pragma, it is now legal wherever a pragma can appear.
@cross_overrides@, @build_overrides@ stanzas. INTERNAL_CFLAGS
is now @CROSS@ -DIN_GCC; update comment.
-2001-12-04 Robert Dewar <dewar@gnat.com>
+2001-12-04 Robert Dewar <dewar@gnat.com>
* einfo.adb (Has_Pragma_Pure_Function): New flag.
Fix problem that stopped ceinfo from working
* sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
-2001-12-04 Douglas B. Rupp <rupp@gnat.com>
+2001-12-04 Douglas B. Rupp <rupp@gnat.com>
* gnatchop.adb:
(File_Time_Stamp): New procedure.
* adaint.h: Fix typo
-2001-12-03 Robert Dewar <dewar@gnat.com>
+2001-12-03 Robert Dewar <dewar@gnat.com>
* sinfo.ads: Minor reformatting. N_Freeze_Entity node does not
have Associated_Node.
-2001-12-03 Robert Dewar <dewar@gnat.com>
+2001-12-03 Robert Dewar <dewar@gnat.com>
* prj-proc.adb: Minor reformatting
* make.adb: Minor reformatting
-2001-12-03 Geert Bosch <bosch@gnat.com>
+2001-12-03 Geert Bosch <bosch@gnat.com>
* make.adb: Minor reformatting.
* sem_ch12.adb: Minor reformatting
-2001-12-03 Ed Schonberg <schonber@gnat.com>
+2001-12-03 Ed Schonberg <schonber@gnat.com>
* sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
push Standard on the stack before analyzing the instance body,
* sem_ch12.adb (Inline_Instance_Body): Remove redundant code.
-2001-12-03 Ed Schonberg <schonber@gnat.com>
+2001-12-03 Ed Schonberg <schonber@gnat.com>
* sem_ch12.adb (Instantiate_Package_Body): Protect against double
instantiation of a body that contains an inlined body.
-2001-12-03 Ed Schonberg <schonber@gnat.com>
+2001-12-03 Ed Schonberg <schonber@gnat.com>
* sem_ch12.adb:
(Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
* Make-lang.in (ada.generated-manpages): New dummy target.
-2001-11-29 Ed Schonberg <schonber@gnat.com>
+2001-11-29 Ed Schonberg <schonber@gnat.com>
* g-os_lib.adb (Add_To_Command): use explicit loop to move string
into Command, an array conversion is illegal here. Uncovered by
ACATS B460005.
-2001-11-28 Geert Bosch <bosch@gnat.com>
+2001-11-28 Geert Bosch <bosch@gnat.com>
* init.c: Minor whitespace changes.
-2001-11-28 Doug Rupp <rupp@gnat.com>
+2001-11-28 Doug Rupp <rupp@gnat.com>
* init.c: (__gnat_install_handler,VMS): Increase size of alternate
signal stack.
* misc.c: Include langhooks-def.h.
* Makefile.in: Update.
-2001-10-30 Robert Dewar <dewar@gnat.com>
+2001-10-30 Robert Dewar <dewar@gnat.com>
* style.adb:
(Check_Identifier): Rewrite circuit to be compatible with use of letters
in the upper half of ASCII.
(Check_Identifier): Minor reformatting
-2001-10-30 Geert Bosch <bosch@gnat.com>
+2001-10-30 Geert Bosch <bosch@gnat.com>
* (Associated_Node, Set_Associated_Node): Do not check for
Freeze_Entity.
-2001-10-30 Robert Dewar <dewar@gnat.com>
+2001-10-30 Robert Dewar <dewar@gnat.com>
* a-reatim.ads: Minor reformatting
-2001-10-30 Robert Dewar <dewar@gnat.com>
+2001-10-30 Robert Dewar <dewar@gnat.com>
* gnatdll.adb: Minor reformatting throughout. Many ??? added for
undocumented declarations.
-2001-10-30 Pascal Obry <obry@gnat.com>
+2001-10-30 Pascal Obry <obry@gnat.com>
* gnatdll.adb (Parse_Command_Line): handle -g option to be passed
to the binder and linker.
* mdll.adb: Fix layout. Update copyright notice.
-2001-10-30 Robert Dewar <dewar@gnat.com>
+2001-10-30 Robert Dewar <dewar@gnat.com>
* usage.adb: Minor fix to output for -gnaty.
-2001-10-30 Ed Schonberg <schonber@gnat.com>
+2001-10-30 Ed Schonberg <schonber@gnat.com>
* a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
to accommodate all its possible values.
* a-reatim.adb (Split): Special-case handling of Time_Span_First
and of small absolute values of T.
-2001-10-30 Richard Kenner <kenner@gnat.com>
+2001-10-30 Richard Kenner <kenner@gnat.com>
* misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
set_mem_attributes since not needed and wrong if RESULT if a REG;
fixes ACATS failures.
-2001-10-30 Geert Bosch <bosch@gnat.com>
+2001-10-30 Geert Bosch <bosch@gnat.com>
* 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads,
s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
-2001-10-30 Robert Dewar <dewar@gnat.com>
+2001-10-30 Robert Dewar <dewar@gnat.com>
* bindusg.adb: Undocument -f switch.
* gnatbind.adb: Minor update of warning msg.
-2001-10-30 Vincent Celier <celier@gnat.com>
+2001-10-30 Vincent Celier <celier@gnat.com>
* gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
for project file switches (-P (/PROJECT_FILE=),
-X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
or MEDIUM or HIGH)
-2001-10-30 Geert Bosch <bosch@gnat.com>
+2001-10-30 Geert Bosch <bosch@gnat.com>
* decl.c: Minor whitespace fixes.
-2001-10-30 Richard Kenner <kenner@gnat.com>
+2001-10-30 Richard Kenner <kenner@gnat.com>
* utils2.c (build_allocator): Test for SIZE overflow in array case too
-2001-10-30 Geert Bosch <bosch@gnat.com>
+2001-10-30 Geert Bosch <bosch@gnat.com>
* ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
Found due to GCC 3.0 warning of using uninitialized value.
(Layout_Array_Type): Use variant record for tracking value/expression.
Makes logic clearer and prevents warnings for uninitialized variables.
-2001-10-30 Robert Dewar <dewar@gnat.com>
+2001-10-30 Robert Dewar <dewar@gnat.com>
* lib.adb: Minor reformatting
const.
(_gnat_error_handler): Make MSG const.
-2001-10-29 Richard Kenner <kenner@gnat.com>
+2001-10-29 Richard Kenner <kenner@gnat.com>
* sysdep.c: Fix localtime_r problem on LynxOS.
Also remove #elif to avoid warnings.
sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads,
types.ads, urealp.adb: Fix spelling errors.
-2001-10-27 Laurent Guerby <guerby@acm.org>
+2001-10-27 Laurent Guerby <guerby@acm.org>
* trans.c (gigi): Fix non determinism leading to bootstrap
comparison failures for debugging information.
* gnat_rm.texi: Use @./@: where appropriate.
-2001-10-26 Robert Dewar <dewar@gnat.com>
+2001-10-26 Robert Dewar <dewar@gnat.com>
* sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup.
-2001-10-26 Richard Kenner <kenner@gnat.com>
+2001-10-26 Richard Kenner <kenner@gnat.com>
* gmem.c (__gnat_gmem_read_next): Properly check for EOF
-2001-10-26 Richard Kenner <kenner@gnat.com>
+2001-10-26 Richard Kenner <kenner@gnat.com>
* decl.c (validate_size): Modify message for bad size to avoid
implication that compiler is modifying the size.
-2001-10-26 Robert Dewar <dewar@gnat.com>
+2001-10-26 Robert Dewar <dewar@gnat.com>
* prj-util.adb: Minor reformatting. Fix bad header format.
-2001-10-26 Robert Dewar <dewar@gnat.com>
+2001-10-26 Robert Dewar <dewar@gnat.com>
* sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
much more narrowly in places where needed. These are cleanups.
-2001-10-26 Joel Brobecker <brobecke@gnat.com>
+2001-10-26 Joel Brobecker <brobecke@gnat.com>
* 5zosinte.ads (null_pthread): new constant.
(Resume_All_Tasks): Lock the tasks list before using it.
(Suspend_All_Tasks): ditto.
-2001-10-26 Richard Kenner <kenner@gnat.com>
+2001-10-26 Richard Kenner <kenner@gnat.com>
* decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
Make constant variant of designated type for Is_Access_Constant.
* utils2.c (build_unary_op, case INDIRECT_REF): No longer set
TREE_STATIC.
-2001-10-26 Robert Dewar <dewar@gnat.com>
+2001-10-26 Robert Dewar <dewar@gnat.com>
* prj-util.adb: Minor reformatting
-2001-10-26 Robert Dewar <dewar@gnat.com>
+2001-10-26 Robert Dewar <dewar@gnat.com>
* prj-util.adb: Minor reformatting
-2001-10-26 Robert Dewar <dewar@gnat.com>
+2001-10-26 Robert Dewar <dewar@gnat.com>
* prj-attr.adb: Minor reformatting throughout
-2001-10-26 Robert Dewar <dewar@gnat.com>
+2001-10-26 Robert Dewar <dewar@gnat.com>
* prj-attr.ads: Minor reformatting
Add ??? comment (this whole spec has almost no comments)
-2001-10-26 Vincent Celier <celier@gnat.com>
+2001-10-26 Vincent Celier <celier@gnat.com>
* g-os_lib.adb (Normalize_Pathname): Preserve the double slash
("//") that precede the drive letter on Interix.
-2001-10-26 Geert Bosch <bosch@gnat.com>
+2001-10-26 Geert Bosch <bosch@gnat.com>
* gnat_rm.texi: Add GNAT Reference Manual.
-2001-10-25 Robert Dewar <dewar@gnat.com>
+2001-10-25 Robert Dewar <dewar@gnat.com>
* sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
is Error. Similar change for other renaming cases.
-2001-10-25 Robert Dewar <dewar@gnat.com>
+2001-10-25 Robert Dewar <dewar@gnat.com>
* s-atacco.ads: Add pragma Inline_Always for functions.
Fix header format. Add copyright 2001
-2001-10-25 Ed Schonberg <schonber@gnat.com>
+2001-10-25 Ed Schonberg <schonber@gnat.com>
* par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
return Error rather than Empty so that analysis can proceed.
-2001-10-25 Ed Schonberg <schonber@gnat.com>
+2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_util.adb (Enter_Name): better handling of cascaded error
messages when a unit appears in its own context.
-2001-10-25 Ed Schonberg <schonber@gnat.com>
+2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_util.adb (Defining_Entity): in case of error, attach created
entity to specification, so that semantic analysis can proceed.
-2001-10-25 Robert Dewar <dewar@gnat.com>
+2001-10-25 Robert Dewar <dewar@gnat.com>
* sem_util.adb
(Defining_Entity): Deal with Error.
(Process_End_Label): Deal with bad end label for.
-2001-10-25 Ed Schonberg <schonber@gnat.com>
+2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_elab.adb (Check_A_Call): refine message when call is in an
instance but callee is not declared in the generic unit.
-2001-10-25 Ed Schonberg <schonber@gnat.com>
+2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_elab.adb (Check_A_Call): check for renaming before finding the
enclosing unit, which may already be different from the calling unit.
-2001-10-25 Geert Bosch <bosch@gnat.com>
+2001-10-25 Geert Bosch <bosch@gnat.com>
* 4gintnam.ads: fix header format.
-2001-10-25 Ed Schonberg <schonber@gnat.com>
+2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_res.adb (Resolve_Call): if the call is actually an indexing
operation on the result of a parameterless call, perform elaboration
inlined within the generic tree, the defining identifier is not a
compilation_unit.
-2001-10-25 Ed Schonberg <schonber@gnat.com>
+2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_res.adb (Resolve): special-case resolution of Null in an
instance or an inlined body to avoid view conflicts.
* sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
compatibility by retrieving the access type of the generic copy.
-2001-10-25 Robert Dewar <dewar@gnat.com>
+2001-10-25 Robert Dewar <dewar@gnat.com>
* sem_ch3.adb:
(Analyze_Number_Declaration): Handle error expression.
* sem_util.adb (Get_Index_Bounds): Check for Error.
-2001-10-25 Robert Dewar <dewar@gnat.com>
+2001-10-25 Robert Dewar <dewar@gnat.com>
* restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
in no run time mode.
-2001-10-25 Pascal Obry <obry@gnat.com>
+2001-10-25 Pascal Obry <obry@gnat.com>
* gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
mode case for ALLOC case.
* gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
all platforms. Improvement of last change.
-2001-10-25 Robert Dewar <dewar@gnat.com>
+2001-10-25 Robert Dewar <dewar@gnat.com>
* exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
* osint.adb (Is_Relative): Remove duplicate.
-2001-10-25 Pascal Obry <obry@gnat.com>
+2001-10-25 Pascal Obry <obry@gnat.com>
* osint.adb (Read_Default_Search_Dirs): correctly detect relative
pathnames in UNIX and DOS style with drive letter.
* osint.adb (Is_Relative): implementation using
GNAT.OS_Lib.Is_Absolute_Path. Better fix.
-2001-10-25 Pascal Obry <obry@gnat.com>
+2001-10-25 Pascal Obry <obry@gnat.com>
* g-dirope.adb (Basename): correctly compute offset between the
original Path and the translated one.
* g-dirope.adb: (Base_Name): add some comments.
-2001-10-25 Robert Dewar <dewar@gnat.com>
+2001-10-25 Robert Dewar <dewar@gnat.com>
* exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
in HIE mode, avoids compilation abandoned message
* exp_imgv.adb: Correct typo in previous change (not my day!)
-2001-10-25 Robert Dewar <dewar@gnat.com>
+2001-10-25 Robert Dewar <dewar@gnat.com>
* s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
-2001-10-25 Pascal Obry <obry@gnat.com>
+2001-10-25 Pascal Obry <obry@gnat.com>
* g-awk.ads: Move all pragma inlines next to the routine
declarations. This is more uniform with other GNAT spec.
* validsw.adb: Properly save -gnatVn status.
-2001-10-11 Robert Dewar <dewar@gnat.com>
+2001-10-11 Robert Dewar <dewar@gnat.com>
* usage.adb: Add lines for V switch.
* gnatcmd.adb (COMPILE): Revise translations for -gnatV
(/VALIDITY_CHECKING).
-2001-10-11 Ed Schonberg <schonber@gnat.com>
+2001-10-11 Ed Schonberg <schonber@gnat.com>
* sem_type.adb (Add_One_Interp): an operator for a type declared in
an extension of System is known to be visible.
-2001-10-11 Ed Schonberg <schonber@gnat.com>
+2001-10-11 Ed Schonberg <schonber@gnat.com>
* sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
properly. Fixes regression on ACATS C34005G.
-2001-10-11 Robert Dewar <dewar@gnat.com>
+2001-10-11 Robert Dewar <dewar@gnat.com>
* sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
loop in generic instance, since this is likely not very useful.
-2001-10-11 Robert Dewar <dewar@gnat.com>
+2001-10-11 Robert Dewar <dewar@gnat.com>
* restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
the error message for high integrity mode.
* rtsfind.adb (RTE): Make sure we do not try to load unit after
giving message for entity not available in high integrity mode.
-2001-10-11 Pascal Obry <obry@gnat.com>
+2001-10-11 Pascal Obry <obry@gnat.com>
* impunit.adb: Add GNAT.CRC32.
-2001-10-11 Ed Schonberg <schonber@gnat.com>
+2001-10-11 Ed Schonberg <schonber@gnat.com>
* exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
properly the case where one universal operand in a non-static
exponentiation of a real literal.
-2001-10-11 Ed Schonberg <schonber@gnat.com>
+2001-10-11 Ed Schonberg <schonber@gnat.com>
* exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
clause, return the gobal finalization list, for lack of anthing else.
-2001-10-11 Ed Schonberg <schonber@gnat.com>
+2001-10-11 Ed Schonberg <schonber@gnat.com>
* exp_ch7.adb (Make_Transient_Block): if statement is within
exception handler, always use new transient scope to place Clean
procedure.
-2001-10-11 Pascal Obry <obry@gnat.com>
+2001-10-11 Pascal Obry <obry@gnat.com>
* Makefile.in:
(GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
* gnat-style.texi: New file describing coding guidelines for Ada.
-2001-10-10 Ed Schonberg <schonber@gnat.com>
+2001-10-10 Ed Schonberg <schonber@gnat.com>
* einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
is Flag174.
* snames.h: Update to reflect snames.ads changes.
-2001-10-10 Vincent Celier <celier@gnat.com>
+2001-10-10 Vincent Celier <celier@gnat.com>
* make.adb:
(Add_Switches): reflect the changes for the switches attributes
* prj.ads: Add ??? for uncommented declarations
-2001-10-10 Ed Schonberg <schonber@gnat.com>
+2001-10-10 Ed Schonberg <schonber@gnat.com>
* sem_prag.adb: (Analyze_Pragma, case External): If entity is a
constant, do not indicate possible modification, so that gigi can
treat it as a bona fide constant.
-2001-10-10 Robert Dewar <dewar@gnat.com>
+2001-10-10 Robert Dewar <dewar@gnat.com>
* sem_prag.adb: Add processing for pragma External.
* snames.adb: Updated to match snames.ads.
-2001-10-10 Ed Schonberg <schonber@gnat.com>
+2001-10-10 Ed Schonberg <schonber@gnat.com>
* exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
a dynamic task if the allocator appears in an indexed assignment
For a dynamic task in an assignment statement, use target of
assignment to generate meaningful name.
-2001-10-10 Ed Schonberg <schonber@gnat.com>
+2001-10-10 Ed Schonberg <schonber@gnat.com>
* einfo.adb (Write_Field19_Name): Body_Entity is also defined for
a generic package.
(typically the discriminal in an init_proc) denote the same value.
Two useful optimization uncovered by bugfixes above.
-2001-10-10 Robert Dewar <dewar@gnat.com>
+2001-10-10 Robert Dewar <dewar@gnat.com>
* xeinfo.adb: Change int to char in translation of enumeration types.
This fixes a problem in the C representation of component alignment.
Add 2001 to copyright notice
-2001-10-10 Richard Kenner <kenner@gnat.com>
+2001-10-10 Richard Kenner <kenner@gnat.com>
* decl.c: (validate_size): Do check size of object of integral type
if it is a packed array type.
-2001-10-10 Richard Kenner <kenner@gnat.com>
+2001-10-10 Richard Kenner <kenner@gnat.com>
* decl.c: (gnat_to_gnu_entity, case object): Also materialize
VAR_DECL for constant if not Is_Public but -O0.
* comperr.adb (Abort_In_Progress): New.
(Compiler_Abort): Use it to prevent recursion.
-2001-10-08 Robert Dewar <dewar@gnat.com>
+2001-10-08 Robert Dewar <dewar@gnat.com>
* atree.adb: Set Error_Posted in Error node, helps error recovery.
* sinfo.ads (N_Error): Now has Etype field (which will be set
to Any_Type to help error recovery).
-2001-10-08 Richard Kenner (kenner@gnat.com)
+2001-10-08 Richard Kenner <kenner@gnat.com>
* misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
Consistently set MEM attributes from expression; fixes
bootstrap failure on x86.
-2001-10-08 Geert Bosch (bosch@gnat.com)
+2001-10-08 Geert Bosch <bosch@gnat.com>
* 5oosinte.adb: Add 2001 to copyright notice.
-2001-10-08 Geert Bosch (bosch@gnat.com)
+2001-10-08 Geert Bosch <bosch@gnat.com>
* ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
* 5oosinte.adb: Fix spelling error of "separate" as "seperate".
-2001-10-05 Geert Bosch (bosch@gnat.com)
+2001-10-05 Geert Bosch <bosch@gnat.com>
* adaint.h: Small formatting fix.
OSDN Git Service
