+2010-10-08 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch6.adb: Minor reformatting.
+
+2010-10-08 Robert Dewar <dewar@adacore.com>
+
+ * gnat1drv.adb: Add call to Validate_Independence.
+ * par-prag.adb: Add dummy entries for Independent,
+ Independent_Componentsa.
+ * sem_ch13.adb (Validate_Independence): New procedure
+ (Initialize): Initialize address clause and independence check tables
+ * sem_ch13.ads (Independence_Checks): New table
+ (Validate_Independence): New procedure
+ * sem_prag.adb: Add processing for pragma Independent[_Components]
+ * snames.ads-tmpl: Add entries for pragma Independent[_Components]
+
+2010-10-08 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_aggr.adb (Propagate_Discriminants): When expanding an aggregate
+ component with box initialization, if the component is a variant record
+ use the values of the discriminants to select the proper variant for
+ further box initialization.
+
+2010-10-08 Thomas Quinot <quinot@adacore.com>
+
+ * xsnames.adb: Remove obsolete file.
+ * make.adb, sem_ch8.adb, einfo.ads: Minor reformatting.
+
+2010-10-08 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_aggr.adb: Complete previous change.
+
+2010-10-08 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Check_Return_Subtype): The subtype indication in an
+ extended return must match statically the return subtype of the
+ enclosing function if the type is an elementary type or if it is
+ constrained.
+
+2010-10-08 Vincent Celier <celier@adacore.com>
+
+ * prj-nmsc.adb (Add_Source): Report all duplicate units and source file
+ names. Do not report the same duplicate unit several times.
+ * prj.ads (Source_Data): New Boolean component Duplicate_Unit,
+ defaulted to False, to avoid reporting the same unit as duplicate
+ several times.
+
+2010-10-08 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_aggr.adb (Resolve_Array_Aggregate): If the expression in an
+ others choice is a literal analyze it now to enable later optimizations.
+ * exp_aggr.adb (Expand_Record_Aggregate): An aggregate with static size
+ and components can be handled by the backend even if it is of a limited
+ type.
+
+2010-10-08 Arnaud Charlet <charlet@adacore.com>
+
+ * a-rttiev.adb (task Timer): Since this package may be elaborated
+ before System.Interrupt, we need to call Setup_Interrupt_Mask
+ explicitly to ensure that this task has the proper signal mask.
+
+2010-10-08 Robert Dewar <dewar@adacore.com>
+
+ * freeze.adb (Freeze_Entity): For array case, move some processing for
+ pragma Pack, Component_Size clause and atomic/volatile components here
+ instead of trying to do the job in Sem_Ch13 and Freeze.
+ * layout.adb: Use new Addressable function
+ * sem_ch13.adb (Analyze_Attribute_Representation_Clause, case
+ Component_Size): Move some handling to freeze point in
+ Freeze.Freeze_Entity.
+ * sem_prag.adb (Analyze_pragma, case Pack): Move some handling to
+ freeze point in Freese.Freeze_Entity.
+ * sem_util.ads, sem_util.adb (Addressable): New function.
+
+2010-10-08 Robert Dewar <dewar@adacore.com>
+
+ * sprint.adb: Minor reformatting.
+
+2010-10-08 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch4.adb (Real_Range_Check): Declare temporary as constant.
+
+2010-10-08 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch3.adb: Minor reformatting.
+
+2010-10-08 Vincent Celier <celier@adacore.com>
+
+ * ali-util.adb (Get_File_Checksum): Make sure that external_as_list is
+ not a reserved word.
+ * prj-proc.adb (Expression): Process string list external references.
+ * prj-strt.adb (External_Reference): Parse external_as_list external
+ references.
+ * prj-tree.ads (Expression_Kind_Of): Allowed for N_External_Value nodes
+ (Set_Expression_Kind_Of): Ditto
+ * prj.adb (Initialize): Set external_as_list as a reserved word
+ * projects.texi: Document new string external reference external_as_list
+ * scans.ads (Token_Type): New token Tok_External_As_List
+ * snames.ads-tmpl: New standard name Name_External_As_List
+
+2010-10-08 Thomas Quinot <quinot@adacore.com>
+
+ * sem_prag.adb: Minor reformatting.
+
+2010-10-08 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Derived_Type_Declaration): In the private part of an
+ instance, it is legal to derive from a non-limited actual when the
+ formal type is untagged limited.
+ * sem_ch12.adb (Instantiate_Type): For a formal private type, use
+ analyzed formal as Generic_Parent_Type, to simplify later checks.
+
+2010-10-08 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Insert_Default): If default value is already a
+ raise_constraint_error do not rewrite it as new raise node, to prevent
+ infinite loops in the warning removal machinery.
+
+2010-10-08 Robert Dewar <dewar@adacore.com>
+
+ * sem_util.adb, sem_prag.adb: Minor reformatting
+
+2010-10-08 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * gnat_rm.texi: Remove the section on pragma Implemented_By_Entry.
+ Add section on pragma Implemented.
+
+2010-10-08 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Derive_Subprogram): If an abstract extension has a
+ concrete parent with a concrete constructor, the inherited constructor
+ is abstract even if the derived type is a null extension.
+
+2010-10-08 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch4.adb: Minor reformatting.
+
+2010-10-08 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * einfo.adb: Flag 232 (formerly Implemented_By_Entry) is now unused.
+ (Implemented_By_Entry): Removed.
+ (Set_Implemented_By_Entry): Removed.
+ (Write_Entity_Flags): Remove the output for Implemented_By_Entry.
+ * einfo.ads: Remove flag Implemented_By_Entry and its usage in entities.
+ (Implemented_By_Entry): Removed along with its associated pragma Inline.
+ (Set_Implemented_By_Entry): Removed along with its associated pragma
+ Inline.
+ * exp_ch9.adb: Alphabetize with and use clauses of Exp_Ch9.
+ (Build_Dispatching_Call_Equivalent): New routine.
+ (Build_Dispatching_Requeue): New routine.
+ (Build_Dispatching_Requeue_To_Any): New routine.
+ (Build_Normal_Requeue): New routine.
+ (Build_Skip_Statement): New routine.
+ (Expand_N_Requeue_Statement): Rewritten. The logic has been split into
+ several subroutines.
+ * par-prag.adb: Replace Pragma_Implemented_By_Entry by
+ Pragma_Implemented.
+ * sem_ch3.adb (Check_Abstract_Overriding): Perform checks concerning
+ pragma Implemented.
+ (Check_Pragma_Implemented): New routines.
+ (Inherit_Pragma_Implemented): New routine.
+ * sem_ch9.adb (Analyze_Requeue): Update the predicate which detects a
+ dispatching requeue.
+ * sem_prag.adb: Update array Sig_Flags by removing Implemented_By_Entry
+ and adding Implemented.
+ (Ada_2012_Pragma): New routine.
+ (Analyze_Pragma, case Implemented): Perform all necessary checks
+ concerning pragma Implemented and register the pragma as a
+ representation item with the procedure_LOCAL_NAME.
+ (Analyze_Pragma, case Implemented_By_Entry): Removed.
+ * sem_util.adb (Implementation_Kind): New routine.
+ * sem_util.ads (Implementation_Kind): New routine.
+ * snames.ads-tmpl: Remove Name_Implemented_By_Entry and add
+ Name_Implemented. Remove pragma name Pragma_Implemented_By_Entry and
+ add Pragma_Implemented. Add special names By_Any, By_Entry and
+ By_Protected_Procedure.
+
+2010-10-08 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch3.adb (Expand_Freeeze_Record_Type): Code cleanup: remove local
+ variable Has_Static_DT by invocation of function Building_Static_DT.
+
+2010-10-08 Vincent Celier <celier@adacore.com>
+
+ * g-dirope.adb (Remove_Dir): Do not change the current directory when
+ doing a recursive remove of a subdirectory.
+
+2010-10-08 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch6.ad (Freeze_Subprogram): Factorize code.
+ * exp_disp.adb (Make_Secondary_DT): Factorize code.
+ (Make_DT): Factorize code.
+
+2010-10-08 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch4.adb: Minor reformatting.
+
+2010-10-08 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch6.adb (Check_Conformance): Check null exclusion match for full
+ conformance.
+
+2010-10-08 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch12.adb (Instantiate_Object): Rename Formal_Id to Gen_Obj, for
+ consistency with Gen_T in Instantiate_Type.
+ Introduce constant A_Gen_Obj to avoid repeated queries for
+ Defining_Identifier (Analyzed_Formal).
+
+2010-10-08 Vincent Celier <celier@adacore.com>
+
+ * prj-nmsc.adb: Minor comment fix.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * sem_prag.adb, sem_ch13.adb: Implement AI05-0012-1/02.
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch12.ad: (Instantiate_Object): For an in-out formal of a child
+ unit, if the type of the formal is declared in a parent unit and is not
+ a formal itself, the actual must be located from an enclosing parent
+ instance by normal visibility.
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch4.adb (Analyze_Allocator): In Ada 2012, a null_exclusion
+ indicator is illegal for an uninitialized allocator.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * sem_prag.adb (Analyze_Attribute_Definition_Clause, case
+ Component_Size): Complete previous change.
+
+2010-10-07 Vincent Celier <celier@adacore.com>
+
+ * scng.adb (Scan): Call Accumulate_Token_Checksum for Tok_Identifier,
+ even for keywords, to avoid having the checksum to depend on the Ada
+ version.
+
+2010-10-07 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_aggr.adb, sem_ch12.adb, sem_ch6.adb, par-ch5.adb,
+ exp_ch3.adb: Minor reformatting.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
+ Component_Size): It is now illegal to give an incorrect component size
+ clause in the case of aliased or atomic components.
+ * sem_prag.adb (Analyze_Pragma, case Pack): It is now illegal to give
+ an effective pragma Pack in the case of aliased or atomic components.
+
+2010-10-07 Steve Baird <baird@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Allocator): Do not bypass expansion
+ in the case of a violation of an active No_Task_Hierarchy restriction.
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch12.adb (Validate_Derived_Type_Instance): If a formal derived
+ type is non-limited, an actual for it cannot be limited.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * einfo.ads (No_Pool_Assigned): Update documentation.
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
+ Storage_Size): We only set No_Pool_Assigned if the expression is a
+ static constant and zero.
+ * sem_res.adb (Resolve_Allocator): Allocation from empty storage pool
+ should be an error not a warning.
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_aggr.adb (Expand_Array_Aggregate): Recognize additional cases
+ where an aggregate in an assignment can be built directly into the
+ target, and does not require the creation of a temporary that may
+ overflow the stack.
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_aggr.adb (Analyze_Record_Aggregate): In Ada2012, a choice list
+ in a record aggregate can correspond to several components of
+ anonymous access types, as long as the designated subtypes match.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * gnat_rm.texi, exp_util.adb, sinfo.adb, sinfo.ads, sem_ch12.adb,
+ sem.adb, gnat_ugn.texi, sem_util.ads, par-ch6.adb, targparm.ads,
+ restrict.adb, sem_ch6.adb, sem_ch6.ads, sprint.adb, i-c.ads: Change
+ spelling parametrize(d) => parameterize(d).
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch12.adb: Add comment.
+ * sem_ch6.adb: Minor reformatting.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * par-ch3.adb, par-ch6.adb, par-ch7.adb, par-ch9.adb, par-ch10.adb: Add
+ Pexp to Pf_Rec constants
+ (P_Subprogram): Expression is always enclosed in parentheses
+ * par.adb (Pf_Rec): add Pexp flag for parametrized expression
+ * sinfo.ads (N_Parametrized_Expression): Expression must be in parens
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Subprogram_Specification): Implement Ada2012
+ checks on functions that return an abstract type or have a controlling
+ result whose designated type is an abstract type.
+ (Check_Private_Overriding): Implement Ada2012 checks on functions
+ declared in the private part, if an abstract type is involved.
+ * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): In Ada2012,
+ reject a generic function that returns an abstract type.
+ * exp_ch5.adb (Expand_Simple_Function_Return): in Ada2012, if a
+ function has a controlling access result, check that the tag of the
+ return value matches the designated type of the return expression.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * par-ch6.adb: Fix error in handling of parametrized expressions.
+ * par-ch4.adb (P_Name): Allow qualified expression as name in Ada 2012
+ mode.
+ (P_Simple_Expression): Better message for qualified expression prefix
+ * s-crc32.adb: Minor reformatting.
+ * exp_intr.adb (Expand_Unc_Deallocation): Remove test for empty
+ storage pool (this test is moved to Sem_Intr).
+ * sem_intr.adb (Check_Intrinsic_Call): Add check for deallocation from
+ empty storage pool, moved here from Exp_Intr and made into error.
+ (Check_Intrinsic_Call): Remove assumption in generating not-null free
+ warning that the name of the instantiation is Free.
+ * sinput.adb (Tree_Read): Document use of illegal free call allowed in
+ GNAT mode.
+ * types.ads: Remove storage size clauses from big types (since we may
+ need to do deallocations, which are now illegal for empty pools).
+
+2010-10-07 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: Add missing word.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_util.adb (Insert_Actions): Add handling of
+ N_Parametrized_Expression.
+ * par-ch6.adb (P_Subprogram): Add parsing of parametrized expression
+ * sem.adb: Add entry for N_Parametrized_Expression
+ * sem_ch6.adb (Analyze_Parametrized_Expression): New procedure
+ * sem_ch6.ads (Analyze_Parametrized_Expression): New procedure
+ * sinfo.ads, sinfo.adb: Add N_Parametrized_Expression
+ * sprint.adb (Sprint_Node): Add handling for N_Parametrized_Expression
+ * par-ch4.adb: Minor reformatting.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * scng.adb (Skip_Other_Format_Characters): New procedure
+ (Start_Of_Wide_Character): New procedure
+ (Scan): Use Start_Of_Wide_Character where appropriate
+ (Scan): Improve error message for other_format chars in identifier
+ (Scan): Allow other_format chars between tokens
+
+2010-10-07 Javier Miranda <miranda@adacore.com>
+
+ * exp_util.adb (Safe_Prefixed_Reference): When removing side effects,
+ Add missing support for explicit dereferences.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * par-ch10.adb, par-ch3.adb, par.adb: Minor reformatting.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_disp.adb, exp_dist.adb, exp_util.ads, exp_util.adb,
+ exp_ch11.adb: Rename Full_Qualified_Name to Fully_Qualified_Name_String
+ * sem_util.adb, sem_util.ads (Full_Qualified_Name): Moved to
+ Exp_Util.Fully_Qualified_Name_String.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * rtsfind.ads: Add entry for Ada.Real_Time.Timing_Events.Set_Handler
+ * sem_res.adb (Resolve_Call): A call to
+ Ada.Real_Time.Timing_Events.Set_Handler violates restriction
+ No_Relative_Delay (AI-0211).
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch10.adb: Small change in error message.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * tbuild.ads: Minor reformatting.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * gnatcmd.adb, make.adb, prj-nmsc.adb, sem_elab.adb: Minor reformatting
+
+2010-10-07 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch11.adb (Expand_N_Exception_Declaration): Update comments.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * sem_res.adb: Minor reformatting
+
+2010-10-07 Olivier Ramonat <ramonat@adacore.com>
+
+ * gnat_ugn.texi: Minor editing.
+ * opt.ads: Document that scripts rely on specific formats in opt.ads
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * a-wichun.ads, a-wichun.adb (To_Lower_Case): New function
+ (To_Upper_Case): Fix to be inverse of To_Lower_Case
+ * a-zchuni.ads, a-zchuni.adb (To_Lower_Case): New function
+ (To_Upper_Case): Fix to be inverse of To_Lower_Case
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * a-wichha.adb, a-wichha.ads, a-zchhan.adb, a-zchhan.ads: New file.
+ * impunit.adb: Add entries for a-wichha/a-zchhan
+ * Makefile.rtl: Add entries for a-wichha/a-zchhan
+
+2010-10-07 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Check): Call Check_Source_Info_In_ALI with Project_Tree
+ * makeutl.adb (Check_Source_Info_In_ALI): If there is at least one
+ replaced source, check that none of the replaced sources are in the
+ dependencies.
+ * makeutl.ads (Check_Source_Info_In_ALI): New parameter Tree
+ * prj-nmsc.adb (Remove_Source): New parameter Tree. If the source is
+ replaced with a source with a different file name, put it in the hash
+ table Replaced_Sources.
+ (Add_Source): Call Remove_Source with Data.Tree. If there is at least
+ one replaced source, check if it has the same file name as the current
+ source; if it has, remove it from the hash table Replaced_Sources.
+ * prj.adb (Reset): Reset hash table Tree.Replaced_Sources
+ * prj.ads (Replaced_Source_HTable): New hash table
+ (Project_Tree_Data): New components Replaced_Sources and
+ Replaced_Source_Number.
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_elab.adb (Check_A_Call): After inserting elaboration check, set
+ proper flag to prevent a double elaboration check on the same call.
+ * exp_util.adb (Insert_Actions): If the enclosing node is an
+ Expression_With_Actions and it has been analyzed already, find
+ insertion point further up in the tree.
+
+2010-10-07 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sem_ch13.adb (Analyze_Record_Representation_Clause): Alphabetize all
+ local variables. Remove the general restriction which prohibits the
+ application of record rep clauses to Unchecked_Union types. Add Ada
+ 2012 check to detect improper naming of an Unchecked_Union
+ discriminant in record rep clause.
+ * sem_prag.adb: Add with and use clause for Exp_Ch7.
+ (Analyze_Pragma): Unchecked_Union case: Propagate the Unchecked_Union
+ type to all invocations of Check_Component and Check_Variant.
+ (Check_Component): Add formal parameters UU_Typ and In_Variant_Part.
+ Rewritten. Add Ada 2012 check to detect improper use of formal
+ private types and private extensions as component types of an
+ Unchecked_Union declared inside a generic body.
+ (Check_Variant): Add formal parameter UU_Typ. Propagate the
+ Unchecked_Union type to all calls of Check_Component. Signal that the
+ current component comes from the variant part of an Unchecked_Union
+ type.
+ (Inside_Generic_Body): New routine.
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch4.adb (Expand_Composite_Equality): When looking for a primitive
+ equality operation for a record component, verify that both formals
+ have the same type, and the result type is boolean.
+
+2010-10-07 Vincent Celier <celier@adacore.com>
+
+ * gnatcmd.adb (Check_Files): When looking for the .ci file for a
+ binder generated file, look for both b~xxx and b__xxx as gprbuild
+ always uses b__ as the prefix of such files.
+
+2010-10-07 Thomas Quinot <quinot@adacore.com>
+
+ * sem_res.adb: Minor reformatting.
+
+2010-10-07 Arnaud Charlet <charlet@adacore.com>
+
+ * debug.adb: Update -gnatd.J documentation.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * gnat_rm.texi: Document handling of invalid values
+ * s-utf_32.ads, s-utf_32.adb (UTF_To_Lower_Case): Fix implementation
+ to match new spec.
+ (UTF_To_Upper_Case): New function.
+
+2010-10-07 Robert Dewar <dewar@adacore.com>
+
+ * sem_attr.adb: Minor reformatting.
+ * einfo.ads, einfo.adb (Is_Ada_2012_Only): New flag
+ * itypes.adb (Create_Null_Excluding_Itype): Set Is_Ada_2012_Only flag
+ properly.
+ * lib-xref.adb (Generate_Reference): Warn on use of Ada 2012 entity in
+ non-Ada 2012 mode.
+ * opt.ads (Warn_On_Ada_2012_Compatibility): New flag
+ * sem_ch3.adb (Analye_Subtype_Declaration): Inherit Is_Ada_2012_Only
+ * sem_ch7.adb (Preserve_Full_Attributes): Preserve Is_Ada_2012_Only
+ flag.
+ * sem_prag.adb (Analyze_Pragma, case Ada_12/Ada_2012): Allow form with
+ argument.
+ * sem_type.adb (Disambiguate): Deal with Is_Ada_2012_Only.
+ * sem_warn.adb (Warn_On_Ada_2012_Compatibility): New flag, treated
+ same as 2005 flag.
+
+2010-10-07 Javier Miranda <miranda@adacore.com>
+
+ * a-tags.ads: Use new support for pragma Ada_2012 with function
+ Type_Is_Abstract.
+
+2010-10-07 Ed Schonberg <schonberg@adacore.com>
+
+ * par-ch5.adb (P_Sequence_Of_Statements): In Ada2012 a label can end a
+ sequence of statements.
+
+2010-10-07 Vincent Celier <celier@adacore.com>
+
+ * gnatcmd.adb (Check_Files): Only add a .ci files if it exists
+
+2010-10-07 Javier Miranda <miranda@adacore.com>
+
+ * a-tags.ads, a-tags.adb (Type_Is_Abstract): New subprogram.
+ * rtsfind.ads (RE_Type_Is_Abstract): New entity.
+ * exp_disp.adb (Make_DT): Initialize TSD component Type_Is_Abstract.
+
+2010-10-07 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_ch12.adb (Mark_Context): Removed, no longer needed.
+ (Analyze_Package_Instantiation): No longer analyze systematically a
+ generic body in CodePeer mode.
+ * freeze.adb, sem_attr.adb: Update comments.
+
+2010-10-05 Robert Dewar <dewar@adacore.com>
+
+ * par-ch5.adb (Test_Statement_Required): Allow all pragmas in Ada 2012
+ mode.
+
+2010-10-05 Pascal Obry <obry@adacore.com>
+
+ * gnat_rm.texi: Fix typo.
+
+2010-10-05 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat_ugn.texi: Add note about identifiers with same name and
+ -fdump-ada-spec.
+
+2010-10-05 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch4.adb: Minor reformatting.
+ * a-direct.ads: Minor comment update.
+
+2010-10-05 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Add_Internal_Interface_Entities): Removing code that is
+ no longer required after change in New_Overloaded_Entity.
+ * sem_ch6.adb (New_Overloaded_Entity): Code reorganization to isolate
+ the fragment of code that handles derivations of interface primitives.
+ Add missing dependence on global variable Inside_Freezing_Actions to
+ ensure the correct management of internal interface entities.
+ * sem_ch13.adb (Analyze_Freeze_Entity): Add missing increase/decrease
+ of the global variable Inside_Freezing_Actions to ensure that internal
+ interface entities are well handled by New_Overloaded_Entity.
+ * sem_disp.adb (Find_Primitive_Covering_Interface): Add documentation
+ and complete the algorithm to catch hidden primitives derived of
+ private type that covers the interface.
+ * sem_disp.ads (Find_Primitive_Covering_Interface): Add missing
+ documentation.
+
+2010-10-05 Robert Dewar <dewar@adacore.com>
+
+ * prj-util.adb, prj-util.ads, prj.ads, s-vxwext-rtp.adb, sem_ch4.adb,
+ sem_ch7.adb, sem_res.adb, sem_type.adb: Minor reformatting.
+ Minor code reorganization (use Nkind_In).
+
+2010-10-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch10.adb (Analyze_Task_Body_Stub): Diagnose duplicate stub for
+ task.
+
+2010-10-05 Vincent Celier <celier@adacore.com>
+
+ * gnatbind.adb: If the main library file is not for a suitable main
+ program, change the error message.
+
+2010-10-05 Vincent Celier <celier@adacore.com>
+
+ * a-direct.ads: Minor spelling error fixes in comments.
+ * gnat_rm.texi: Add three entries in "Implementation Defined
+ Characteristics" for the interpretations of the Form parameters in
+ Ada.Directories.
+
+2010-10-05 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch3.adb, exp_ch5.adb, exp_disp.adb, exp_dist.adb, gnatlink.adb,
+ makeutl.adb, par-ch6.adb, prj-dect.adb, prj-env.adb, prj-env.ads,
+ prj-ext.adb, prj-nmsc.adb, prj-part.adb, prj-pp.ads: Minor code
+ reorganization.
+ Minor reformatting.
+
+2010-10-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Check_Parameterless_Call): If the prefix of 'Address is
+ an explicit dereference of an access to function, the prefix is not
+ interpreted as a parameterless call.
+
+2010-10-05 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_attr.adb: For 'Read and 'Write, use full view of base type if
+ private.
+
+2010-10-05 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Switches_Of): Allow wild cards in index of attributes
+ Switches.
+ * prj-util.adb (Value_Of): When Allow_Wildcards is True, use the index
+ of the associative array as a glob regular expression.
+ * prj-util.ads (Value_Of (Index, In_Array)): New Boolean parameter
+ Allow_Wildcards, defaulted to False.
+ (Value_Of (Name, Attribute_Or_Array_Name)): Ditto
+ * projects.texi: Document that attribute Switches (<file name>) may
+ use wild cards in the index.
+
+2010-10-05 Robert Dewar <dewar@adacore.com>
+
+ * a-direct.adb, a-direct.ads, back_end.adb, checks.adb,
+ einfo.adb: Minor reformatting.
+ * debug.adb: Remove obsolete documentation for d.Z flag.
+
+2010-10-05 Vincent Celier <celier@adacore.com>
+
+ * vms_data.ads: Add VMS qualifier /SRC_INFO= corresponding to gnatmake
+ switch --create-info-file=.
+ * gnat_ugn.texi: Add documentation for new gnatmake switch
+ --source-info=
+
+2010-10-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb: Do not elaborate type definition if syntax error.
+
+2010-10-05 Javier Miranda <miranda@adacore.com>
+
+ * sprint.adb (Sprint_Node_Actual): Improve output of subprogram bodies
+ to generate the full-qualified names of its corresponding spec.
+ This facilitates locating the corresponing body when reading
+ the DG output.
+
+2010-10-05 Thomas Quinot <quinot@adacore.com>
+
+ * exp_dist.adb (Make_Helper_Function_Name): For a tagged type, use
+ canonical name without serial number only if the helper is becoming a
+ primitive of the type.
+
+2010-10-05 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Make_DT): Minor code reorganization.
+
+2010-10-05 Ed Schonberg <schonberg@adacore.com>
+
+ * par-ch6.adb: improve recovery with extra paren in function spec.
+
+2010-10-05 Quentin Ochem <ochem@adacore.com>
+
+ * prj-tree.ads: Project_Path is now aliased.
+
+2010-10-05 Thomas Quinot <quinot@adacore.com>
+
+ * checks.adb: Minor reformatting.
+
+2010-10-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * mlib-tgt-specific-mingw.adb (No_Argument_List): Delete.
+ (Shared_Libgcc): New aliased variable.
+ (Shared_Libgcc_Switch): New constant.
+ (Build_Dynamic_Library): Pass Shared_Libgcc_Switch to the compiler
+ * gcc-interface/Makefile.in (gnatlib-shared-win32): Pass -shared-libgcc
+ to the compiler.
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2010-10-05 Vincent Celier <celier@adacore.com>
+
+ * prj-part.adb (Parse_Simple_Project): When checking if a child project
+ imports its parent project, also look in projects being extended by
+ imported projects.
+
+2010-10-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat_ugn.texi: Adjust instructions in G.10 Building DLLs with GNAT.
+
+2010-10-05 Javier Miranda <miranda@adacore.com>
+
+ * exp_cg.adb (Slot_Number): Add support to handle aliased entities.
+ (Generate_CG_Output): Switch -gnatd.Z is no longer needed to
+ activate this output.
+
+2010-10-05 Arnaud Charlet <charlet@adacore.com>
+
+ * back_end.adb (Call_Back_End): Generate an error message when scil
+ generation is enabled, and no scil back-end (by default) is available.
+
+2010-10-05 Javier Miranda <miranda@adacore.com>
+
+ * debug.adb: Update documentation because -gnatd.Z is no longer required
+ to generate the call-graph information.
+
+2010-10-05 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch5.adb (Expand_Simple_Function_Return): Rewrite expansion of a
+ runtime access check by an equivalent expansion that causes
+ no problems in the VM backend. The original expansion was
+ not good for the VM backends because when Tagged_Type_Expansion
+ is disabled the attribute Access_Disp_Table is not available.
+
+2010-10-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_type.adb (Covers): In a dispatching context, T1 covers T2 if T2
+ is class-wide and T1 is its specific type.
+
+2010-10-05 Ed Schonberg <schonberg@adacore.com>
+
+ * einfo.adb: Add guard to Is_String_Type to prevent cascaded errors.
+
+2010-10-05 Vincent Celier <celier@adacore.com>
+
+ * back_end.ads: Minor spelling error correction.
+
+2010-10-05 Arnaud Charlet <charlet@adacore.com>
+
+ * switch-c.adb, gnat1drv.adb (Scan_Front_End_Switches): Disable
+ warnings when -gnatC is specified here so that warnings can be
+ re-enabled explicitly.
+ (Adjust_Global_Switches): No longer suppress warnings.
+
+2010-10-05 Vincent Celier <celier@adacore.com>
+
+ * makeutl.adb: Minor reformatting.
+
+2010-10-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch4.adb: add guard in Analyze_One_Call to prevent crash when a
+ non-discrete type appears as an actual in a call.
+
+2010-10-05 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Scan_Make_Arg): Take into account new switch
+ --source-info=file.
+ * makeusg.adb: Add line for new switch --source-info=file.
+ * makeutl.ads (Source_Info_Option): New constant String for new builder
+ switch.
+ * prj-conf.adb: Put subprograms in alphabetical order
+ (Process_Project_And_Apply_Config): Read/write an eventual source info
+ file, if necessary.
+ * prj-nmsc.adb (Look_For_Sources.Get_Sources_From_Source_Info): New
+ procedure.
+ (Look_For_Sources): If a source info file was successfully read, get the
+ source data from the data read from the source info file.
+ * prj-util.adb (Source_Info_Table): New table
+ (Source_Info_Project_HTable): New hash table
+ (Create): New procedure
+ (Put (File), Put_Line): New procedures
+ (Write_Source_Info_File): New procedure
+ (Read_Source_Info_File): New procedure
+ (Initialize): New procedure
+ (Source_Info_Of): New procedure
+ (Next): New procedure
+ (Close): When file is an out file, fail if the buffer cannot be written
+ or if the file cannot be close successfully.
+ (Get_Line): Fail if file is an out file
+ * prj-util.ads (Create): New procedure
+ (Put (File), Put_Line): New procedures
+ (Write_Source_Info_File): New procedure
+ (Read_Source_Info_File): New procedure
+ (Source_Info_Data): New record type
+ (Source_Info_Iterator): New private type
+ (Initialize): New procedure
+ (Source_Info_Of): New procedure
+ (Next): New procedure
+ * prj.ads (Project_Tree_Data): New components Source_Info_File_Name and
+ Source_Info_File_Exists.
+
+2010-10-05 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch4.adb: Fix typo.
+
+2010-10-05 Thomas Quinot <quinot@adacore.com>
+
+ * lib-writ.adb: Minor reformatting.
+
+2010-10-05 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Access_Definition): Remove useless code.
+
+2010-10-05 Emmanuel Briot <briot@adacore.com>
+
+ * prj-env.adb, prj-env.ads (Set_Path): New subprogram.
+ (Deep_Copy): Removed, not used.
+
+2010-10-05 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Add_Internal_Interface_Entities): Code reorganization:
+ move code that searches in the list of primitives of a tagged type for
+ the entity that will be overridden by user-defined routines.
+ * sem_disp.adb (Find_Primitive_Covering_Interface): Move here code
+ previously located in routine Add_Internal_Interface_Entities.
+ * sem_disp.ads (Find_Primitive_Covering_Interface): Update documentation
+ * sem_ch6.adb (New_Overloaded_Entity): Add missing check on
+ availability of attribute Alias.
+
+2010-10-05 Ed Falis <falis@adacore.com>
+
+ * s-taprop-vxworks.adb, s-osinte-vxworks.adb, s-osinte-vxworks.ads,
+ s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.adb, s-vxwext-rtp.ads:
+ Move definition of intContext to System.OS_Interface.
+ Add necessary variants in System.VxWorks.Extensions.
+
+2010-10-05 Doug Rupp <rupp@adacore.com>
+
+ * s-asthan-vms-alpha.adb: On VMS, a task using
+ pragma AST_Entry exhibits a memory leak when the task terminates
+ because the vector allocated for the AST interface is not freed. Fixed
+ by making the vector a controlled type.
+
+2010-10-05 Emmanuel Briot <briot@adacore.com>
+
+ * prj-nmsc.adb (Expand_Subdirectory_Pattern): Check that the prefix in
+ a "**" pattern properly exists, and report an error otherwise.
+
+2010-10-05 Emmanuel Briot <briot@adacore.com>
+
+ * prj-env.ads: Use GNAT.OS_Lib rather than System.OS_Lib.
+
+2010-10-05 Emmanuel Briot <briot@adacore.com>
+
+ * prj-nmsc.adb, prj-err.adb (Expand_Subdirectory_Pattern): New
+ subprogram.
+ Extract some code from Get_Directories, to share with the handling
+ of aggregate projects (for the Project_Files attributes)
+
+2010-10-05 Emmanuel Briot <briot@adacore.com>
+
+ * gnatcmd.adb, prj-proc.adb, prj-part.adb, prj-ext.adb, prj-ext.ads,
+ switch-m.adb, clean.adb, prj-nmsc.adb, prj-nmsc.ads, prj-env.adb,
+ prj-env.ads, prj-tree.adb, prj-tree.ads (Project_Search_Path): New type.
+
+2010-10-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch5.adb (Make_Field_Expr): Revert previous change (removed).
+
+2010-10-05 Emmanuel Briot <briot@adacore.com>
+
+ * prj-dect.adb, prj-nmsc.adb, prj-attr.adb, snames.ads-tmpl
+ (Aggregate projects): added support for parsing aggregate projects.
+ In particular, check the presence and value of the new attributes
+ related to aggregate projects, ie Project_Files, Project_Path
+ and External.
+ (Check_Attribute_Allowed, Check_Package_Allowed,
+ Rename_Obsolescent_Attributes): new subprogram, extracting code
+ from existing subprogram to keep their sizes smaller.
+ (Check_Aggregate_Project, Check_Abstract_Project,
+ Check_Missing_Sources): new subprograms
+ (Check): remove comments that duplicated either the name of the
+ following subprogram call, or the comment on that subprogram.
+ * prj-part.adb (Check_Extending_All_Imports): New subprogram, extracted
+ from Parse_Single_Project.
+ (Check_Aggregate_Imports): new subprogram.
+
+2010-10-05 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Check): When compiling with -gnatc, recompile if the ALI
+ file has not been generated for the current source, for example if it
+ has been generated for the spec, but we are compiling the body.
+
+2010-10-05 Bob Duff <duff@adacore.com>
+
+ * xgnatugn.adb: Remove unused procedure.
+
+2010-10-04 Vincent Celier <celier@adacore.com>
+
+ * a-direct.adb (Copy_File): Interpret the Form parameter and call
+ System.OS_Lib.Copy_File to do the work accordingly. Raise Use_Error if
+ the Form parameter contains an incorrect value for field preserve= or
+ mode=.
+ * a-direct.ads (Create_Directory, Create_Path): Indicate that the Form
+ parameter is ignored.
+ (Copy_File): Indicate the interpretation of the Form parameter.
+
+2010-10-04 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Gnatmake): When there are no foreign languages declared and
+ a main in attribute Main of the main project does not exist or is a
+ source of another project, fail immediately before attempting
+ compilation.
+
+2010-10-04 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.ads (Convert_Tag_To_Interface): New function which must be
+ used to convert a node referencing a tag to a class-wide interface type.
+ * exp_disp.adb (Convert_Tag_To_Interface): New function.
+ (Expand_Interface_Conversion): Replace invocation of
+ Unchecked_Conversion by new function Convert_Tag_To_Interface.
+ (Write_DT): Add support for null primitives.
+ * exp_ch3.adb (Expand_N_Object_Declaration): For tagged type objects,
+ cleanup code that handles interface conversions and avoid unchecked
+ conversion of referenced tag components.
+ * exp_ch5.adb (Expand_N_Assignment_Statement): Code cleanup. Avoid
+ unrequired conversions when generating a dispatching call to _assign.
+ * sprint.adb (Write_Itype): Fix wrong output of not null access itypes.
+
+2010-10-04 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Op_Not): Handle properly both operands when the
+ parent is a binary boolean operation and the operand is an unpacked
+ array.
+ (Build_Boolean_Array_Proc_Call): If the operands are both negations, the
+ operands of the rewritten node are the operands of the negations, not
+ the negations themselves.
+
+2010-10-04 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch13.adb (Set_Biased): New procedure, now used throughout, adds
+ name of entity to biased warning msg.
+ (Analyze_Enumeration_Representation_Clause): Remove attempt to use
+ biased rep (wrong and never worked anyway).
+
+2010-10-04 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_elab.adb: Minor reformatting.
+
+2010-10-04 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Null): Handle properly the case of a subtype of
+ an access_to_protected subprogram type, and convert null value into
+ corresponding aggregate.
+
+2010-10-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat_ugn.texi: Clarify first point of 7.1.5 about pragma Inline.
+
+2010-10-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * make.adb (Scan_Make_Arg): Pass -Oxxx switches to the linker as well.
+ * gnatlink.adb (Gnatlink): Filter out -Oxxx switches for CLI, RTX and
+ AAMP.
+
+2010-10-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch4.adb (Analyze_Indexed_Component_Form): Remove redundant test
+ for N_Operator_Symbol.
+ (Indicate_Name_And_Type): Likewise.
+ * sem_ch8.adb (Analyze_Subprogram_Renaming): Likewise.
+ * sem_res.adb (Resolve): Likewise.
+ * sem_type.adb (Add_One_Interp): Likewise.
+ (Disambiguate): Likewise.
+
+2010-10-04 Vincent Celier <celier@adacore.com>
+
+ * osint.adb (Read_Library_Info_From_Full): If object timestamp is less
+ than ALI file timestamp, return null.
+
+2010-10-04 Vincent Celier <celier@adacore.com>
+
+ * prj-makr.adb (Finalize): Invoke Pretty_Print with Max_Length set to 79
+ * prj-pp.adb (Pretty_Print): New parameter Max_Line_Length, that
+ replaces global constant with the same name. When a line is too long,
+ indent properly the next continuation line.
+ * prj-pp.ads (Pretty_Print): New parameter Max_Line_Length with a range
+ from 50 to 255, defaulted to 255, to indicate the maximum length of
+ lines in the project file.
+
+2010-10-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch7.adb (Analyze_Package_Body_Helper) <Has_Referencer>: New
+ Check_Subprogram_Ref function and Check_Subprogram_Refs instantiation
+ of Traverse_Func on it to look for subprogram references in a body.
+ Call Check_Subprogram_Refs on the body of inlined subprograms at the
+ outer level and keep clearing the Is_Public flag of subprograms as long
+ as it returns OK. Do not look at anything else than subprograms once
+ an inlined subprogram has been seen.
+
+2010-10-04 Javier Miranda <miranda@adacore.com>
+
+ * exp_cg.adb (Expand_N_Assignment_Statement): Restore tag check when
+ the target object is an interface.
+ * sem_disp.adb (Propagate_Tag): If the controlling argument is an
+ interface type then we generate an implicit conversion to force
+ displacement of the pointer to the object to reference the secondary
+ dispatch table associated with the interface.
+
+2010-10-04 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch13.adb (Analyze_Enumeration_Representation_Clause): Set
+ Enumeration_Rep_Expr to point to the literal, not the identifier.
+ (Analyze_Enumeration_Representation_Clause): Improve error message for
+ size too small for enum rep value
+ (Analyze_Enumeration_Representation_Clause): Fix size test to use proper
+ size (RM_Size, not Esize).
+
+2010-10-04 Robert Dewar <dewar@adacore.com>
+
+ * s-taprop-vxworks.adb, sem_res.adb: Minor reformatting.
+
+2010-10-04 Javier Miranda <miranda@adacore.com>
+
+ * exp_cg.adb (Write_Call_Info): Code clean up.
+
+2010-10-04 Arnaud Charlet <charlet@adacore.com>
+
+ * s-taprop-mingw.adb (Create_Task): Initialize Thread_Id field to 0.
+
+2010-10-04 Robert Dewar <dewar@adacore.com>
+
+ * exp_cg.adb: Minor code reorganization
+ Minor reformatting.
+ * exp_ch5.adb, prj-nmsc.adb: Minor reformatting.
+
+2010-10-04 Bob Duff <duff@adacore.com>
+
+ * sem_res.adb (Resolve_Type_Conversion): If a type conversion is needed
+ to make a qualified expression into a name (syntax-wise), then do not
+ consider it redundant.
+
+2010-10-04 Thomas Quinot <quinot@adacore.com>
+
+ * sem_warn.ads: Fix typo.
+
+2010-10-04 Javier Miranda <miranda@adacore.com>
+
+ * exp_cg.adb (Is_Predefined_Dispatching_Operation): Handle suffix in
+ TSS names.
+ (Write_Call_Info): Add missing support for renamed primitives.
+
+2010-10-04 Thomas Quinot <quinot@adacore.com>
+
+ * exp_ch5.adb (Make_Field_Expr): New subprogram, to factor duplicated
+ code between Make_Component_List_Assign and Make_Field_Assign.
+
+2010-10-04 Vincent Celier <celier@adacore.com>
+
+ * prj-nmsc.adb (Get_Directories): For non extending projects that
+ declare that they have no sources, do not create a non existing object
+ or exec directory if builder switch -p is used.
+
+2010-10-04 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi (gnatcheck): Change the description of the report file
+ format.
+
+2010-10-04 Ed Falis <falis@adacore.com>
+
+ * s-taprop-vxworks.adb (Is_Task_Context): Import VxWorks intContext to
+ determine whether Set_True is called from a task or an ISR.
+ (Set_True): test for being in a task context before trying to
+ dereference Defer_Abort or Undefer_Abort.
+
+2010-10-04 Robert Dewar <dewar@adacore.com>
+
+ * sem_res.adb, sinput-l.adb: Minor reformatting.
+
+2010-10-04 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch5.adb (Expand_N_Assignment_Statement): Do not generate a tag
+ check when the target object is an interface since the expression of
+ the right hand side must only cover the interface.
+
+2010-10-04 Vincent Celier <celier@adacore.com>
+
+ * frontend.adb: Set Lib.Parsing_Main_Extended_Source to True before
+ loading the main source, so that if it is preprocessed and -gnateG is
+ used, the preprocessed file is written.
+ * lib.ads (Analysing_Subunit_Of_Main): New global variable to indicate
+ if a subunit is from the main unit when it is loaded.
+ * sem_ch10.adb (Analyze_Proper_Body): Set Lib.Analysing_Subunit_Of_Main
+ to True before loading a subunit.
+ * sem_ch12.adb (Copy_Generic_Node): Set Lib.Analysing_Subunit_Of_Main
+ to True when the main is a generic unit before loading one of its
+ subunits.
+ * sinput-l.adb (Load_File): If -gnateG is used, write the preprocessed
+ file only for the main unit (spec, body and subunits).
+
+2010-10-04 Vincent Celier <celier@adacore.com>
+
+ * sinput-l.adb (Load_File): Do not fail when switch -gnateG is
+ specified and the processed file cannot be written. Just issue a
+ warning and continue.
+
+2010-10-04 Thomas Quinot <quinot@adacore.com>
+
+ * sem_res.adb: Minor reformatting.
+
+2010-10-04 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch8.adb (Analyze_Subprogram_Renaming): If the renamed operation
+ is an overridden inherited operation, the desired operation is the
+ overriding one, which is the alias of the visible one.
+
+2010-10-04 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Find_Corresponding_Spec): Check that the wrapper body is
+ present before deleting from the tree, when an inherited function with
+ a controlling result that returns a null extension is overridden by a
+ later declaration or body.
+
+2010-10-04 Gary Dismukes <dismukes@adacore.com>
+
+ * checks.adb: Update comment.
+
+2010-09-30 Joseph Myers <joseph@codesourcery.com>
+
+ * gcc-interface/misc.c (optimize, optimize_size): Undefine as macros
+ and define as variables.
+ (gnat_post_options): Set optimize and optimize_size variables.
+
+2010-09-29 Joel Sherrill <joel.sherrill@oarcorp.com>
+
+ * g-socket.adb: Move pragma to disable warnings in case multiple errnos
+ are not defined by target.
+
+2010-09-29 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (handle_leaf_attribute): Fix long line.
+
+2010-09-28 Richard Henderson <rth@redhat.com>
+
+ * gcc-interface/misc.c (gnat_eh_personality): Use
+ targetm.except_unwind_info.
+
+2010-09-28 Jan Hubicka <jh@suse.cz>
+
+ * gcc-interface/utils.c (handle_leaf_attribute): New function.
+ (gnat_internal_attribute_tables): Add leaf.
+
+2010-09-22 Joseph Myers <joseph@codesourcery.com>
+
+ * gcc-interface/lang.opt (-all-warnings, -include-barrier,
+ -include-directory, -include-directory=, -no-standard-includes,
+ -no-standard-libraries): New.
+
+2010-09-20 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Replace calls to
+ build_array_type with calls to build_nonshared_array_type.
+ (substitute_in_type): Likewise.
+ * gcc-interface/misc.c (LANG_HOOKS_HASH_TYPES): Delete.
+ (LANG_HOOKS_TYPE_HASH_EQ): Define.
+ (gnat_post_options): Add 'static' keyword.
+ (gnat_type_hash_eq): New static function.
+ * gcc-interface/utils.c (fntype_same_flags_p): New function.
+ (create_subprog_type): Call it.
+ (create_index_type): Call build_nonshared_range_type and tidy up.
+ (create_range_type): Likewise.
+ * gcc-interface/gigi.h (fntype_same_flags_p): Declare.
+
+2010-09-19 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (gnat_pushdecl): Do not do anything special
+ for PARM_DECLs.
+ (end_subprog_body): If the body is a BIND_EXPR, make its associated
+ block the top-level one.
+ (build_function_stub): Build a statement group for the whole function.
+ * gcc-interface/utils.c (Subprogram_Body_to_gnu): If copy-in/copy-out
+ is used, create the enclosing block early and process first the OUT
+ parameters.
+
+2010-09-19 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Type>: Do
+ not generate debug info for individual enumerators.
+
+2010-09-19 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Use record
+ type instead of enumeral type as the dummy type built for the template
+ type of fat pointers.
+
+2010-09-19 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/gigi.h (get_elaboration_procedure): Declare.
+ (gnat_zaplevel): Likewise.
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force global
+ binding level for an external constant.
+ <E_Constant>: Force the local context and create a fake scope before
+ translating the defining expression of an external constant.
+ <object>: Treat external constants at the global level explicitly for
+ renaming declarations.
+ (elaborate_expression_1): Force the variable to be static if the
+ expression is global.
+ * gcc-interface/trans.c (get_elaboration_procedure): New function.
+ (call_to_gnu): Use it.
+ (gnat_to_gnu): Likewise.
+ <N_Object_Declaration>: Do not test Is_Public to force the creation of
+ an initialization variable.
+ (add_decl_expr): Discard the statement if the declaration is external.
+ * gcc-interface/utils.c (gnat_pushdecl): Do not put the declaration in
+ the current block if it is external.
+ (create_var_decl_1): Do not test Is_Public to set TREE_STATIC.
+ (gnat_zaplevel): New global function.
+
+2010-09-19 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Explicitly test _LEVEL
+ variables against zero in all cases.
+ (rest_of_type_decl_compilation): Likewise.
+ * gcc-interface/trans.c (gigi): Pass properly typed constants to
+ create_var_decl.
+ (call_to_gnu): Fix formatting.
+ (Handled_Sequence_Of_Statements_to_gnu): Likewise.
+ (Exception_Handler_to_gnu_zcx): Likewise.
+ (gnat_to_gnu) <N_Object_Declaration>: Short-circuit handling of
+ constant
+ expressions in presence of a freeze node.
+
+2010-09-19 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Look into
+ expressions for external constants that are aggregates.
+ * gcc-interface/utils2.c (build_simple_component_ref): If the field
+ is an inherited component in an extension, look through the extension.
+
+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * projects.texi: Add documentation for package extensions
+ Add some documentation for attributes Leading_Library_Options and
+ Linker'Leading_Switches.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_util.adb (Expand_Subtype_From_Expression): When expansion is
+ disabled, compute subtype for all string types.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * gnat_ugn.texi: Add documentation for -gnatw.s/S
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
+ Component_Size): Implement warning on overriden size clause.
+ (Analyze_Record_Representation_Clause): Implement warning on overriden
+ size clause.
+ * sem_warn.ads, sem_warn.adb (Warn_On_Overridden_Size): New flag
+ (-gnatw.s/S).
+ * ug_words: Add entries for -gnatw.s/S.
+ * vms_data.ads, usage.adb: Add line for -gnatw.s/-gnatw.S.
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * prj-dect.adb (Parse_Package_Declaration): Allow a package to extend
+ a package with the same name from an imported or extended project.
+ * prj-proc.adb (Process_Declarative_Items): Process package extensions
+
+2010-09-10 Bob Duff <duff@adacore.com>
+
+ * exp_ch6.adb (Expand_Call): Do not perform a null_exclusion check on
+ 'out' parameters.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * sem.adb: Minor reformatting.
+
+2010-09-10 Bob Duff <duff@adacore.com>
+
+ * s-os_lib.ads, g-expect.ads: Add comments.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch5.adb: Minor reformatting.
+
+2010-09-10 Thomas Quinot <quinot@adacore.com>
+
+ * scos.ads: Add comments.
+
+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * gnatcmd.adb (Get_Closure): Remove useless invocation of Close.
+
+2010-09-10 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch7.adb, exp_ch6.adb (Expand_Call): Establish a transient scope
+ for a controlled build-in-place function call which appears in an
+ anonymous context. The transient scope ensures that the intermediate
+ function result is cleaned up after the master is left.
+ (Make_Build_In_Place_Call_In_Anonymous_Context): Remove the creation
+ of the transient scope. This is now done in Exand_Call which covers
+ additional cases other than secondary stack release.
+
+2010-09-10 Arnaud Charlet <charlet@adacore.com>
+
+ * sem.adb (Do_Unit_And_Dependents): Add guard.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch5.adb: Update comments.
+ * exp_dist.adb: Minor reformatting.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch13.adb (Check_Record_Representation_Clause): Implement record
+ gap warnings.
+ * sem_warn.ads, sem_warn.adb (Warn_On_Record_Holes): New warning flag.
+ * usage.adb: Add lines for -gnatw.h/H
+ * gnat_ugn.texi: Add documentation for J519-010
+ Warn on record holes/gaps
+ * ug_words: Add entries for -gnatw.h/-gnatw.H
+ * vms_data.ads: Add entries for [NO]AVOIDGAPS
+
+2010-09-10 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch6.adb: Update comment.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Build_Derived_Private_Type): Mark generated declaration
+ of full view analyzed after analyzing the corresponding record
+ declaration, to prevent spurious name conflicts with original
+ declaration.
+
+2010-09-10 Jerome Lambourg <lambourg@adacore.com>
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): In the VM case,
+ just issue a warning, but continue with the normal processing.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * exp_attr.adb, prj-nmsc.adb, sem_ch4.adb, sem_res.adb: Minor
+ reformatting.
+
+2010-09-10 Thomas Quinot <quinot@adacore.com>
+
+ * exp_dist.adb (Build_From_Any_Call, Build_To_Any_Call,
+ Build_TypeCode_Call): For a subtype inserted for the expansion of a
+ generic actual type, go to the underlying type of the original actual
+ type.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch5.adb (Expand_Assign_Array_Loop): In CodePeer mode, place a
+ guard around the increment statement, to prevent an off-by-one-value
+ on the last iteration.
+
+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * sem_aggr.adb, exp_prag.adb, sem_ch3.adb, exp_attr.adb,
+ sem_res.adb, sem_attr.adb, sem_elab.adb, sem_ch4.adb, exp_disp.adb,
+ exp_aggr.adb, exp_dist.adb: Change all mentions of "at run-time" to
+ "at run time" in comments and error/warning messages.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_cg.adb: Handle properly bodies without specs.
+
+2010-09-10 Emmanuel Briot <briot@adacore.com>
+
+ * prj-nmsc.adb (Find_Source_Dirs): When a source directory is not
+ present, and the user requested to either ignore this or display a
+ warning (as opposed to an error), we still need to register the
+ directory.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * errout.adb: Remove tests of Parsing_Main_Subunit, since this test is
+ now done in In_Extended_Main_Source_Unit.
+ * errout.ads (Compiler_State[_Type]): Moved from Errout to Lib
+ (Parsing_Main_Subunit): Moved from Errout to Lib and renamed
+ as Parsing_Main_Extended_Source.
+ * frontend.adb: Set Parsing_Main_Extended_Source True for parsing main
+ unit.
+ * lib-load.adb (Load_Unit): Add PMES parameter
+ Set PMES appropriately in all calls to Load_Unit
+ * lib-load.ads (Load_Unit): Add PMES parameter
+ * lib.adb (In_Extended_Main_Source_Unit): When called with
+ Compiler_State set to Parsing, test new flag
+ Compiling_Main_Extended_Source.
+ * lib.ads (Compiler_State[_Type]): Moved from Errout to Lib
+ (Parsing_Main_Subunit): Moved from Errout to Lib and renamed
+ as Parsing_Main_Extended_Source
+ * par-load.adb (Load): Set PMES properly in call to Load_Unit
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_cg.adb: Use proper entity to handle overloads.
+ * sem_res.adb (Check_Parameterless_Call): An operator node without
+ actuals cannot be a call, and must be treated as a string.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * frontend.adb: Minor reformatting.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * par-ch4.adb (P_Conditional_Expression): Use P_Condition for condition
+ * par-ch5.adb (P_Condition): Move from body to spec
+ * par.adb (Ch5.P_Condition): Move from body to spec
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_cg.adb (Write_Call_Info): If a type that has been registered in
+ the call table is private, use its full view to generate information
+ on its operations.
+
+2010-09-10 Jose Ruiz <ruiz@adacore.com>
+
+ * exp_cg.adb (Is_Predefined_Dispatching_Operation): When trying the
+ pattern matching to detect predefined primitive operations take into
+ account that there can be an extra suffix related to body-nested
+ package entities.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * s-pooglo.ads: Add overriding indicators.
+
+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * vms_data.ads: Add new GNAT BIND qualifiers /32_MALLOC (for -H32) and
+ /64_MALLOC (for -H64).
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * errout.adb (Error_Msg_Internal): Test Parsing_Main_Subunit flag
+ (Error_Msg_NW): Test Parsing_Main_Subunit flag
+ * errout.ads (Parsing_Main_Subunit): New flag
+ * lib-load.adb (Load_Unit): Set Parsing_Main_Subunit flag
+ * par-ch6.adb: Minor style fix (remove redandant parentheses)
+ * par-ch9.adb: Minor style fix (remove redundant parens)
+ * par-load.adb: (Load): Deal with setting Parsing_Main_Subunit
+
+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Create_Binder_Mapping_File): Remove procedure. Replaced by
+ function of the same name in Makeutl.
+ (Gnatmake): Call function Create_Binder_Mapping_File in Makeutl, instead
+ of removed procedure when creating a binder mapping file.
+ * makeutl.adb (Create_Binder_Mapping_File): New function. Was a
+ procedure in Make.
+ * makeutl.ads (Create_Binder_Mapping_File): New function
+
+2010-09-10 Jose Ruiz <ruiz@adacore.com>
+
+ * exp_cg.adb (Is_Predefined_Dispatching_Operation): Add the "__" scope
+ separator when trying the pattern matching to detect predefined
+ primitive operations.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * bindgen.adb, atree.adb: Minor reformatting.
+
+2010-09-10 Ben Brosgol <brosgol@adacore.com>
+
+ * ug_words, gnat_ugn.texi: Revised "Transitioning to 64-Bit GNAT for
+ OpenVMS" section.
+
+2010-09-10 Doug Rupp <rupp@adacore.com>
+
+ * bindgen.adb: Minor comment fix for -H switch.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_cg.adb (Register_CG_Node): Determine enclosing subprogram or
+ library unit now, by traversing tree before context is expanded.
+ (Write_Call_Info): Use enclosing unit name directly.
+ * exp_ch9.adb (Expand_N_Accept_Statement): Attach generated block to
+ tree earlier, to ensure that subsequent declarations are analyzed in a
+ connected structure.
+ * exp_intr.adb (Expand_Unc_Deallocation): Ditto for generated statement
+ list.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * symbols-processing-vms-alpha.adb: Minor reformatting.
+
+2010-09-10 Jerome Lambourg <lambourg@adacore.com>
+
+ * bindgen.adb (Gen_Adainit_Ada): In .NET, don't call
+ __gnat_install_handler in case the binder is called with -n.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch6.adb (Make_Build_In_Place_In_Object_Declaration): Use proper
+ sloc for renaming declaration and set Comes_From_Source properly to
+ ensure that references are properly generated for an object declaration
+ that is built in place.
+
+2010-09-10 Tristan Gingold <gingold@adacore.com>
+
+ * symbols-processing-vms-alpha.adb: Allow gnatsym to work as a cross
+ tool.
+ * gcc-interface/Make-lang.in: Install gnatsym when cross compiling.
+ * gcc-interface/Makefile.in: gnat.hlp is now generated by
+ Make-generated.in
+
+2010-09-10 Bob Duff <duff@adacore.com>
+
+ * exp_pakd.adb (Expand_Bit_Packed_Element_Set): For things like ""X(J)
+ := ...;", remove side effects from the right-hand side, because they
+ might affect the value of the left-hand side, but the left-hand side is
+ first READ (so we can do shifting and masking) and then written back,
+ which would cause the side effects to be incorrectly overwritten.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch4.adb: Minor reformatting.
+ * exp_ch6.adb: Add comment on testing limited on full type
+ * gnat_rm.texi: Add documentation on Pure_Function.
+
+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * prj-nmsc.adb (Add_Source): Allow an Ada source to have the same name
+ as a source of another project and of another language.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch3.adb (Expand_N_Object_Declaration): Defend against previous
+ errors.
+ * freeze.adb (Check_Unsigned_Type): Ditto.
+ * sem_aggr.adb (Resolve_Aggr_Expr): Ditto.
+ * sem_ch3.adb (Convert_Scalar_Bounds): Ditto.
+ (Set_Scalar_Range_For_Subtype): Ditto.
+ * sem_eval.adb (Subtypes_Statically_Match): Ditto.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * repinfo.adb (List_Type_Info): List Small and Range for fixed-point
+ types.
+ * sprint.adb (Write_Ureal_With_Col_Check_Sloc): Use square brackets
+ rather than parens for fixed constants.
+ * sprint.ads: Use square brackets rather than parens for fixed constants
+ * urealp.adb (UR_Write): Use square brackets rather than parens
+ (UR_Write): Add Brackets argument
+ (UR_Write): Add many more special cases to output literals
+ * urealp.ads (UR_Write): Use square brackets rather than parens
+ (UR_Write): Add Brackets argument
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch4.adb: Minor reformatting.
+
+2010-09-10 Richard Guenther <rguenther@suse.de>
+
+ * gcc-interface/utils.c (create_index_type): Use build_range_type.
+
+2010-09-10 Arnaud Charlet <charlet@adacore.com>
+
+ * vms_cmds.ads: New.
+
+2010-09-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_dbug.ads: Mention enhanced encoding for array types.
+
+2010-09-10 Jerome Lambourg <lambourg@adacore.com>
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Size clause are
+ unsupported in VM targets. Display a warning in this case.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * sprint.adb (Sprint_Node_Actual, case N_Derived_Type_Definition): Do
+ not reset Sloc when printing keyword "new".
+
+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * gnatcmd.adb (GNATCmd): Put the command line in environment variable
+ GNAT_DRIVER_COMMAND_LINE.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Do_Unit_And_Dependents): if Withed_Body is set on a context
+ clause, process the body at once.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Resolve_Type_Conversion): Do not warn on a redundant
+ conversion is the expression is a qualified expression used to
+ disambiguate a function call.
+
+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * prj-nmsc.adb (Add_Source): Allow an Ada source to have the same name
+ as a source of another project and of another language.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * prj-util.adb: Minor reformatting.
+
+2010-09-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_disp.adb: Minor reformatting.
+
+2010-09-10 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): Ignore Inline_Always pragma in
+ CodePeer mode.
+
+2010-09-10 Thomas Quinot <quinot@adacore.com>
+
+ * sem_res.adb: Minor reformatting.
+ * exp_ch9.adb, rtsfind.ads, exp_ch4.adb, exp_ch3.adb: Do not hardcode
+ magic constants for task master levels (instead, reference
+ named numbers from System.Tasking).
+
+2010-09-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnatvsn.ads (Ver_Prefix): New constant string.
+ * bindgen.adb (Gen_Output_File_Ada): Use it in lieu of hardcoded value.
+ (Gen_Output_File_C): Likewise.
+ * g-comver.adb (Ver_Prefix): Add cross-reference to Gnatvsn.Ver_Prefix
+ in comment.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Walk_Library_Items): Do not traverse children of the main
+ unit, to prevent spurious circularities in the walk order.
+ (Depends_On_Main): Use elsewhere to prevent circularities when the body
+ of an ancestor of the main unit depends on a child of the main unit.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * gnatlink.adb, prj-ext.adb, prj-util.adb, s-tporft.adb,
+ sem_ch3.adb: Minor reformatting.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Derive_Subprograms): An interface primitive operation
+ that is a renaming must be derived like any other primitive operation,
+ the renamed operation is not relevant to the derivation.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * sem_aux.ads: Add comment for Is_Inherently_Limited_Type.
+ * checks.adb: Minor reformatting.
+
+2010-09-10 Robert Dewar <dewar@adacore.com>
+
+ * gnat_ugn.texi: Add section on intent of style checking options.
+
+2010-09-10 Arnaud Charlet <charlet@adacore.com>
+
+ * xref_lib.adb (Get_Full_Type): Fix handling of 'a' char.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb: Improve error message on derivation from class-wide type
+
+2010-09-10 Steve Baird <baird@adacore.com>
+
+ * gnat1drv.adb (Adjust_Global_Switches): Enable Expression_With_Actions
+ generation when Generate_SCIL is True.
+
+2010-09-10 Geert Bosch <bosch@adacore.com>
+
+ * gnatlink.adb (Check_ Existing_Executable): New procedure for checking
+ validity of executable name and removing any existing executable
+ (Gnatlink): Call Check_Existing_Executable.
+
+2010-09-10 Arnaud Charlet <charlet@adacore.com>
+
+ * s-tporft.adb, s-taskin.ads (Register_Foreign_Thread): Move
+ initialization of Task_Alternate_Stack here, cleaner since in case of
+ ranvescar, Restricted_Ada_Task_Control_Block is not initialized
+ implicitly.
+
+2010-09-10 Thomas Quinot <quinot@adacore.com>
+
+ * s-fileio.adb, a-dirval.adb: Minor reformatting.
+
2010-09-10 Emmanuel Briot <briot@adacore.com>
* prj-util.adb (Executable_Of): Fix CE when the project does not
OSDN Git Service
