+2009-07-27 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: gnatcheck Unconstrained_Array_Returns rule: Add to the
+ rule definition the paragraph that explains that generic functions and
+ functions from generic packages are not checked.
+
+2009-07-27 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch6.adb (New_Overloaded_Entity): Add test for an expanded null
+ procedure when determining whether to set the Overridden_Operation
+ field of a subprogram overriding an inherited subprogram.
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * a-except.adb, a-except-2005.ads: Minor reformatting
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * sem_util.adb, sem_util.ads (Kill_Current_Values): Reset Is_Known_Valid
+
+2009-07-27 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Expand_Dispatching_Call): Reverse previous patch and
+ add some documentation explaining why the SCIL nodes must be generated
+ at that point.
+
+2009-07-27 Olivier Hainque <hainque@adacore.com>
+
+ * a-except.adb: Bind to __builtin_longjmp directly.
+ * a-except-2005.ads: Provide direct binding to __builtin_longjmp
+ for sjlj variants.
+ * a-exexpr.adb: Use it.
+ * a-except-xi.adb: Likewise.
+ * raise.c (_gnat_builtin_longjmp): Remove and update comments.
+ * raise.h (_gnat_builtin_longjmp): Remove declaration.
+
+2009-07-27 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_eval.adb (Compile_Time_Compare): More precise handling of
+ Known_Valid flag, to prevent spurious range deductions when scalar
+ variables may be uninitialized. New predicate Is_Known_Valid_Operand.
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * gnatfind.adb, osint.ads, sem.adb, xr_tabls.adb: Minor reformatting
+ and code clean up.
+
+2009-07-27 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch9.adb (Expand_N_Timed_Entry_Call): Do not attempt expansion in
+ Ravenscar mode. Error has already been posted on specification.
+
+ * sem.adb: Further code clean ups.
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * g-sse.ads: Minor reformatting
+
+2009-07-27 Arnaud Charlet <charlet@adacore.com>
+
+ * xref_lib.adb (Add_Xref_File_Internal, Find_ALI_Files): Add support for
+ alternate ali extension.
+ * xr_tabls.adb (ALI_File_Name, Get_File, Set_Unvisited): Take into
+ account Osint.ALI_Suffix.
+ * osint.ads (ALI_Suffix): Make visible.
+ * gnatfind.adb (Gnatfind): Add support for --ext= switch.
+ * gnat_ugn.texi: Document new gnatfind --ext= switch.
+
+2009-07-27 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Walk_Library_Items): If main unit is an instance body, do
+ its spec first.
+
+2009-07-27 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Expand_Dispatching_Call): Generate the SCIL node after
+ the dispatching call has is expanded.
+
+2009-07-27 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_attr.adb (Expand_Attribute_Reference, case 'Valid): Reset the
+ Is_Known_Valid flag on the temporary created for the value whose
+ validity is being checked.
+
+ * sem.adb (Do_Unit_And_Dependents): Further code reorganization to
+ handle properly main units that are package specifications.
+
+2009-07-27 Geert Bosch <bosch@adacore.com>
+
+ * einfo.ads (Checks_May_Be_Suppressed): Fix typo in comment
+ * sem_aux.ads: Fix typo in comment
+ * sem_util.ads (Is_LHS): Adjust comment to match body
+
+2009-07-27 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi (gnatcheck Complex_Inlined_Subprograms rule): Update
+ rule definition.
+
+2009-07-27 Olivier Hainque <hainque@adacore.com>
+
+ * g-sse.ads, g-ssvety.ads: Update comments.
+
+2009-07-27 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: Update gnatcheck doc.
+
+2009-07-27 Arnaud Charlet <charlet@adacore.com>
+
+ * lib-xref.ads: Allocate/document 'o' char for use by references to
+ spark 'own' variables.
+
+2009-07-27 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch6.adb (Analyze_Function_Return): Set Referenced on return
+ objects, since these are implicitly referenced by the return statement.
+ * sem_warn.adb (Warn_On_Unreferenced_Entity): No longer a need to test
+ Is_Return_Object in this procedure, as return objects will never make
+ it here since they're now marked as Referenced.
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch2.adb, sem_util.adb, sem_util.ads: Minor reformnatting
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch6.adb (Expand_Call): Reset Is_Known_Valid after call
+
+ * sem_ch3.adb, sem_eval.adb, sem_aux.adb: Minor comment reformatting
+
+2009-07-27 Geert Bosch <bosch@adacore.com>
+
+ * checks.adb (Find_Check): Minor streamlining of logic.
+ * gnat1drv.adb(Gnat1drv): Put Check_Rep_Info in its alphabetical order.
+ * debug.adb: Document -gnatdX debug flag
+ * exp_ch2.adb(Expand_Entity_Reference): Implement new -gnatdX flag to
+ list information about reads from scalar entities.
+ Also slightly simplify condition for Expand_Current_Value.
+ * sem_util.ads, sem_util.adb (Is_LHS, Is_Actual_Out_Parameter): New
+ functions.
+
+2009-07-26 Dave Korn <dave.korn.cygwin@gmail.com>
+
+ PR bootstrap/40578
+ * adaint.h (FOPEN, STAT, FSTAT, LSTAT, STRUCT_STAT): Rename from these
+ (GNAT_FOPEN, GNAT_STAT, GNAT_FSTAT, GNAT_LSTAT, GNAT_STRUCT_STAT): ...
+ to these.
+ (__gnat_stat): Adjust reference to STAT in prototype.
+ * adaint.c (__gnat_try_lock, __gnat_fopen, __gnat_file_length,
+ __gnat_named_file_length, __gnat_file_time_name, __gnat_file_time_fd,
+ __gnat_get_libraries_from_registry, __gnat_stat, __gnat_file_exists,
+ __gnat_is_regular_file, __gnat_is_directory, __gnat_is_readable_file,
+ __gnat_is_writable_file, __gnat_is_executable_file,
+ __gnat_set_writable, __gnat_set_executable, __gnat_set_non_writable,
+ __gnat_set_readable, __gnat_set_non_readable, __gnat_is_symbolic_link,
+ __gnat_copy_attribs): Adjust all references to the above.
+ * cstreams.c (__gnat_is_regular_file_fd): Likewise.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Do_Unit_And_Dependents): Now that specs and bodies are not
+ done at the same time, guard against listing a body more than once.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch6.adb: Minor reformatting
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Analyze_Object_Declaration): A scalar constant with a
+ static expression is known valid.
+ * sem_eval.adb (Compile_Time_Compare): Handle properly non-static
+ operands of a subtype with a single value.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Do_Units_And_Dependents): Process bodies only for units that
+ are in the context of the main unit body.
+
+2009-07-23 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi (Misnamed_Controlling_Parameters gnatcheck rule): Fix
+ misprint in rule description.
+
+2009-07-23 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Replace
+ test that the object declaration is within an extended return statement
+ with direct test of whether the declared object associated with the
+ build-in-place call is a return object, since the enclosing function
+ might not even be a build-in-place function.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * freeze.adb, prj-nmsc.adb, errout.adb: Minor reformatting
+ Minor code reorganization
+
+2009-07-23 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): Do not ignore pragma Pack on records
+ for static analysis, only packed arrays are causing troubles.
+
+2009-07-23 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_aggr.adb (Resolve_Extension_Aggregate): Report an error when the
+ ancestor part is a call to a limited function with an unconstrained
+ result subtype unless the aggregate has a null extension type.
+ * sem_ch3.adb (Is_Null_Extension): Use the base type when retrieving
+ the parent type declaration to avoid blowups on subtype cases.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * par-ch4.adb (P_Aggregate_Or_Paren_Expr): Better message for missing
+ comma.
+
+ * sem_util.adb (Wrong_Type): Special message for cases like A and B = 0
+
+ * s-regexp.adb: Minor reformatting
+ * scos.ads: Minor reformatting.
+
+2009-07-23 Arnaud Charlet <charlet@adacore.com>
+
+ * freeze.adb (Set_Small_Size): Remove extra space for consistency with
+ other similar messages.
+ * sem_prag.adb (Freeze_Record_Type, Freeze_Entity): Disable error
+ messages/implicit packing in CodePeer mode.
+ (Analyze_Pragma [case pragma Pack]): Ignore pragma in CodePeer mode.
+ * errout.adb (Special_Msg_Delete): Suppress 'size too small' message in
+ CodePeer mode.
+
+2009-07-23 Pascal Obry <obry@adacore.com>
+
+ * prj-nmsc.adb: Fix spec/body naming extension on case insensitive
+ systems.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * einfo.ads, g-ssvety.ads, s-regexp.adb, g-sse.ads: Update comment.
+ Minor reformatting.
+
+2009-07-23 Yannick Moy <moy@adacore.com>
+
+ * s-regexp.adb (Check_Well_Formed_Pattern): Called before compiling the
+ pattern.
+ (Raise_Exception_If_No_More_Chars): Remove extra blank in exception
+ string.
+ (Raise_Exception): Ditto.
+
+2009-07-23 Olivier Hainque <hainque@adacore.com>
+
+ * g-sse.ads: Simplify comment.
+
+2009-07-23 Olivier Hainque <hainque@adacore.com>
+
+ * g-ssinty.ads: New unit. GNAT.SSE.Internal_Types. Factorize
+ low level internal type definitions for distinct higher level
+ binding development activities (user type definitions and
+ operations).
+ * gnat_rm.texi: Document it.
+ * g-ssvety.ads: Use it.
+ * gcc-interface/Makefile.in: (x86 32/64 linux, cygwin32 sections): Add
+ g-ssinty.o to EXTRA_GNATRTL_NONTASKING_OBJS.
+ * gcc-interface/utils.c (gnat_internal_attribute_table): Add entry
+ for the "may_alias" attribute.
+
+2009-07-23 Thomas Quinot <quinot@adacore.com>
+
+ * scos.ads: Minor typo fix
+ * gcc-interface/decl.c (validate_alignment): For the case of an
+ implicit array base type, look for alignment clause on first subtype.
+ Code clean up.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Walk_Library_Units): Handle properly the case where a unit
+ in the context depends on the spec of the main unit, by delaying
+ processing of the main unit body until all other units have been
+ processed.
+
+2009-07-23 Arnaud Charlet <charlet@adacore.com>
+
+ * a-convec.adb: Add comments about suspicious/subtle code.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * einfo.ads: Document use of Alias in private overriding
+
+2009-07-23 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): For the case of
+ an array type, propagate alignment from first subtype to implicit base
+ type so that other subtypes (such as the itypes for aggregates of the
+ type) also receive the expected alignment.
+
+ * g-comlin.ads: Minor documentation clarification/rewording.
+ * scos.ads: Minor comments update.
+ * lib-writ.ads: Minor reformatting
+
+2009-07-23 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch3.adb (Expand_N_Object_Declaration): For an initialized object
+ of a class-wide interface type that is a return object of a
+ build-in-place function, bypass the interface-related expansions into
+ renamings with displacement conversions, etc.
+ * exp_ch5.adb (Expand_N_Extended_Return_Statement): Add an assertion
+ for the case where a renaming occurs in a build-in-place context, to
+ assert that the bypassing of the build-in-place treatment only occurs
+ in the case of a renaming that is an expansion of a return expression
+ that is itself a build-in-place function call.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch4.adb (Try_Primitive_Operation): A primitive operation is a
+ valid candidate interpretation in a prefixed view if it is hidden, but
+ overrides an inherited operation declared in the visible part.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Type_Conversion): Don't promote integer
+ division operands to 64-bit at all in any circumstances.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb (Analyze_N_Op_Rem): Assume operands are valid when
+ checking ranges for mod/rem to see if conditional jump will be
+ generated.
+ (Analyze_N_Op_Rem): Don't try to check actual lower bounds for
+ generating special -1 test for rem, generate it whenever both
+ operands can be negative (match circuit in Sem_Res).
+ (Analyze_N_Op_Rem): Don't go to base type, no longer needed and
+ destroys memory of positive range.
+ * sem_res.adb (Resolve_Arithmetic_Op): Assume operands are valid when
+ checking ranges for mod/rem to see if conditional jump will be generated
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch3.adb (Build_Equivalent_Record_Aggregate): If the type of a
+ scalar components has non-static bounds, the equivalent aggregate
+ cannot be built, even if the expression is static, because range checks
+ will be generated.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Type_Conversion): Don't promote integer
+ division operands to 64-bit inside a conversion if 64-bit division not
+ available.
+
+2009-07-23 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: Update doc on Misnamed_Identifiers rule.
+
+2009-07-23 Javier Miranda <miranda@adacore.com>
+
+ * sinfo.ads, sinfo.adb (SCIL_Entity/Set_SCIL_Entity): new subprograms
+ (Entity/Set_Entity): not available in N_Null_Statement nodes
+ (Is_Scil_Node): renamed as Is_SCIL_Node
+ (Scil_Nkind): renamed as SCIL_Nkind
+ (Scil_Related_Node): renamed as SCIL_Related_Node
+ (Scil_Target_Prim): renamed as SCIL_Target_Prim
+ (Set_Is_Scil_Node): Renamed as Set_Is_SCIL_Node
+ (Set_Scil_Related_Node): Renamed as Set_SCIL_Related_Node
+ (Set_Scil_Target_Prim): Renamed as Set_SCIL_Target_Prim
+ Update documentation
+ * exp_disp.ads (Scil_Node_Kind): Renamed as SCIL_Node_Kind
+ (Get_Scil_Node_Kind): Renamed as Get_SCIL_Node_Kind
+ (New_Scil_Node): Renamed as New_SCIL_Node
+ * exp_disp.adb Update all occurrences of New_Scil_Node to New_SCIL_Node.
+ (Get_Scil_Node_Kind): Renamed as Get_SCIL_Node_Kind
+ (New_Scil_Node): Renamed as New_SCIL_Node
+ * exp_ch3.adb Update occurrence of New_Scil_Node to New_SCIL_Node.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * sem_prag.adb: No_Return is an Ada 2005 pragma, not a GNAT pragma
+ * snames.ads-tmpl: No_Return is an Ada 2005 pragma, not a GNAT pragma
+ * einfo.adb: Minor reformatting
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * checks.adb (Apply_Arithmetic_Overflow_Check): Add comments
+ cross-referencing the new related code in
+ Exp_Ch4.Expand_N_Type_Conversion.
+ * exp_ch4.adb (Expand_N_Type_Conversion): Avoid unnecessary overflows
+
+ * exp_disp.adb, exp_disp.ads, sinfo.ads: Minor reformatting.
+ Add comment.
+
+2009-07-23 Javier Miranda <miranda@adacore.com>
+
+ * sinfo.ads (Is_Scil_Node, Scil_Nkind, Scil_Related_Node,
+ Scil_Target_Prim, N_Has_Entity): Add missing documentation.
+ * exp_disp.ads (Scil_Node_Kind): Ditto.
+ * exp_disp.adb (Make_DT, Make_Tags): Ditto.
+ * exp_ch3.adb (Build_Init_Procedure): Ditto.
+
+2009-07-23 Javier Miranda <miranda@adacore.com>
+
+ * einfo.adb (Component_Type): Add missing assertion.
+ * sem_res.adb (Resolve_Call): Ensure proper kind of entity before
+ reading attribute Component_Size.
+ * exp_ch4.adb (Is_Safe_In_Place_Array_Op): Ensure proper kind of entity
+ before reading attributes Component_Size and Component_Type.
+ * exp_ch3.adb (Build_Initialization_Call): Ensure proper kind of entity
+ before reading attribute Component_Type.
+
+2009-07-23 Olivier Hainque <hainque@adacore.com>
+
+ * gnat_rm.texi: Document the GNAT.SSE units.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Return_Type): Do not create itype reference for
+ not null return if it appears on a subunit.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch5.adb (Expand_N_Assignment_Statement): Do left-side validity
+ check right away so it does not get skipped for early returns, e.g.
+ array assignments.
+ (Expand_N_Assignment_Statement): Don't propagate Is_Known_Valid to
+ left-side unless we really know the value is valid.
+
+ * errout.adb, exp_ch3.adb, exp_disp.ads, sinfo.ads, exp_disp.adb: Minor
+ reformatting. Minor code reorganization. Add comments.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * get_scos.adb (Skip_EOL): Fix error of mishandling end of line after
+ complex condition.
+
+2009-07-23 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch6.adb (Check_Return_Subtype_Indication): Replace type equality
+ with test of coverage, to allow specific type objects in extended
+ returns of class-wide functions. Remove now-unnecessary special-case
+ tests that allowed this in certain cases of expanded extended returns.
+
+2009-07-23 Javier Miranda <miranda@adacore.com>
+
+ * sinfo.ads,sinfo.adb (Entity/Set_Entity): Attribute available in
+ N_Null_Statements (for SCIL nodes).
+ (Is_Scil_Node/Set_Is_Scil_Node): New attribute (for SCIL nodes).
+ (Scil_Nkind/Set_Scil_Nkind): New attribute (for SCIL nodes).
+ (Scil_Related_Node/Set_Scil_Related_Node): New attribute (for SCIL
+ nodes).
+ (Scil_Target_Prim/Set_Scil_Target_Prim): New attribute (for SCIL nodes).
+ * exp_disp.adb (Expand_Dispatching_Call): Add generation of SCIL node
+ associated with dispatching call.
+ (Get_Scil_Node_Kind): New function that returns the kind of SCIL node.
+ (Make_DT, Make_Tags): Add generation of SCIL nodes associated with
+ initialization of dispatch tables and initialization of tags.
+ (New_Scil_Node): New function that creates a new SCIL node.
+ (Build_Init_Procedure): Add generation of SCIL node associated with the
+ initialization of tags done in the IP subprogram.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * errout.adb (Error_Msg_NEL): If the entity in the initial message has
+ Warnings_Off, do not emit continuation messages.
+
+ * sem_ch10.adb: Set Is_Compilation_Unit on generated child subprogram
+ spec.
+
+2009-07-23 Emmanuel Briot <briot@adacore.com>
+
+ * ali.adb: Minor comment update
+
+2009-07-23 Vasiliy Fofanov <fofanov@adacore.com>
+
+ * s-win32.ads (HANDLE): Define to be the same size as address type.
+ Fix copyright.
+
+2009-07-23 Olivier Hainque <hainque@adacore.com>
+
+ * g-sse.ads: New file. Root of the SSE facilities trees, with
+ general description and common declarations.
+ * g-ssvety.ads: New file. Expose user level SSE vector types.
+ * impunit.adb (Non_Imp_File_Names_95): Register new units.
+ * gcc-interface/Makefile.in (x86 32/64 linux, win32): Add
+ EXTRA_GNATRTL_NONTASKING_OBJS entries for SSE units.
+
+2009-07-23 Ben Brosgol <brosgol@adacore.com>
+
+ * gnat_ugn.texi: Wordsmithing.
+
+2009-07-23 Arnaud Charlet <charlet@adacore.com>
+
+ * prj-conf.ads, prj-conf.adb: Switch to GPLv3.
+
+2009-07-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_aggr.adb (Gen_Loop): Do not qualify the bounds of the range if
+ they are already of the base type of the index.
+
+2009-07-22 Brett Porter <porter@adacore.com>
+
+ * sysdep.c, init.c: Fix typo: _SPE_ should have been __SPE__.
+
+2009-07-22 Robert Dewar <dewar@adacore.com>
+
+ * vms_data.ads: Add entry for SCO_OUTPUT (-gnateS)
+ * gnat_ugn.texi: Add documentation for -gnateS switch
+ * ug_words: Add entry for -gnateS /SCO_OUTPUT
+ * gcc-interface/Make-lang.in: Update dependenciest.3
+
+ * get_scos.adb, get_scos.ads, gnat1drv.adb, par_sco.adb,
+ par_sco.ads, put_scos.adb, put_scos.ads, scos.adb, scos.ads: Initial
+ complete information for SCO input/output.
+
+2009-07-22 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: Update doc for some gnatcheck rules.
+
+2009-07-22 Robert Dewar <dewar@adacore.com>
+
+ * par_sco.adb, par_sco.ads (pscos): New debug routine to output
+ contents of SCO tables.
+ * put_scos.adb, put_scos.ads, get_scos.adb, get_scos.ads,
+ scos.adb, scos.ads: New files.
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+ * lib-util.ads, gnatbind.ads, ali.ads, binderr.ads: Minor comment
+ fixes and reformatting.
+
+2009-07-22 Robert Dewar <dewar@adacore.com>
+
+ * g-socket.ads: Minor reformatting
+
+2009-07-22 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_warn.adb (Warn_On_Unreferenced_Entity): Add warning messages that
+ include the entity kind for following cases of unreferenced entities:
+ E_Label, E_Discriminant, E_Package, E_Exception, and Formal_Object_Kind.
+
+2009-07-22 Ed Falis <falis@adacore.com>
+
+ * s-vxwext-kernel.adb, s-vxwext-kernel.ads: Replace use of taskStop
+ with taskSuspend.
+
+2009-07-22 Arnaud Charlet <charlet@adacore.com>
+
+ * adadecode.c: Make this file compilable outside of GCC.
+
+2009-07-22 Thomas Quinot <quinot@adacore.com>
+
+ * g-socket.adb, g-socket.ads (Check_Selector): Make sure that
+ (partially) default-initialized socket sets are handled properly by
+ clearing their Set component.
+
+2009-07-22 Bob Duff <duff@adacore.com>
+
+ * gnat_ugn.texi: Clarify the -gnatVx (validity checking) switches.
+
+2009-07-22 Robert Dewar <dewar@adacore.com>
+
+ * gnat_ugn.texi: Minor reformatting
+
+2009-07-22 Ed Schonberg <schonberg@adacore.com>
+
+ * errout.adb (Error_Msg): A style message within an instantiation
+ should not be labelled as an error.
+
+2009-07-22 Ed Schonberg <schonberg@adacore.com>
+
+ * freeze.adb (Freeze_Entity): Do not generate extra formal for function
+ in initialization expression if function does not have convention Ada.
+
+2009-07-22 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi, vms_data.ads: Add qualifier for new gnatpp option
+ '--separate-label' to control label layout.
+
+2009-07-22 Robert Dewar <dewar@adacore.com>
+
+ * exp_tss.ads, sem_eval.adb: Minor reformatting
+
+2009-07-22 Bob Duff <duff@adacore.com>
+
+ * exp_dist.adb, exp_dist.ads: Update comments.
+
+2009-07-22 Brett Porter <porter@adacore.com>
+
+ * init.c (__gnat_init_float): For SPE, set bits in SPEFSCR instead of
+ FPSCR.
+ * sysdep.c (__gnat_get_task_options): Set task option enabling SPE.
+
+2009-07-22 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch5.adb, sem_util.adb, sem_attr.adb, exp_dbug.ads, exp_ch2.adb,
+ exp_tss.ads, exp_ch4.adb, sem_ch4.adb: Correct spelling error.
+ Minor reformatting.
+ * sem_res.adb (Resolve_Explicit_Dereference): Reword one comment that
+ used poor terminology.
+
+2009-07-22 Robert Dewar <dewar@adacore.com>
+
+ * freeze.adb, sem_ch3.adb, sem_prag.adb: Minor reformatting
+ * sem_eval.adb, exp_tss.adb: Minor comment update.
+ * stylesw.adb: Code clean up.
+
+2009-07-22 Ed Schonberg <schonberg@adacore.com>
+
+ * freeze.adb (Freeze_Entity): If Implicit_Packing is enabled, and the
+ component size is an exact number of bytes, an array type can have a
+ size clause that forces packing even though the array type itself is
+ not bit-packed.
+
+2009-07-22 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch3.adb (Analyze_Object_Declaration): For a constant declaration,
+ if there is a previous entity with the same name in the scope, ignore
+ it if it is the renaming declaration for a generic package introduced
+ in instances.
+
+2009-07-22 Nicolas Roche <roche@adacore.com>
+
+ * seh_init.c: use RtlAddFunctionTable to register our SEH exception
+ handler on x86_64 windows.
+
+2009-07-22 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): Initialize/Normalize_Scalars create
+ false positives in CodePeer, so ignore this pragma in this mode.
+
+2009-07-22 Thomas Quinot <quinot@adacore.com>
+
+ * sem_util.adb, sem_ch10.adb: Minor reformatting
+
+ * g-socket.adb (Receive_Socket, recvfrom(2) variant): Apply required
+ special handling for the case of no data received and Item'First =
+ Stream_Element_Offset'First.
+ (Last_Index): New subprogram factoring the above special handling
+ over the various locations where it is required.
+
+2009-07-22 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat1drv.adb (Gnat1drv): Also disable division by zero and alignment
+ checks in CodePeer_Mode.
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2009-07-22 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_aggr.adb: Improve error message.
+
+ * sem_ch13.adb: If Ignore_Rep_Clauses is enabled, do a minimal analysis
+ of an address representation clause.
+ * freeze.adb (Freeze_Static_Object): An local imported object is legal
+ if it has an address clause.
+
+2009-07-22 Thomas Quinot <quinot@adacore.com>
+
+ * sem_elab.adb (Insert_Elab_Check): When relocating an overloaded
+ expression to insert an elab check using a conditional expression, be
+ sure to carry the original list of interpretations to the new location.
+
+2009-07-22 Gary Dismukes <dismukes@adacore.com>
+
+ * gnat1drv.adb: Fix spelling error.
+
+2009-07-22 Javier Miranda <miranda@adacore.com>
+
+ * sem_type.ads, sem_type.adb (In_Generic_Actual): Leave this subprogram
+ at the library level and fix a hidden bug in its implementation: its
+ functionality for renaming objects was broken because
+ N_Object_Renaming_Declarations nodes are not a subclass of
+ N_Declaration nodes (as documented in sinfo.ads).
+ * sem_util.adb (Check_Dynamically_Tagged_Expression): Include in this
+ check nodes that are actuals of generic instantiations.
+
+2009-07-22 Ed Schonberg <schonberg@adacore.com>
+
+ * sinfo.ads, sinfo.adb (Pending_Context): New flag to indicate that the
+ context of a compilation unit is being analyzed. Used to detect
+ circularities created by with_clauses that are not detected by the
+ loading machinery.
+ * sem_ch10.adb (Analyze_Compilation_Unit): Set Pending_Context before
+ analyzing the context of the current compilation unit, to detect
+ possible circularities created by with_clauses.
+
+2009-07-22 Thomas Quinot <quinot@adacore.com>
+
+ * sem_type.adb (Get_First_Interp): Fix wrong loop exit condition.
+
+2009-07-22 Robert Dewar <dewar@adacore.com>
+
+ * sem_res.adb (Check_No_Direct_Boolean_Operators): Add check for -gnatyB
+ * style.ads, styleg.adb, styleg.ads (Check_Boolean_Operator): New
+ procedure.
+ * usage.adb, stylesw.ads, stylesw.adb: Add handling of -gnatyB switch
+ * gnat_ugn.texi: Add documentation of -gnatyB
+ * vms_data.ads: Add entry for -gnatyB (STYLE=BOOLEAN_OPERATORS)
+
+2009-07-22 Robert Dewar <dewar@adacore.com>
+
+ * s-stchop.adb, a-direct.adb, a-ztexio.adb, gnatchop.adb, prj-proc.adb,
+ make.adb, s-regpat.adb, ali-util.adb, a-ngcefu.adb, prep.adb,
+ s-tassta.adb, a-tifiio.adb, a-textio.adb, prj.adb, uintp.adb,
+ s-valrea.adb, a-ngelfu.adb, prepcomp.adb, sinput-l.adb, vms_conv.adb,
+ errout.adb, g-alleve.adb, repinfo.adb, a-wtedit.adb, ali.adb,
+ a-witeio.adb, prj-dect.adb, prj-nmsc.adb, sinput-c.adb, binde.adb,
+ s-regexp.adb, s-imgrea.adb, a-teioed.adb, errutil.adb, prj-util.adb,
+ a-ztedit.adb, gnatls.adb, prj-conf.adb, bcheck.adb, s-scaval.adb,
+ erroutc.adb, osint.adb, a-strfix.adb, s-fileio.adb: Make sure sources
+ obey short-circuit style rule.
+
+2009-07-20 Bob Duff <duff@adacore.com>
+
+ * sem_ch13.adb (Analyze_Record_Representation_Clause): Use "and then"
+ instead of "and", because otherwise Parent_Last_Bit is read
+ uninitialized in the case where it's not a tagged type, or the tagged
+ parent does not have a complete rep clause.
+
+2009-07-20 Robert Dewar <dewar@adacore.com>
+
+ * stylesw.ads: Minor documentation change.
+
+ * types.ads: Minor reformatting
+
+2009-07-20 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.ads (Apply_Access_Checks): New subprogram that takes care of
+ generating the tag checks associated with dispatching calls.
+ * exp_disp.adb (Apply_Access_Checks): New subprogram.
+ (New_Value): This routine was previously local to expand dispatching
+ calls but it is now used also by Apply_Access_Checks.
+ (Expand_Dispatching_Calls): Cleanup code because the functionality of
+ tag checks is now provided by Apply_Access_Checks.
+ * exp_ch6.adb (Expand_Call): Incorporate generation of tag checks in
+ case of dispatching calls.
+
+2009-07-20 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat1drv.adb (Gnat1drv): Also disable Elaboration_Check in
+ CodePeer_Mode.
+
+2009-07-20 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_prag.adb (Expand_Pragma_Import_Export_Exception): When compiling
+ for VMS, only rewrite the first component of the associated exception's
+ aggregate init (as 'V'), and eliminate the bogus rewrites of the second
+ and third components that were being replaced with 'M' and 'S'.
+
+2009-07-20 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat1drv.adb (Gnat1drv): Suppress access checks in CodePeer mode.
+ Also do not generate error when parsing a spec in CodePeer mode.
+
+2009-07-20 Javier Miranda <miranda@adacore.com>
+
+ * checks.adb (Apply_Access_Check): Avoid checks on availability of
+ runtime function Offset_To_Top_Ptr when compiling with no tagged
+ types expansion.
+ * exp_ch3.adb (Build_Init_Procedure): Leave open the possibility of
+ adding code to the init proc when compiling for VM backends.
+
+2009-07-20 Vincent Celier <celier@adacore.com>
+
+ * switch-m.ads, switch-m.adb (Normalize_Compiler_Switches): Take into
+ account switches -gnatw.?
+
+2009-07-20 Thomas Quinot <quinot@adacore.com>
+
+ * sem_dist.adb, exp_dist.adb: Minor reformatting
+
+ * Make-generated.in: New file.
+
+ * gcc-interface/Make-lang.in: Use Make-generated.in fragment.
+
+2009-07-20 Javier Miranda <miranda@adacore.com>
+
+ * sem_util.ads, sem_util.adb (Check_Dynamically_Tagged_Expression): New
+ subprogram.
+ * sem_aggr.adb (Resolve_Array_Aggregate): Check incorrect use of
+ dynamically tagged expression.
+ * sem_ch3.adb (Analyze_Object_Declaration): Call new routine that
+ factorizes code.
+ * sem_ch6.adb (Analyze_Function_Return, Process_Formals): Ditto.
+ * sem_ch8.adb (Analyze_Object_Renaming): Ditto.
+
+2009-07-20 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat1drv.adb (Gnat1drv): Set operating mode to Generate_Code when
+ CodePeer_Mode is set, to benefit from full front-end expansion
+ (e.g. generics).
+
+2009-07-20 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb: Add guard.
+
+ * exp_disp.adb, sem_disp.adb (Make_DT): Check underlying view of type
+ for possible attribute definition of External_Tag, in case clause
+ appears in the private part of a package.
+
+2009-07-20 Jerome Guitton <guitton@adacore.com>
+
+ * gcc-interface/Makefile.in: cleanup powerpc linux target pairs.
+
+2009-07-20 Vadim Godunko <godunko@adacore.com>
+
+ * a-coorma.adb: Minor reformatting.
+
+2009-07-20 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3 (Build_Itype_Reference): Make public, for use on non-null
+ access return types.
+ * sem_ch6.adb (Analyze_Return_Type): If return is a not null subtype,
+ provide an itype reference to gigi to force elaboration of the subtype
+ at the proper point.
+
+2009-07-20 Tristan Gingold <gingold@adacore.com>
+
+ * g-expect.adb: Avoid closeing already closed handle.
+
+2009-07-20 Robert Dewar <dewar@adacore.com>
+
+ * sprint.adb (Write_Subprogram_Name): New procedure to output
+ subprogram name with possible preceding $ (replaces
+ Note_Implicit_Run_Time_Call).
+
+2009-07-20 Robert Dewar <dewar@adacore.com>
+
+ * vms_data.ads: Minor reformatting
+
+ * einfo.ads, einfo.adb (Parent_Subtype): Now allowed on record subtype,
+ applies to base type.
+ (Parent_Subtype): Now allowed on record subtype, applies to base type
+ * exp_ch5.adb (Expand_Assign_Record): Handle Componentwise_Assignment
+ for case of fully repped tagged type.
+ (Make_Tag_Ctrl_Assignment): Set Componentwise_Assignment and avoid
+ tag save/restore for fully repped tagged type case.
+ * exp_util.ads, exp_util.adb (Is_Fully_Repped_Tagged_Type): New function
+ * fe.h (Is_Fully_Repped_Tagged_Type): New function
+ * sem_ch13.adb (Analyze_Recorrd_Representation_Clause): Check for
+ overlap of tagged type components with parent type if parent type is
+ fully repped.
+ * sinfo.ads, sinfo.adb (Componentwise_Assignment): New flag
+
+ * sem_res.adb (Check_No_Direct_Boolean_Operators): Remove handling of
+ comparisons.
+ (Resolve_Comparison_Operators): Remove No_Direct_Boolean_Operators check
+ (Resolve_Equality_Op): Remove No_Direct_Boolean_Operators check
+
+ * gnat_rm.texi: Restriction No_Direct_Boolean_Operators includes only
+ logical operators (AND/OR/XOR), not comparison operators.
+
+ * sprint.ads: Minor reformatting
+
+2009-07-20 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_intr.adb (Check_Intrinsic_Call): For Import_Value and related
+ intrinsics, check that argument is a string literal, rather than
+ checking for staticness.
+
+2009-07-20 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch13.adb: Minor reformatting
+
+ * einfo.ads: Minor reformatting
+ Component_Bit_Offset is no longer considered obsolescent
+
+2009-07-20 Nicolas Roche <roche@adacore.com>
+
+ * a-calend.adb: Redefine time_t as signed integer with same size as
+ Address type.
+ * s-os_lib.ads: Redefine OS_Time as signed integer with same size as
+ Address type
+ * adaint.h: On Windows 64bits declare OS_Time as long long instead of
+ long
+
+2009-07-20 Javier Miranda <miranda@adacore.com>
+
+ * exp_tss.adb (Init_Proc): Add missing support for non-default C++
+ constructors that have anonymous access type formals.
+
+ * sem_res.adb (Resolve_Actuals): Disable checks associated with Ada
+ class-wide arguments in case of imported C++ subprograms.
+
+ * exp_ch3.adb (Build_Initialization_Call): Add assertion.
+
+2009-07-20 Sergey Rybin <rybin@adacore.com>
+
+ * vms_data.ads: Update qualifiers.
+
+2009-07-20 Robert Dewar <dewar@adacore.com>
+
+ * einfo.ads, switch.adb, gnatls.adb, inline.adb, sem_ch13.adb: Minor
+ reformatting
+
+2009-07-17 Richard Guenther <rguenther@suse.de>
+
+ PR c/40401
+ * gcc-interface/utils.c (end_subprog_body): Revert to pre-tuples
+ state. Remove unused parameter.
+ (gnat_gimplify_function): Do not gimplify here.
+ Fold into its only caller and remove.
+ (gnat_builtin_function): Adjust for end_subprog_body signature change.
+ (gnat_write_global_declarations): Also finalize the CU.
+ * gcc-interface/misc.c (gnat_parse_file): Do not finalize the CU here.
+ * gcc-interface/trans.c (gigi): Revert to pre-tuples state.
+ (Subprogram_Body_to_gnu): Adjust for end_subprog_body signature
+ change.
+ * gcc-interface/gigi.h (end_subprog_body): Remove unused parameter.
+
+2009-07-15 Arnaud Charlet <charlet@adacore.com>
+
+ * gcc-interface/Make-lang.in: Update dependencies
+
+ * gcc-interface/Makefile.in: Add target pairs for PPC/Xenomai
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * par_sco.adb (Traverse_Declarations_Or_Statements): Add processing for
+ N_Label. Remove SCO table entry for entry point (not used).
+
+ * par_sco.ads: Remove SCO entry point type (not used)
+
+ * switch.adb: Minor code clean up.
+
+2009-07-15 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_dbug.ads (Base Record Types): Document enhanced encoding.
+
+2009-07-15 Thomas Quinot <quinot@adacore.com>
+
+ * gnatls.adb: Minor reformatting
+
+ * gnatcmd.adb: Minor code reorganization
+
+2009-07-15 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_util.adb (Component_May_Be_Bit_Aligned): Use underlying type to
+ determine whether a component of a private type has a composite type.
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch10.adb: Minor reformatting throughout
+ Minor code reorganization (put nested subprograms in alpha order)
+
+2009-07-15 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch6.adb (Expand_Call): Prevent double attachment of the result
+ when compiling a call to a protected function that returns a controlled
+ object.
+
+2009-07-15 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sysdep.c (__gnat_localtime_tzoff): Consolidate the Lynx cases into
+ one. Add task locking and unlocking around the critical region which
+ mentions localtime_r and global variable timezone for various targets.
+ Comment reformatting.
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * gnat_rm.texi: Document s-ststop.ads
+
+ * impunit.ad: (Map_Array): New table of alternative names
+ (Get_Kind_Of_Unit): Return possible suggested alternative name
+
+ * impunit.ads (Get_Kind_Of_Unit): Return possible suggested
+ alternative name.
+
+ * sem_ch10.adb (Analalyze_With_Clause): Add name of possible
+ alternative unit if an implementation unit is with'ed.
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * gnat_ugn.texi: Minor updates.
+
+ * snames.ads-tmpl: Minor comment updates for Ada 2005 fully implemented
+
+2009-07-15 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_warn.adb (Warn_On_Constant_Condition): Handle properly constant
+ conditions of a derived boolean type.
+ Minor reformatting
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * gnat1drv.adb: Initialize SCO tables
+
+ * par-load.adb: Call SCO_Record for main unit spec
+
+ * par.adb: Make call to SCO_Record for main unit
+
+ * par_sco.adb (Unit_Table): Change format to facilitate sort
+ (Process_Decisions): New procedure with list argument
+ (Traverse_Generic_Package_Declaration): New procedure
+ (Initialize): New procedure, replaces Init
+ (SCO_Output): Sort unit table before output
+ (SCO_Record): Avoid duplications
+ (SCO_Record): Handle remaining cases of units
+ (Traverse_Declarations_Or_Statements): Handle generics
+
+ * par_sco.ads (Initialize): New peocedure (replaces Init)
+
+ * sem_ch10.adb (Analyze_Proper_Body): Make call to SCO_Record for
+ subunit.
+
+2009-07-15 Arnaud Charlet <charlet@adacore.com>
+
+ * debug.adb: Add -gnatd.J switch for now to support scil generation in
+ parallel. Add missing doc for -gnatd.I and -gnatd.O
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * lib-load.adb: Minor reformatting
+
+ * lib-writ.adb (Write_ALI): Fix handling of SCO_Output wrt Generate_SCO.
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * par.adb: Minor reformatting
+ Add ??? comment for possible bad comment
+
+ * par-ch10.adb: Minor reformatting
+
+2009-07-15 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_warn.adb (Warn_On_Constant_Condition): if the constant condition
+ is a literal of a derived boolean type, it appears as an unchecked
+ conversion. Retrieve actual value from expression of conversion.
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch3.adb: Minor reformatting
+
+ * lib-xref.ads, lib-xref.adb, lib.ads, par_sco.ads, par_sco.adb,
+ lib-writ.ads, lib-writ.adb: Minor reformatting.
+ Fix problem with SCO format in ALI files
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch7.adb, exp_util.adb, tbuild.adb, tbuild.ads, exp_ch4.adb,
+ exp_aggr.adb: Minor code reorganization (better calling sequence for
+ Make_Temporary).
+
+2009-07-15 Thomas Quinot <quinot@adacore.com>
+
+ * opt.ads: Minor comment edits
+
+2009-07-15 Tristan Gingold <gingold@adacore.com>
+
+ * gcc-interface/Makefile.in: Special rule for seh_init.o no longer
+ needed.
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * lib-writ.adb (Write_Unit_Information): Use SCO_Output to output SCO
+ information.
+
+ * lib-writ.ads: Document addition of SCO lines to ALI file
+
+ * par_sco.ads, par_sco.adb: New files.
+
+ * opt.ads (Generate_SCO): New switch
+
+ * par.adb (Par): Call SCO_Record to record SCO information
+
+ * sem_warn.adb (Warn_On_Constant_Condition): Adjust SCO condition
+
+ * switch-c.adb: Recognize -gnateS to generate SCO information
+
+ * usage.adb: Add line for -gnateS
+
+ * gcc-interface/Make-lang.in: Add dependency on par_sco.o for gnat1
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * sinfo.ads, make.adb, par.ads, par.adb, sem_warn.adb: Minor
+ reformatting.
+
+2009-07-15 Thomas Quinot <quinot@adacore.com>
+
+ * g-socthi-mingw.adb: Minor comment addition
+
+ * g-socthi-mingw.ads (WSAStartup): First argument is a WORD not an int.
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * g-htable.ads, s-htable.ads: Minor reformatting
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * switch-c.adb, sem_ch10.adb, sem_warn.adb, sem_warn.ads: Implement
+ new switch -gnatw.g.
+ (Set_GNAT_Mode_Warnings): New procedure.
+
+ * lib-xref.adb: Minor reformatting
+
+2009-07-15 Robert Dewar <dewar@adacore.com>
+
+ * exp_aggr.adb, tbuild.ads, tbuild.adb: Minor reformatting
+ Minor code reorganization
+
+2009-07-14 Taras Glek <tglek@mozilla.com>
+ Rafael Espindola <espindola@google.com>
+
+ * gcc-interface/Make-lang.in (ada.install-plugin): New target for
+ installing plugin headers.
+
+2009-07-13 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch7.adb, exp_util.adb, tbuild.adb, tbuild.ads, exp_ch4.adb,
+ exp_aggr.adb (Make_Temporary): Utility to create a defining identifier
+ and link it to the expression whose value it captures.
+
+2009-07-13 Robert Dewar <dewar@adacore.com>
+
+ * output.adb: Minor comment addition for last change
+
+ * sinfo.ads: Minor reformatting
+
+2009-07-13 Vasiliy Fofanov <fofanov@adacore.com>
+
+ * adaint.c (__gnat_portable_no_block_spawn): on Windows, return -1 when
+ spawn failed like on all other targets.
+
+2009-07-13 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch7.adb: Indicate origin of temporary for transient expression.
+
+2009-07-13 Thomas Quinot <quinot@adacore.com>
+
+ * s-oscons-tmplt.c: Add comment.
+
+2009-07-13 Robert Dewar <dewar@adacore.com>
+
+ * sinfo.adb, sinfo.ads, sem_util.adb, atree.adb, atree.ads: Minor
+ reformatting. Minor code reorganization (add 9 argument version of
+ Nkind_In).
+
+ * impunit.adb: Remove s-os_lib from list of system extensions.
+
+ * sem_util.ads: Minor reformatting
+
+ * output.adb: Add warnings off/on around System.OS_Lib.
+
+2009-07-13 Bob Duff <duff@adacore.com>
+
+ * exp_dist.adb: Minor comment updates.
+
+2009-07-13 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch10.adb, sem_ch12.adb, gnat1drv.adb, exp_ch4.adb: Fix casing of
+ several references to CodePeer.
+
+2009-07-13 Bob Duff <duff@adacore.com>
+
+ * exp_dist.adb (Build_From_Any_Function,Build_To_Any_Function,
+ Build_TypeCode_Function_All): Do not recurse if the type is the base
+ type.
+
+2009-07-13 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb: Minor comment change
+
+2009-07-13 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch5.adb (Analyze_Iteration_Scheme): Generate dummy reference for
+ type of iteration, to prevent spurious warnings.
+
+2009-07-13 Nicolas Roche <roche@adacore.com>
+
+ * s-oscons-tmplt.c: On VxWorks target ensure that vxWorks.h is always
+ included.
+
+2009-07-13 Arnaud Charlet <charlet@adacore.com>
+
+ * switch-c.adb, usage.adb, sem_ch9.adb, gnat_ugn.texi, rtsfind.adb,
+ gnat1drv.adb, opt.ads, sem_ch13.adb (Inspector_Mode): Renamed to
+ Generate_SCIL.
+ (CodePeer_Mode): New -gnatC switch.
+ (Adjust_Global_Switches): Adjust settings for Generate_SCIL and
+ CodePeer_Mode.
+
+2009-07-13 Eric Botcazou <ebotcazou@adacore.com>
+
+ * checks.adb (Selected_Range_Checks): Do not consider that a non-static
+ integer bound forces the check if it is compared to its subtype range.
+
+2009-07-13 Robert Dewar <dewar@adacore.com>
+
+ * prj.ads, prj-dect.adb, prj-err.ads, prj-err.adb, prj-nmsc.adb,
+ prj-strt.ads: Minor reformatting
+
+2009-07-13 Thomas Quinot <quinot@adacore.com>
+
+ * exp_dist.adb (Build_From_Any_Call): For the case of a generic type,
+ set the type of the From_Any call to the base type.
+
+2009-07-13 Doug Rupp <rupp@adacore.com>
+
+ * symbols-processing-vms-ia64.adb (Process): Add variables and
+ constants to retrieve and check for symbol visibility.
+
+2009-07-13 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Unchecked_Type_Conversion): If conversion is to
+ the identical type we remove the conversion completely because
+ it is useless.
+
+2009-07-13 Emmanuel Briot <briot@adacore.com>
+
+ * prj-err.adb (Error_Msg): One more case where a message should be
+ considered as a warning.
+
+ * gnatcmd.adb (GNATCmd): Fix previous change, which negated a test.
+
+2009-07-13 Thomas Quinot <quinot@adacore.com>
+
+ * exp_dist.adb (Expand_All_Calls_Remote_Subprogram_Call): Analyze
+ calling stubs in the (library level) scope of the RCI locator, where it
+ is attached, not in the caller's scope.
+
+2009-07-13 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Analyze_Object_Declaration): In case of class-wide
+ interface object declarations we delay the generation of the equivalent
+ record type declarations until its expansion because there are cases in
+ which they are not required.
+
+ * sem_util.adb (Implements_Interface): Add missing support for subtypes.
+
+ * sem_disp.adb (Check_Controlling_Formals): Minor code cleanup plus
+ addition of assertion.
+
+ * exp_util.adb (Expand_Subtype_From_Expr): Renamings of class-wide
+ interface types require no equivalent constrained type declarations
+ because the expanded code only references the tag component associated
+ with the interface.
+ (Find_Interface_Tag): Improve management of interfaces that are
+ ancestors of tagged types.
+
+ * exp_ch3.adb (Expand_N_Object_Declaration): Improve the expansion of
+ class-wide object declarations to add missing support to statically
+ displace the pointer to the object to reference the tag component
+ associated with the interface.
+
+ * exp_disp.adb (Make_Tags) Avoid generation of internally generated
+ auxiliary types associated with user-defined dispatching calls if the
+ type has no user-defined primitives.
+
+2009-07-13 Vasiliy Fofanov <fofanov@adacore.com>
+
+ * mingw32.h: Make it explicit that we need XP or later.
+
+ * initialize.c: Remove useless extern symbol declaration.
+
+ * adaint.h: Ditto, also expose __gnat_win32_remove_handle to allow
+ code reuse in expect.c.
+
+ * adaint.c: Changes throughout the Windows section to redesign storage
+ of the child process list and the process identification.
+
+ * expect.c (__gnat_kill, __gnat_waitpid): Simplify, cleanup, use pids
+ for interfacing, fix errors.
+ (__gnat_expect_portable_execvp): use function in adaint.c
+
+2009-07-13 Emmanuel Briot <briot@adacore.com>
+
+ * prj-proc.adb, prj-part.adb, prj-part.ads, prj-strt.adb,
+ prj-strt.ads, prj.adb, prj.ads, prj-makr.adb, prj-makr.ads,
+ prj-dect.adb, prj-dect.ads, prj-nmsc.adb, prj-pars.adb, errutil.adb,
+ errutil.ads, prj-conf.adb, gnatname.adb, prj-err.adb, prj-err.ads
+ (Prj.Nmsc.Report_Error): Removed, no longer needed.
+ Always use Prj.Err.Report_Message.
+
+2009-07-13 Robert Dewar <dewar@adacore.com>
+
+ * prj.adb, sem_ch4.adb, sem_res.adb, prj-nmsc.adb: Minor reformatting
+ & comment edits.
+
+2009-07-13 Robert Dewar <dewar@adacore.com>
+
+ * opt.ads, prj-conf.adb, prj-env.adb, prj-ext.adb, prj-nmsc.adb,
+ prj-proc.adb, prj-tree.adb, prj-tree.ads: Minor reformatting
+
+2009-07-13 Emmanuel Briot <briot@adacore.com>
+
+ * prj.adb, prj.ads, prj-env.adb, prj-conf.adb, prj-tree.adb,
+ mlib-prj.adb (Private_Part.Ada_Prj_Objects_File_Set,
+ Ada_Prj_Include_File_Set): Removed, since not needed
+ Code clean up.
+
+2009-07-13 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch4.adb (Analyze_Set_Membership): New procedure, subsidiary of
+ Analyze_Membership_Op.
+
+ * sem_res.adb (Resolve_Set_Membership): New procedure, subsidiary of
+ Resolve_Membership_Op.
+
+ * exp_ch4.adb (Expand_Set_Membership): New procedure, subsidiary of
+ Expand_N_In.
+
+2009-07-13 Robert Dewar <dewar@adacore.com>
+
+ * clean.adb: Minor reformattting
+
+2009-07-13 Emmanuel Briot <briot@adacore.com>
+
+ * gnatcmd.adb, prj-proc.adb, make.adb, mlib-prj.adb, prj-ext.adb,
+ gnat_ugn.texi, prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-util.adb,
+ prj-conf.adb, gnatname.adb, prj-env.adb, prj-env.ads, prj-tree.adb,
+ prj-tree.ads (Prj.Tree.Create*): New subprograms to create new packages
+ and attributes in a project tree.
+ (Add_Default_GNAT_Naming_Scheme): Provide real implementation.
+ Remove last remaining mode-specific code (ada_only or
+ multi_language). This was duplicating code
+ (Get_Mode, Set_Mode): removed, no longer used.
+ (Initialize_Project_Path): all tools will now take into account both
+ GPR_PROJECT_PATH and ADA_PROJECT_PATH (in that order).
+ Remove some global variables and subprograms no longer used
+ Make temporary files tree-specific, to avoid interferences between
+ trees loaded in memory at the same time.
+ (Prj.Delete_Temporary_File): new subprogram
+ (Object_Paths, Source_Paths): fields no longer stored in the project
+ tree, since they are only needed locally in Set_Ada_Paths.
+ (Set_Mapping_File_Initial_State_To_Empty): removed, since had no
+ effect in practice.
+ (Project_Tree_Data.Ada_Path_Buffer): removed, since it can be replaced
+ by local variables in the appropriate subprograms
+ (Has_Foreign_Sources): removed.
+
+ * gcc-interface/Makefile.in: prj-pp.o is now needed to build gnatmake
+
+2009-07-13 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat1drv.adb (Adjust_Global_Switches): No longer set
+ Back_Annotate_Rep_Info in inspector mode.
+ (Gnat1Drv): Need to call the back-end in inspector mode to generate SCIL
+
+ * opt.ads: Update comment.
+
+2009-07-13 Robert Dewar <dewar@adacore.com>
+
+ * lib.adb, prj-nmsc.adb, prj-proc.adb, prj-proc.ads, prj.adb,
+ prj.ads: Minor reformatting and code reorganization.
+
+ * par-ch3.adb (Check_Restricted_Expression): New procedure
+
+2009-07-13 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_attr.adb (Rewrite_Stream_Proc_Call): When rewriting a stream
+ attribute into a call of the corresponding suprogram, create extra
+ formals for the subprogram, because it may be a renaming whose
+ analysis does not create extra formals.
+
+2009-07-13 Emmanuel Briot <briot@adacore.com>
+
+ * gnatcmd.adb, prj-proc.adb, prj-proc.ads, make.adb, prj-part.adb,
+ prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb,
+ prj-pars.ads, prj-conf.adb, prj-conf.ads, prj-env.adb, prj-tree.adb,
+ prj-tree.ads: Minor reformatting.
+ (Processing_Flags): new record to encapsulate the set of common
+ parameters to several subprograms in the project manager.
+ (Prj.Nmsc.Process_Naming_Scheme): renames Check, and moved to body
+ Remove the need for the Current_Dir parameter in subprograms.
+ (Look_For_Sources): minor refactoring, now that we no longer need to
+ share subprograms between the two Ada_Only and Multi_Language modes
+ (Processing_Flags): New field Error_On_Unknown_Language.
+ Merge tests for library project between gnatmake and gprbuild.
+
+2009-07-13 Arnaud Charlet <charlet@adacore.com>
+
+ * lib.adb, make.adb, mlib.adb, exp_dist.adb: Update comments.
+ Minor reformatting.
+
+2009-07-13 Emmanuel Briot <briot@adacore.com>
+
+ * prj-env.adb (Create_Config_Pragmas_File): Iterate on sources rather
+ than units.
+
+2009-07-13 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch3.adb (Process_Full_View): Propagate Has_Specified_Stream_{Read,
+ Write,Input,Output} from private view to full view.
+
+ * sem_type.adb, sem_type.ads: Minor reformatting
+
+2009-07-13 Nicolas Setton <setton@adacore.com>
+
+ * exp_dbug.ads: Add documentation note on the utility of
+ DW_AT_GNAT_encoding for IDEs.
+
+2009-07-13 Robert Dewar <dewar@adacore.com>
+
+ * g-socthi-vxworks.adb: Minor reformatting
+
+ * gnatcmd.adb: Minor reformatting
+
+2009-07-13 Thomas Quinot <quinot@adacore.com>
+
+ * rtsfind.ads, exp_dist.adb (RE_Allocate_Buffer): Runtime entry
+ removed, not used anymore.
+ (Exp_Dist.PolyORB_Support.Helpers.Assign_Opaque_From_Any):
+ New subprogram, implements copy of an Any value into a limited object.
+ (Exp_Dist.PolyORB_Support.Build_General_Calling_Stubs,
+ Exp_Dist.PolyORB_Support.Build_Subprogram_Receiving_Stubs,
+ Exp_Dist.PolyORB_Support.Helpers.Build_From_Any_Function): For the case
+ of parameters of a limited type, use the above new subprogram.
+
+2009-07-13 Emmanuel Briot <briot@adacore.com>
+
+ * prj-nmsc.adb, prj-proc.adb, mlib.adb (Add_Source): new parameter
+ Location.
+ (Copy_ALI_Files): Avoid calls to read when pointing outside of the
+ allocated space.
+ (Error_Report): Remove global variable, replaced by parameters.
+
2009-07-13 Thomas Quinot <quinot@adacore.com>
* g-socthi-vxworks.adb (C_Sendto): VxWorks does not support the
OSDN Git Service
