+2005-02-09 Doug Rupp <rupp@adacore.com>
+
+ * g-expect-vms.adb (Non_Blocking_Spawn): Separate out.
+ * g-enblsp-vms-alpha.adb g-enblsp-vms-ia64.adb: New subunits.
+
+2005-02-09 Doug Rupp <rupp@adacore.com>
+
+ * gnatchop.adb (dup, dup2),
+ g-dirope.adb (closedir, opendir, rmdir): Reference via System.CRTL.
+
+ * gnatlbr.adb (mkdir),
+ mlib-tgt-vms-ia64.adb (popen, plose): Import with decc$ prefix.
+
+ * s-crtl.ads (closdir, dup, dup2, opendir, rmdir): Import.
+
+2005-02-09 Doug Rupp <rupp@adacore.com>
+
+ * s-tpopde-vms.adb: Add pragma Warnings (Off) for Task_Id conversions.
+
+2005-02-09 Robert Dewar <dewar@adacore.com>
+ Thomas Quinot <quinot@adacore.com>
+ Javier Miranda <miranda@adacore.com>
+ Pascal Obry <obry@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+ Doug Rupp <rupp@adacore.com>
+ Gary Dismukes <dismukes@adacore.com>
+ Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
+
+ * g-zstspl.ads: New file.
+
+ * a-chahan.ads, a-chahan.adb: Add declarations from AI-285
+
+ * a-string.ads: Add pragma Ada_05 for wide_wide_space to get warning in
+ Ada 95 mode
+ Add definition of Wide_Wide_Space for AI-285
+
+ * impunit.ads, impunit.adb, sem_ch10.adb: Complete rewrite and new
+ interface (to support Ada 95 and Ada 2005 units).
+ Add Unbounded_IO files
+ Add entries for Wide_Wide packages for AI-285
+ Add list of containers packages to Ada 2005 unit list
+
+ * a-swuwti.ads, a-swuwti.adb, a-suteio.ads, a-suteio.adb: Updates to
+ support new Unbounded_IO package cleanly.
+
+ * g-utf_32.ads, g-utf_32.adb: New files.
+
+ * Makefile.rtl: Add entry for g-utf_32
+ Add new files for Unbounded_IO
+ Adjust make file for new AI-285 wide wide packages
+ Add AI-302 containers to the run time.
+
+ * a-stwibo.adb, a-stwibo.ads, a-stwisu.adb, a-stwisu.ads,
+ a-strbou.ads, a-strbou.adb, a-strsup.ads, a-strsup.adb: New
+ subprograms for AI-301.
+
+ * a-stwiun.adb, a-stwiun.ads: Minor reformatting.
+
+ * a-stunau.ads: Minor comment correction
+
+ * rtsfind.ads, rtsfind.adb: Add definitions for Wide_Wide attributes
+ etc.
+ Also extend Text_IO_Kludge to support Wide_Wide_Text_IO
+ (Check_RPC): Update to match changes in expanded code.
+ Clean up unused entity.
+
+ * exp_ch3.ads, exp_ch3.adb: Fix various places where Wide_Wide_String
+ was not taken into account.
+ This includes proper initialization with Normalize_Scalars.
+ (Get_Simple_Init_Val): Major rewrite for initialize scalars and
+ normalize scalars cases (particularly the latter) to do a better job
+ of finding invalid representations.
+
+ * s-scaval.ads, s-scaval.adb: Add values for zero invalid values
+
+ * s-strops.ads, s-strops.adb: Remove string normalize routines, never
+ used
+
+ * exp_dist.adb: Add support for wide wide character type
+ (Expand_Receiving_Stubs_Bodies): For a package declaration that has a
+ private part, generate stub bodies at the end of the private part,
+ not the visible part.
+ (Add_RACW_Primitive_Operations_And_Bodies): Add last missing code for
+ PolyORB support.
+ (Add_Obj_RPC_Receiver_Completion): Add PCS-specific subprograms and
+ generic wrapper to execute final processing after completing the
+ expansion of the RPC receiver for an RACW.
+
+ * snames.h, snames.ads, snames.adb: Add definitions for wide_wide
+ packages and attributes.
+ (Preset_Names): Addition of the new reserved words of Ada 2005,
+ that is interface, overriding and synchronized.
+ (Get_Pragma_Id): Give support to the use of the new reserved word
+ "interface" as a pragma name.
+ (Is_Pragma_Name): Give support to the use of the new reserved word
+ "interface" as a pragma name.
+ (Preset_Names): Add stream_size string for the Stream_Size Ada2005
+ attribute implementation.
+
+ * exp_attr.adb (Expand_Attribute_Reference): Do not apply validity
+ checks to entities that are output parameters of Asm operations.
+ Handle the Stream_Size attribute.
+ Add implementation of Wide_Wide_Value, Wide_Wide_Image, Wide_Wide_Width
+
+ * exp_imgv.ads, exp_imgv.adb: Add support for wide wide character type
+
+ * sem_attr.adb (Eval_Attribute): Raise compile-time constraint error
+ for second parameter being 0.0.
+ Add support for wide wide character type.
+ (Analyze_Attribute, Eval_Attribute): Handle the Stream_Size attribute.
+
+ * s-valwch.adb, s-valwch.ads, s-imgwch.ads, s-imgwch.adb,
+ s-wchstw.ads, s-wchstw.adb, s-wchwts.adb, s-wchwts.ads,
+ s-widwch.adb, s-widwch.ads, s-wwdcha.adb, s-wwdcha.ads,
+ s-wwdenu.adb, s-wwdenu.ads, s-wwdwch.adb, s-wwdwch.ads: Add support
+ for wide wide character cases.
+
+ * cstand.adb: Create entities for Wide_Wide_Character and
+ Wide_Wide_String.
+
+ * i-c.ads, i-c.adb: Fix not raising CE for null wide strings in
+ accordance with AI-258.
+ Add new declarations for 16/32 bit C character types (Part of AI285)
+
+ * einfo.ads, einfo.adb (Is_Obsolescent, Is_Ada_2005): New flag
+ (Obsolescent_Warning): New field
+ (Rep_Clause): New local subprogram used to share code. Returns the rep
+ clause for which the name is given in parameter.
+ (Has_Stream_Size_Clause): New routine.
+ (Stream_Size_Clause): Idem. Implementation is based on Rep_Clause.
+ (Address_Clause): Implementation is now using Rep_Clause.
+ (Alignment_Clause): Idem.
+ (Size_Clause): Idem.
+
+ * lib-xref.adb (Generate_Reference): Test for reference to Ada 2005
+ entity in non-Ada 2005 mode and generate warning.
+
+ * par-prag.adb: Add handling of one argument form for pragma Ada_05.
+ (Prag): Code cleanup. Remove old gnat pragma "overriding"
+
+ * sem_prag.adb: Add handling of one argument form for pragma Ada_05
+ (Analyze_Pragma, case Elaborate, Elaborate_All): Do not disable warnings
+ on the named unit if the pragma is not in the current compilation unit,
+ so that elaboration calls in the current unit can set up an elaboration
+ dependency on the named unit, as needed.
+ (Analyze_Pragma, case Obsolescent): Allow pragma to be used for library
+ subprogram as well as for subprograms declared within a package.
+ (Analyze_Pragma, Sig_Flags): Code cleanup. Remove support for the GNAT
+ pragma overriding.
+
+ * krunch.ads, krunch.adb: Add special handling of Wide_Wide (krunched
+ to z) to avoid some instances of duplication for Wide_Wide packages.
+
+ * namet.ads, namet.adb: Implement encoding (WWhhhhhhhh) for wide wide
+ characters.
+
+ * scn.adb: Char_Literal_Value field is now a Uint
+
+ * scng.adb: Significant rewrite to handle new Ada 2005 features
+ allowing wide and wide wide characters in program text, e.g. for
+ identifiers, as described in AI-285.
+ (Set_Reserved): New procedure, makes setting up keywords cleaner.
+ (Initialize_Scanner): Register the new reserved words of Ada 2005.
+ (Scan): Give support to the new reserved words.
+
+ * par-ch2.adb (P_Identifier): Compiling in Ada95 mode, generate a
+ warning notifying that interface, overriding, and synchronized are
+ new reserved words.
+ (P_Pragma): Allow the use of the new reserved word "interface" as
+ a pragma name.
+
+ * gnatls.adb, gnatbind.adb,
+ ali-util.adb, binde.adb, ali.ads, ali.adb: Code cleanup. Rename
+ identifiers named "interface" to "SAL_Interface".
+
+ * bindgen.adb (Gen_Main_Ada): Add support for the new SEH
+ (Structured Exception handling).
+ (Gen_Main_C): Idem.
+
+ * bindgen.adb:
+ (Gen_Main_Ada): Set the default exit code if specified.
+ (Gen_Main_C): Likewise.
+ Part of *DC20-006.
+ (Gen_Output_File_C): Remove redundant output of gnat_exit_status.
+ Code cleanup. Rename identifiers named "interface" to "SAL_Interface"
+
+ * switch-b.adb, bindusg.adb, opt.ads, vms_data.ads: Add handling of
+ new -Xnnn switch.
+
+ * mlib-prj.adb, mlib.adb: Code cleanup. Rename one identifier that
+ has a collision with the new Ada 2005 "interface" reserved word.
+
+ * par-ch3.adb (P_Defining_Identifier): Compiling in Ada95 mode,
+ generate a warning notifying that interface, overriding, and
+ synchronized are new reserved words.
+
+ * scans.ads (Token_Type): Addition of the tokens corresponding to the
+ new reserved words of Ada 2005: Tok_Interface, Tok_Overriding
+ and Tok_Synchronized.
+
+ * sem_res.adb (Resolve_Actuals): Change error messages to refer to
+ "dispatching" rather than "primitive" operations, since dispatching
+ calls are now allowed to abstract formal subprograms (which are not
+ primitive).
+ Char_Literal_Value field is now a Uint
+ (Resolve_Slice): If the prefix is an access to an unconstrained array,
+ compute the actual subtype of the designated object to impose the proper
+ index constraints.
+ (Resolve_Selected_Component): Do not insert an access check if the
+ prefix is an access type: such a node is expanded into an explicit
+ dereference, on which the access check is performed anyway. Removes
+ expensive duplicate checks.
+ (Resolve_Call): Use new flag Is_Obsolescent and field
+ Obsolescent_Warning so that pragma Obsolescent works on library
+ subprograms.
+ Add support for wide wide character type
+ (Resolve_Allocator): Replace the error message on wrong null-exclusion
+ value by a warning message.
+ (Resolve_Type_Conversion): If the mixed-mode expression is interpreted
+ as fixed-point, and one of the operands is non-static and universal, it
+ can only be an illegal exponentiation operation, in which case there is
+ no real value to retrieve.
+
+ * exp_strm.adb: Add support for wide wide character type
+ (Build_Elementary_Input_Call): Compute the size of the stream element by
+ querying the rep chain to find the Stream_Attribute attribute value.
+ (Build_Elementary_Write_Call): Ditto.
+
+ * sem_aggr.adb: Char_Literal_Value field is now a Uint
+ Add support for wide wide character type
+ Replace the error messages on wrong null-exclusion value by warnings
+ as described in Ada 2005.
+ (Resolve_Extension_Aggregate): Document the fact that the error
+ message on class-wide expressions in extensions aggregates.
+
+ * sem_case.adb: Add support for wide wide character type
+
+ * sem_ch13.adb: Add support for wide wide character type
+ (Analyze_Attribute_Definition_Clause): Handle the Stream_Size attribute.
+
+ * sem_ch3.adb: Add support for wide wide character type
+ (Process_Subtype): If constraint is illegal for the type, set Ekind of
+ now-useless Itype, to prevent cascaded errors on a compiler built
+ without -gnatp.
+
+ * sem_ch8.adb: Add with and use of Sem_Disp.
+ (Analyze_Subprogram_Renaming): Replace unclean uses of
+ Corresponding_Spec with Corresponding_Formal_Spec (and delete setting
+ of Corresponding_Spec to Empty).
+ (Attribute_Renaming): Replace use of Corresponding_Spec with
+ Corresponding_ Formal_Spec and simplify condition.
+ (Use_One_Package): Check that scope of homonym of identifier is defined,
+ before checking whether it is a wrapper package.
+ Add support for wide wide character type
+
+ * sem_eval.adb: Add support for wide wide character type.
+ (Eval_Arithmetic_Op): Check for compile time known signed integer
+ overflow in the non-static case.
+ (Subtypes_Statically_Match): A formal scalar type and its base type do
+ not statically match.
+
+ * sem_util.adb (Collect_Primitive_Operations): Minor change of "/=" to
+ "not in" for test of N_Formal_Subprogram_Declaration (which is now a
+ subtype).
+ (Unit_Declaration_Node): Ditto.
+ (Is_Variable_Prefix): For the case of an indexed component whose prefix
+ has a packed array type, the prefix has been rewritten into a type
+ conversion. Determine variable-ness from the converted expression.
+ Handle wide wide character cases.
+
+ * stand.ads: Add types Wide_Wide_Character and Wide_Wide_String
+
+ * stringt.ads, stringt.adb: Handle full UTF-32 range.
+ Remove ["0A"] from comment, since it can look like a line terminator.
+ Currently we don't permit this, but this is under discussion by the
+ ARG, and it is easy enough to use a different example.
+
+ * s-wchcon.ads, s-wchcnv.ads, s-wchcnv.adb: Add new subprograms for
+ handling UTF-32 encoding for wide wide character.
+ Implement new brackets coding ["hhhhhhhh"]
+ Add UTF-8 encodings for full UTF-32 range
+
+ * ttypes.ads: Add definition of Standard_Wide_Wide_Character_Size
+
+ * types.h, types.ads, types.adb: Wide_Wide_Character now has full 31
+ bit range Add full UTF-32 support.
+ (RT_Exception_Code): Addition of CE_Null_Not_Allowed; used to
+ notify that constraint error will be raised at run-time
+ because a null value is assigned to a null-excluding object.
+ Remove some obsolete declarations and make Char_Code
+ unsigned.
+
+ * a-except.adb (Rcheck_30): New subprogram. Addition of the message
+ corresponding to CE_Null_Not_Allowed, and adjust the output of all the
+ Rcheck subprograms.
+
+ * checks.adb (Check_Null_Not_Allowed): Replace the error message on
+ wrong null-exclusion value by a warning message.
+ (Enable_Range_Check): Do range check if the prefix is an
+ explicit dereference whose designated object is an unconstrained array.
+ Current algorithm for removing duplicate checks is over-eager in this
+ case.
+
+ * sem_ch5.adb (Analyze_Assignment): Replace the error messages on wrong
+ null-exclusion value by a warning message
+
+ * atree.h, atree.ads, atree.adb: Remove Char_Code field support
+ completely. Add support for Uint2 field
+
+ sem_ch2.adb, exp_ch11.adb, exp_dbug.adb,
+ exp_prag.adb: Char_Literal_Value field is now a Uint.
+
+ * exp_util.adb (Insert_Actions): Replace
+ N_Formal_Subprogram_Declaration by
+ N_Formal_{Abstract|Concrete}_Subprogram_Declaration.
+ Char_Literal_Value field is now a Uint.
+
+ * sinfo.ads, sinfo.adb (Corresponding_Formal_Spec): New function
+ defined for subprogram renaming declarations. When set, the field
+ indicates the defining entity of a corresponding formal subprogram
+ when the renaming corresponds to a formal subprogram association in an
+ instantiation.
+ (Set_Corresponding_Formal_Spec): New procedure to return
+ Corresponding_Formal_Spec field.
+ Minor changes of "=" to "in" in tests of N_Formal_Subprogram_Declaration
+ (which is now a subtype).
+ Char_Literal_Value field is now a Uint
+
+ * exp_disp.ads, exp_disp.adb (Make_DT): Generate code that moves the
+ pointer to the base of the dispatch table.
+ Minor changes to comments.
+ (Controlling_Type): New function for determining the tagged type
+ associated with a tagged primitive subprogram.
+ (Expand_Dispatching_Call): Add support for a controlling actual that is
+ directly a value of type Ada.Tag rather than a tagged object.
+
+ * i-cpp.ads, i-cpp.adb, a-tags.ads, a-tags.adb: Update documentation
+ describing the new layout.
+ (Dispatch_Table): The expander computes the actual array size, allocates
+ the Dispatch_Table record accordingly, and generates code that displaces
+ the base of the record after the Typeinfo_Ptr component. The access to
+ these components is done by means of local functions.
+ (Offset_To_Top): New function.
+ (Typeinfo_Ptr): New function.
+ (Get_TSD): Modified to access the new position of the TSD.
+ (Set_TSD): Modified to save the TSD in its new position.
+
+ * par-ch12.adb (P_Formal_Subprogram_Declaration): Add parsing for the
+ case of formal abstract subprograms. Add check and message for -gnat05.
+ Update comments.
+
+ * sem_ch12.adb: Add with and use for Sem_Disp.
+ (Analyze_Associations): Minor change from "=" to "in" for use of
+ N_Formal_Subtype_Declaration (which is now a subtype).
+ (Set_Analyzed_Formal): Minor changes from "=" to "in" for uses of
+ N_Formal_Subtype_Declaration (which is now a subtype).
+ (Analyze_Formal_Subprogram): Add handling for
+ N_Formal_Abstract_Subprogram, marking the formal as abstract and
+ dispatching, setting the controlling status of the formal parameters
+ and result, and issuing an error if there is no controlling type for
+ the formal subprogram.
+ (Instantiate_Formal_Subprogram): Rather than setting Corresponding_Spec,
+ which is an unclean use of that field, we set the new field
+ Corresponding_Formal_Spec to make the formal subprogram available to
+ processing in Analyze_Subprogram_Declaration.
+ (Analyze_Formal_{Discrete, Decimal_Fixed_Point, Fixed_Point,
+ Floating_Point, Modular_Integer, Signed_Integer}_Type: Make formal type
+ Constrained, so that it is is does not statically match its anonymous
+ base type.
+
+ * sem_ch6.adb (Analyze_Subprogram_Specification): Include test for
+ abstract formal subprograms in error check for functions returning
+ abstract types. Set scope of new designator for
+ a parameterless subprogram, so that it is available when checking the
+ body for nested subprograms, before full analysis of said body.
+ (Analyze_Subprogram_Body): Warn on inlining bodies with nested
+ subprogram only if inner one comes from source.
+ (Analyze_Function_Call): If the call is given in object notation, the
+ analysis of the name rewrites the node and analyzes it with the proper
+ argument list. After analyzing the name, if the call has been rewritten
+ and the result type is set, no further analysis is needed.
+ (Analyze_Return_Type): Subsidiary to Process_Formals: analyze subtype
+ mark in function specification, in a context where the formals are
+ visible and hide outer homographs.
+
+ * sem_disp.adb (Check_Controlling_Type): Relax the check for same scope
+ as the tagged type for the cases of abstract formal subprograms and
+ renamings of those. Clean up spec comments.
+ (Check_Dispatching_Context): Add error message to indicate "abstract
+ procedure", covering the case of a call to a formal abstract procedure
+ that has statically tagged operands.
+ (Check_Dispatching_Call): Check for the case of an actual given by
+ a tag-indeterminate function call whose type is an ancestor of the
+ containing call's associated tagged type. This situation can occur
+ for inherited primitives with function defaults. In this case we
+ use the tagged type's tag directly as the controlling argument for
+ the calls.
+ (Expand_Call): Name change on call to Expand_Dispatch_Call.
+
+ * sprint.adb (Sprint_Node_Actual): Split
+ N_Formal_Subprogram_Declaration into two alternatives for the new
+ cases N_Formal_Abstract_Subprogram_Declaration and
+ N_Formal_Concrete_Subprogram_Declaration.
+ Char_Literal_Value field is now a Uint.
+
+ * trans.c: Get rid of junk Uint2 reference.
+ Char_Literal_Value field is now a Uint.
+ (gnat_to_gnu, case N_Aggregate): Check TYPE_UNCHECKED_UNION_P.
+ (gigi): Correct third arg to gimplify_body.
+
+ * ada-tree.h: (TYPE_UNCHECKED_UNION_P): New flag.
+ (TYPE_LANG_FLAG_0): Check for record or union.
+
+ * treepr.adb: Char_Literal_Value field is now a Uint
+
+ * uintp.h, uintp.ads, uintp.adb: Add new routines UI_To_CC and
+ UI_From_CC.
+
+ * widechar.ads, widechar.adb (Is_UTF_32_Non_Graphic): New function
+ Add full UTF-32 support
+ Char_Code is now 32 bits
+
+ * sinput.ads, sinput.adb (Skip_Line_Terminators): Extend to deal with
+ wide character UTF_32 line terminators.
+ Initialize Main_Source_File to avoid error when no main
+ source is loaded.
+
+ * errout.adb (Finalize): Do not check Num_SRef_Pragmas
+ (Main_Source_File) when no main source has been loaded, to avoid
+ potential crash.
+
+2005-02-09 Robert Dewar <dewar@adacore.com>
+
+ * a-strunb.ads, a-strunb.adb: Add missing pragma Ada_05 statements
+ Fix name of Set routine
+
+ * a-strfix.ads, a-strfix.adb: Add new index functions from AI-301 to
+ fixed packages.
+
+ * a-stwise.ads, a-stwise.adb, a-stwifi.ads, a-stwifi.adb,
+ a-strsea.ads, a-strsea.adb: Add new index functions from AI-301 to
+ fixed packages
+
+ * a-witeio.ads, a-witeio.adb, a-textio.ads, a-textio.adb: New function
+ forms of Get_Line subprograms for AI-301.
+
+ * a-wtcoau.adb, a-wtcoau.ads, a-wtcoio.adb, a-wtcoio.ads,
+ a-wtedit.adb, a-wtedit.adb, a-wtedit.ads, a-wttest.adb,
+ a-wttest.ads, a-strmap.ads, a-strmap.adb, a-stwima.adb,
+ a-stwima.ads: Minor reformatting.
+
+2005-02-09 Doug Rupp <rupp@adacore.com>
+ Thomas Quinot <quinot@adacore.com>
+
+ * adaint.c, adaint.h
+ [VMS] (to_ptr32): New function.
+ (MAYBE_TO_PTR32): New macro.
+ (__gnat_portable_spawn,__gnat_portable_no_block_spawn): Adjust argv
+ for pointer size.
+ [VMS] (descriptor_s, ile_s): Use __char_ptr32 for adr field.
+ [VMS] (#define fork()): Remove since unneccessary.
+ (__gnat_set_close_on_exec): New routine to support
+ GNAT.OS_Lib.Set_Close_On_Exec.
+
+ * g-expect.adb (Set_Up_Communications): Mark the pipe descriptors for
+ the parent side as close-on-exec so that they are not inherited by the
+ child.
+
+ * g-os_lib.ads, g-os_lib.adb (Set_Close_On_Exec): New subprogram to
+ set or clear the FD_CLOEXEC flag on a file descriptor.
+
+2005-02-09 Eric Botcazou <ebotcazou@adacore.com>
+ Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
+
+ Fix for c330001 - PR ada/19386
+
+ * decl.c:
+ (gnat_to_gnu_field): Do not necessarily invoke make_packable_type
+ on the field if Pragma Component_Alignment (Storage_Unit).
+ (gnat_to_gnu_entity, case object): Do not treat a renaming that has
+ side-effects as if it were a constant; also make SAVE_EXPR to protect
+ side-effects.
+ (gnat_to_gnu_entity, case E_Record_Subtype): If have _Parent, make a
+ UNION_TYPE.
+ (make_dummy_type): Set TYPE_UNCHECKED_UNION_P.
+ (components_to_record): Test it.
+ Fix improper usage of REFERENCE_CLASS_P.
+
+ * utils2.c (build_binary_op, case MODIFY_EXPRP): Treat UNION_TYPE as
+ RECORD_TYPE.
+
+ * utils2.c: Minor reformatting.
+
+ * utils.c (convert, case UNION_TYPE): Check TYPE_UNCHECKED_UNION;
+ handle other cases like RECORD_TYPE.
+
+ * utils.c (gnat_pushdecl): Set TREE_NO_WARNING.
+
+2005-02-09 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_aggr.adb (Gen_Assign): If the expression is an aggregate for a
+ component of an array of arrays in an assignment context, and the
+ aggregate has component associations that require sliding on
+ assignment, force reanalysis of the aggregate to generate a temporary
+ before the assignment.
+ (Must_Slide): Make global to the package, for use in Gen_Assign.
+
+2005-02-09 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch4.adb (Expand_Composite_Equality): If a component is an
+ unchecked union with no inferable discriminants, return a
+ Raise_Program_Error node, rather than inserting it at the point the
+ type is frozen.
+ (Expand_Record_Equality, Component_Equality): Handle properly the case
+ where some subcomponent is an unchecked union whose generated equality
+ code raises program error.
+
+2005-02-09 Doug Rupp <rupp@adacore.com>
+
+ * gnatbl.c: [VMS] (_POSIX_EXIT): Define.
+ [VMS] (#define exit hack): Remove.
+
+2005-02-09 Pascal Obry <obry@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
+ routine calls __gnat_install_SEH_handler() to initialize the SEH
+ (Structured Exception Handling) handler.
+ (__gnat_error_handler) [Win32]: Removed. Not needed as we use
+ SEH (Structured Exception Handling) now.
+ (__gnat_install_handler) [Win32]: Nothing to do now as we use SEH.
+ (__gnat_initialize for ppc-vxworks): Adjust comments and the
+ preprocessor condition protecting the call to the extra eh setup
+ subprogram, which is only available for the ppc target.
+ (__gnat_clear_exception_count): replaced reference to
+ variable taskIdCurrent by call to taskIdSelf(), cleaner.
+
+ * seh_init.c: New file.
+
+ * Make-lang.in: (GNAT_ADA_OBJS): Add seh_init.o.
+ (GNATBIND_OBJS): Idem.
+
+ * misc.c (gnat_parse_file): Update call to __gnat_initialize. This
+ routine takes a new parameter (a pointer to the exception registration
+ for the SEH (Structured Exception Handling) support.
+
+ * raise.h: (__gnat_install_SEH_handler): New prototype.
+ Update copyright notice.
+
+ * s-tassta.adb (Task_Wrapper): Declare the exception registration
+ record and initialize it by calling __gnat_install_SEH_handler.
+
+2005-02-09 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Gnatmake): Do not fail when the main project has no object
+ directory.
+
+2005-02-09 Doug Rupp <rupp@adacore.com>
+
+ * Makefile.in [VMS] (LN,LN_S): Define as cp -p
+ Rename s-asthan-vms.adb to s-asthan-vms-alpha.adb.
+ [VMS]: Add translations for g-enblsp.adb.
+
+ * s-asthan-vms.adb: Removed.
+ * s-asthan-vms-alpha.adb: Added.
+
+2005-02-09 Pascal Obry <obry@adacore.com>
+
+ * Makefile.in (LIBGNAT_SRCS): Add seh_init.c.
+ (LIBGNAT_OBJS): Add seh_init.o.
+
+2005-02-09 Arnaud Charlet <charlet@adacore.com>
+
+ PR ada/16592
+
+ * Makefile.in: Link all gnat tools with -static-libgcc, since
+ -shared-libgcc is now used by default on some systems (e.g. linux with
+ recent binutils).
+ Remove references to Makefile.prolog/generic, no longer used.
+
+2005-02-09 Vincent Celier <celier@adacore.com>
+
+ * prj-makr.adb (Process_Directory): Put file name in canonical case
+ before matching against the patterns.
+ If gnatname has been invoked as <prefix>-gnatname
+ then invoke the compiler as <prefix>-gcc, not just "gcc".
+
+2005-02-09 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch4.adb (Analyze_Selected_Component): Create Actual_Subtype even
+ with expansion disabled. The actual subtype is needed among other
+ places when the selected component appears in the context of a loop
+ bound, and denotes a packed array.
+ (Operator_Check): Always use the first subtype in the
+ error message, to avoid the appearance of internal base types.
+ (Transform_Object_Operation): Copy each actual in full
+ to the parameter associations of the constructed call, rather than
+ using the shallow copy mechanism of New_Copy_List. This ensures that
+ the chaining of named associations is done properly.
+ (Complete_Object_Operation): Rewrite node, rather than
+ replacing it, so that we can trace back to the original selected
+ component.
+
+ * sem_elab.adb (Set_Elaboration_Constraint): For initialization calls,
+ and calls that use object notation, if the called function is not
+ declared in a withed unit, place the elaboration constraint on the
+ unit in the context that makes the function accessible.
+ (Check_Elab_Subtype_Declaration): Check whether a subtype declaration
+ imposes an elaboration constraint between two packages.
+
+2005-02-09 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch7.adb (Uninstall_Declarations): Exchange full and private
+ views of a private type after handling its private dependents, to
+ maintain proper stack discipline between entry and exit from the
+ package.
+
+2005-02-09 Cyrille Comar <comar@adacore.com>
+
+ * s-finimp.adb: (Finalize_List): Optimize in the no-abort case.
+ Minor reformatting.
+
+2005-02-09 Arnaud Charlet <charlet@adacore.com>
+
+ * s-tporft.adb (Register_Foreign_Thread): Initialize Task_Image[_Len]
+ fields for foreign threads.
+
+2005-02-09 Doug Rupp <rupp@adacore.com>
+
+ * s-vaflop.adb: Add pragma Warnings (Off) to eliminate infinite
+ recursion warnings when compiled with -gnatdm.
+
+2005-02-09 Robert Dewar <dewar@adacore.com>
+
+ * usage.adb: Add line for switch -gnat05 (allow Ada 2005 extensions)
+ Slight fix to documentation of -gnaty with no parameters
+
+ * xr_tabls.ads: Add ??? comment for missing overall comment
+
+ * xsinfo.adb: Make default file name be sinfo.h, since this is what
+ we now use by default.
+
+ * xsnames.adb: Adjust end of file test to look for five space followed
+ by '#' instead of six spaces. The format of xsnames.adb was modified
+ in the last update.
+
+ * a-numeri.ads: Add reference to AI-388 for greek letter pi
+ identifier.
+
+ * clean.adb: Minor reformatting.
+
+ * gnat1drv.adb, gnatfind.adb, gnatlink.adb, gnatmem.adb,
+ gnatname.adb: Minor reformatting
+ Add 2005 to copyright output when utility is run
+
+ * csets.adb: Eliminate obsolete comment
+
+ * debug.adb, g-socket.ads, i-cobol.adb: Minor reformatting throughout
+ Update comments.
+
+ * sem_eval.ads (Eval_Integer_Literal): Do not inline this, not useful.
+
+2005-02-09 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: Add to the gnatpp section the paragraph describing
+ the difference between compact and incompact layout and add the record
+ representation clause to the example illustrating different layouts.
+ Add the description of '-A5' gnatpp option ("align 'AT' keywords in
+ component clauses").
+
+2005-02-09 Florian Villoing <villoing@adacore.com>
+
+ * gnat_ugn.texi: Fix typos.
+ Use @command to display 'gcc', 'gnatbind', etc. insted of @code or
+ @file.
+ Make proper use of @ref, @xref and @pxref to avoid duplication of "see"
+ in the generated documentation.
+
+2005-02-09 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat_ugn.texi: Remove all mentions of FSU threads, which are no
+ longer supported.
+ Update linker wrapper when linking with non GNU C++.
+
+2005-02-09 Pascal Obry <obry@adacore.com>
+
+ * gnat_ugn.texi:
+ Document the procedure to debug the DllMain routine on Windows.
+ Add note about -funwind-tables and mixed Ada and C/C++ programming in
+ ZCX mode.
+ Document new BIND qualifer /RETURN_CODES=VMS.
+
+2005-02-09 Ben Brosgol <brosgol@adacore.com>
+
+ * gnat_ugn.texi: Wordsmithing of "GNAT and Libraries" chapter
+ Edited gnatmetric chapter
+
+2005-02-09 Robert Dewar <dewar@adacore.com>
+
+ * gnat_rm.texi:
+ Changes to document new wide wide character support
+ For AI-285
+ Update documentation on Normalize_Scalars and Initialize_Scalars
+
+2005-02-09 Pascal Obry <obry@adacore.com>
+
+ * s-taprop-mingw.adb, s-soflin.ads: Minor reformatting.
+
+2005-02-09 Jose Ruiz <ruiz@adacore.com>
+
+ * s-osinte-vxworks.ads (taskPriorityGet): Add this function (imported
+ from the VxWorks kernel) that is needed for getting the active
+ priority of the different tasks.
+
+ * s-atacco.ads, s-atacco.adb (Nothing): Remove this dummy procedure.
+ Use a pragma Elaborate_Body in the spec file instead.
+ Noticed by code reading.
+
+2005-02-09 Thomas Quinot <quinot@adacore.com>
+
+ * exp_util.ads: Minor correction in comment.
+
+2005-02-09 Arnaud Charlet <charlet@adacore.com>
+
+ * s-taprop.ads (Initialize): Update comments. Remove pragma Inline,
+ since this procedure is now too complex to be worth inlining.
+
2005-02-09 Richard Henderson <rth@redhat.com>
* utils.c (gnat_define_builtin): Remove.