-2009-07-15 Sergey Rybin <rybin@adacore.com>
+2009-07-22 Ed Falis <falis@adacore.com>
- * tree_in.ads, tree_io.ads: Add pragma Warnings Off/On for with clause
- to System.OS_Lib to avoid warnings.
+ * 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>