aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Collapse)AuthorFilesLines
2009-04-092009-04-09 Robert Dewar <dewar@adacore.com>Robert Dewar3-10/+36
* checks.adb: (Insert_Valid_Check): Avoid unnecessary generation of junk declaration when no invalid values exist, Avoid duplicate read of atomic variable. * cstand.adb (Build_Signed_Integer_Type): Set Is_Known_Valid (Standard_Unsigned): Set Is_Known_Valid * sem_ch3.adb (Analyze_Subtype_Declaration): Copy Is_Known_Valid on subtype declaration if no constraint. (Set_Modular_Size): Set Is_Known_Valid if appropriate (Build_Derived_Numeric_Type): Copy Is_Known_Valid if no constraint From-SVN: r145836
2009-04-09Minor editing.Arnaud Charlet1-1/+1
From-SVN: r145835
2009-04-09[multiple changes]Arnaud Charlet7-62/+98
2009-04-09 Robert Dewar <dewar@adacore.com> * switch-c.adb, gnat_ugn.texi, vms_data.ads, switch.adb, switch.ads: for numeric switches, an optional equal sign is always allowed. 2009-04-09 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Get_Unit): Do not consider Casing on platform where the case of file names is not significant. From-SVN: r145834
2009-04-09New file.Arnaud Charlet1-0/+266
From-SVN: r145833
2009-04-09[multiple changes]Arnaud Charlet15-39/+51
2009-04-09 Vincent Celier <celier@adacore.com> * errout.adb: Remove dependency on package Style * style.ads, styleg.adb, styleg.ads (RM_Column_Check): Remove function, moved to Stylesw. * stylesw.ads, stylesw.adb (RM_Column_Check): New function, moved from Styleg. * errutil.adb, par.adb: Import Stylesw 2009-04-09 Arnaud Charlet <charlet@adacore.com> * opt.ads: Fix typos. 2009-04-09 Robert Dewar <dewar@adacore.com> * einfo.adb: Minor reformatting From-SVN: r145832
2009-04-09Make-lang.in, [...]: Reorganize style units.Robert Dewar5-428/+97
2009-04-09 Robert Dewar <dewar@adacore.com> * gcc-interface/Make-lang.in, style.ads, style.adb: Reorganize style units. * styleg-c.ads, styleg-c.adb: Removed, no longer used. From-SVN: r145831
2009-04-09[multiple changes]Arnaud Charlet4-6/+24
2009-04-09 Robert Dewar <dewar@adacore.com> * g-comver.adb: Minor reformatting. 2009-04-09 Thomas Quinot <quinot@adacore.com> * lib-load.ads (Load_Unit): Update documentation. 2009-04-09 Ed Schonberg <schonberg@adacore.com> * lib-load.adb (Load_Unit): When loading the parent of a child unit named in a with_clause, retain the with_clause to preserve a limited_with indication. From-SVN: r145829
2009-04-09Minor reformatting.Arnaud Charlet1-4/+3
From-SVN: r145824
2009-04-09sem_ch7.adb, [...]: Code clean up...Robert Dewar4-43/+34
2009-04-09 Robert Dewar <dewar@adacore.com> * sem_ch7.adb, sem_ch10.adb, sem_prag.adb, sem_ch12.adb, sem_util.adb, exp_ch13.adb, sem_ch6.adb, exp_disp.adb, sem_ch8.adb, sem_warn.adb, sem_cat.adb: Code clean up: use Is_Package_Or_Generic_Package where possible to replace an OR of two separate tests. From-SVN: r145823
2009-04-09binderr.adb, [...]: New circuitry for handling Maximum_Messages.Robert Dewar13-41/+132
2009-04-09 Robert Dewar <dewar@adacore.com> * binderr.adb, errout.adb, errutil.adb: New circuitry for handling Maximum_Messages. * erroutc.adb, erroutc.ads (Warnings_Suppressed): Now tests global warning status as well. * opt.ads (Maximum_Messages): New name for Maximum_Errors. * switch-b.adb, switch-c.adb: Change name Maximum_Errors to Maximum_Messages. * bindusg.adb, usage.adb: Update line for -gnatm switch * gnat_ugn.texi: Update documentation for -gnatmnn compiler switch and -mnn binder switch. * sem_ch10.adb: Minor reformatting. From-SVN: r145822
2009-04-09[multiple changes]Arnaud Charlet3-12/+31
2009-04-09 Bob Duff <duff@adacore.com> * exp_ch11.adb (Expand_Exception_Handlers, Prepend_Call_To_Handler): Set Sloc of generated nodes for calls to Undefer_Aborts and Save_Occurrence to No_Location, so the debugger ignores them and therefore does not jump back and forth when single stepping. 2009-04-09 Robert Dewar <dewar@adacore.com> * switch-b.adb: Minor reformatting. From-SVN: r145821
2009-04-09sem_aggr.adb, [...]: Reorganize einfo/sem_aux, moving routines from einfo to ↵Robert Dewar52-881/+926
sem_aux 2009-04-09 Robert Dewar <dewar@adacore.com> * sem_aggr.adb, exp_ch5.adb, sem_ch3.adb, exp_atag.adb, layout.adb, sem_dist.adb, exp_ch7.adb, sem_ch5.adb, sem_type.adb, exp_imgv.adb, exp_util.adb, sem_aux.adb, sem_aux.ads, exp_attr.adb, exp_ch9.adb, sem_ch7.adb, inline.adb, fe.h, sem_ch9.adb, exp_code.adb, einfo.adb, einfo.ads, exp_pakd.adb, checks.adb, sem_ch12.adb, exp_smem.adb, tbuild.adb, freeze.adb, sem_util.adb, sem_res.adb, sem_attr.adb, exp_dbug.adb, sem_case.adb, exp_tss.adb, exp_ch4.adb, exp_ch6.adb, sem_smem.adb, sem_ch4.adb, sem_mech.adb, sem_ch6.adb, exp_disp.adb, sem_ch8.adb, exp_aggr.adb, sem_eval.adb, sem_cat.adb, exp_dist.adb, sem_ch13.adb, exp_strm.adb, lib-xref.adb, sem_disp.adb, exp_ch3.adb: Reorganize einfo/sem_aux, moving routines from einfo to sem_aux From-SVN: r145820
2009-04-09exp_util.adb (Silly_Boolean_Array_Xor_Test): Simplify existing code.Robert Dewar4-33/+52
2009-04-09 Robert Dewar <dewar@adacore.com> * exp_util.adb (Silly_Boolean_Array_Xor_Test): Simplify existing code. * atree.h: Add Elist26 * gnat_ugn.texi: Complete documentation deprecating -gnatN for non-gcc backends. From-SVN: r145818
2009-04-09Minor reformatting.Arnaud Charlet2-5/+6
From-SVN: r145813
2009-04-09Minor reformatting.Arnaud Charlet1-1/+3
From-SVN: r145812
2009-04-09exp_disp.adb (Export_DT): Addition of a new argument (Index)...Javier Miranda8-161/+338
2009-04-09 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Export_DT): Addition of a new argument (Index); used to retrieve from the Dispatch_Table_Wrappers list the external name. Addition of documentation. (Make_Secondary_DT): Addition of a new argument (Suffix_Index) that is used to export secondary dispatch tables (in the previous version of the frontend only primary dispatch tables were exported). Addition of documentation. (Import_DT): New subprogram (internal of Make_Tags). Used to import a dispatch table of a given tagged type. (Make_Tags): Modified to import secondary dispatch tables. * sem_ch3.adb (Analyze_Object_Declaration): Code cleanup. (Constant_Redeclaration): Code cleanup. * einfo.ads (Dispatch_Table_Wrapper): Renamed to Dispatch_Table_Wrappers. Update documentation. * einfo.adb (Dispatch_Table_Wrapper, Set_Dispatch_Table_Wrapper): Renamed to Dispatch_Table_Wrappers. * sem_util.adb (Collect_Interface_Components): Improve handling of private types. * atree.ads (Elist26, Set_Elist26): New subprograms * atree.adb (Elist26, Set_Elist26): New subprograms From-SVN: r145811
2009-04-09[multiple changes]Arnaud Charlet4-18/+41
2009-04-09 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Build_Derived_Record_Type): Fix typo. (Derive_Progenitor_Subprograms): Handle interfaces in subtypes of tagged types. 2009-04-09 Robert Dewar <dewar@adacore.com> * s-direio.adb: Minor reformatting * exp_ch4.adb (Expand_Concatenate): Avoid overflow checks for String From-SVN: r145808
2009-04-09[multiple changes]Arnaud Charlet15-56/+80
2009-04-09 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_Concatenate): Improve handling of overflow cases 2009-04-09 Pascal Obry <obry@adacore.com> * a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coinve.ads, s-tpoben.adb, s-tpoben.ads, s-finimp.adb, s-finimp.ads, a-convec.adb, a-convec.ads, a-finali.adb, a-finali.ads, a-filico.ads: Add some missing overriding keywords. From-SVN: r145807
2009-04-09[multiple changes]Arnaud Charlet16-148/+142
2009-04-09 Pascal Obry <obry@adacore.com> * a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coorma.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads, a-coorse.adb, a-coorse.ads, a-coormu.adb, a-coormu.ads, a-cohase.adb, a-cohase.ads: Minor reformatting. 2009-04-09 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Check_Overriding_Indicator): Do not generate warning on missing overriding indicator if the new declaration is not seen as primitive. From-SVN: r145804
2009-04-09[multiple changes]Arnaud Charlet6-60/+108
2009-04-09 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb (Expand_Concatenate): Add circuitry to properly handle overflows in computation of bounds. 2009-04-09 Pascal Obry <obry@adacore.com> * a-cihama.adb, a-cgcaso.adb, a-cihase.adb, a-cohase.adb: Fix some typos in comment. From-SVN: r145803
2009-04-09[multiple changes]Arnaud Charlet6-26/+73
2009-04-09 Robert Dewar <dewar@adacore.com> * sem_attr.adb (Check_Stream_Attribute): Check violation of restriction No_Streams * gnat_rm.texi: Clarify No_Streams restriction * g-socket.adb: Minor reformatting. 2009-04-09 Thomas Quinot <quinot@adacore.com> * g-socket.ads: Mark Initialize and Finalize as obsolesent interfaces. 2009-04-09 Geert Bosch <bosch@adacore.com> * exp_fixd.adb (Build_Conversion): Accept new optional Trunc argument. (Set_Result): Likewise. (Expand_Convert_Float_To_Fixed): Have Set_Result truncate the conversion, as required by RM 4.6(31). From-SVN: r145801
2009-04-08[multiple changes]Arnaud Charlet11-64/+173
2009-04-08 Robert Dewar <dewar@adacore.com> * checks.adb (Enable_Overflow_Check): Do not enable if overflow checks suppressed. * exp_ch4.adb (Expand_Concatenate): Make sure checks are off for all resolution steps. 2009-04-08 Robert Dewar <dewar@adacore.com> * sem_ch12.adb (Analyze_Package_Instantiation): Remove test for No_Local_Allocators restriction preventing local instantiation. 2009-04-08 Thomas Quinot <quinot@adacore.com> * sem_eval.adb: Minor comment fix 2009-04-08 Thomas Quinot <quinot@adacore.com> * g-socket.adb, g-socket.ads (GNAT.Sockets.Sockets_Library_Controller): New limited controlled type used to automate the initialization and finalization of the sockets implementation. (GNAT.Sockets.Initialize, Finalize): Make these no-ops 2009-04-08 Vincent Celier <celier@adacore.com> * prj-attr.adb: New read-only project-level attribute Project_Dir * prj-proc.adb (Add_Attributes): New parameter Project_Dir, value of read-only attribute of the same name. (Process_Declarative_Items): Call Add_Attributes with Project_Dir (Recursive_Process): Ditto * snames.adb: Add new standard name Project_Dir * snames.ads: Add new standard name Project_Dir From-SVN: r145766
2009-04-08[multiple changes]Arnaud Charlet4-7/+53
2009-04-08 Thomas Quinot <quinot@adacore.com> * checks.adb: Minor reformatting 2009-04-08 Vincent Celier <celier@adacore.com> * vms_data.ads: Add documentation for new style keyword OVERRIDING_INDICATORS 2009-04-08 Robert Dewar <dewar@adacore.com> * sem_ch3.adb (Check_Completion.Post_Error): Post error on spec if the spec is in the current unit. From-SVN: r145749
2009-04-08[multiple changes]Arnaud Charlet8-47/+88
2009-04-08 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Is_Protected_Self_Reference): Add guard to check for presence of entity. * usage.adb, gnat_ugn.texi: add info on -gnatyO: overriding indicators 2009-04-08 Vincent Celier <celier@adacore.com> * vms_data.ads: Add VMS equivalent for -gnatyO (OVERRIDING_INDICATORS) 2009-04-08 Thomas Quinot <quinot@adacore.com> * checks.ads: Minor reformatting 2009-04-08 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Update documentation of pragma Obsolescent * sem_prag.adb (Analyze_Pragma, case Obsolescent): Allow identifiers to be omitted, and allow Entity parameter to be omitted. From-SVN: r145745
2009-04-08[multiple changes]Arnaud Charlet8-464/+510
2009-04-08 Thomas Quinot <quinot@adacore.com> * exp_util.adb: Minor comment fix 2009-04-08 Robert Dewar <dewar@adacore.com> * g-socket.ads: Fix bad syntax in pragma Obsolescent * par-ch2.adb (Scan_Pragma_Argument_Association): Check for error of argument with no identifier following one that has an identifier. Was missed in some cases. * sem_prag.adb (Analyze_Pragma, case Check_Policy): Allow Policy identifier. (Analyze_Pragma, case Obsolescent): Allow Message, Version identifiers * snames.adb: Add Name_Policy * snames.ads: Add Name_Policy From-SVN: r145744
2009-04-08[multiple changes]Arnaud Charlet4-114/+132
2009-04-08 Vincent Celier <celier@adacore.com> * snames.adb, snames.ads: Add new standard names IDE and Compiler_Command. 2009-04-08 Ed Schonberg <schonberg@adacore.com> * exp_util.adb (Safe_Unchecked_Type_Conversion): Conversion is safe, i.e. does not need a temporary to capture the value, if expression is an acceess type, even if target type is a record whose size may not have been determined yet. * exp_disp.adb (Expand_Dispatching_Call): Set size info for generated access_to_subprogram type, to avoid order-of-elaboration anomalies in gigi. From-SVN: r145743
2009-04-08gnat_rm.texi: Minor reformattingRobert Dewar3-14/+22
2009-04-08 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Minor reformatting * par-ch2.adb: Minor reformatting From-SVN: r145742
2009-04-08exp_attr.adb, [...]: Code clean up.Robert Dewar4-13/+22
2009-04-08 Robert Dewar <dewar@adacore.com> * exp_attr.adb, sem_attr.adb, sem_util.adb: Code clean up. From-SVN: r145741
2009-04-08sem_cat.adb (Check_Categorization_Dependencies): Handle Preelaborate ↵Robert Dewar3-53/+72
properly in the presence of Remote_Types or... 2009-04-08 Robert Dewar <dewar@adacore.com> * sem_cat.adb (Check_Categorization_Dependencies): Handle Preelaborate properly in the presence of Remote_Types or Remote_Call_Interface. * sem_util.adb: Add comment. From-SVN: r145739
2009-04-08[multiple changes]Arnaud Charlet7-10/+46
2009-04-08 Robert Dewar <dewar@adacore.com> * ug_words: Add /ASSUME_VALID for -gnatB * vms_data.ads: Add /ASSUME_VALID for -gnatB * sem_cat.adb: Add clarifying commment * a-direio.ads (Bytes): Make sure value is non-zero 2009-04-08 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Is_Variable): If the prefix is an explicit dereference that does not come from source, check for a rewritten function call in prefixed notation before other forms of rewriting. 2009-04-08 Robert Dewar <dewar@adacore.com> * Makefile.rtl: Remove s-strops and s-sopco? from the run time, since these are now obsolescent units used only for bootrapping with an older compiler. From-SVN: r145733
2009-04-08[multiple changes]Arnaud Charlet4-4/+46
2009-04-08 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Add documentation for pragma Thread_Local_Storage * sem_ch3.adb: Minor comment updates 2009-04-08 Ed Schonberg <schonberg@adacore.com> * inline.adb (Back_End_Cannot_Inline): restrict warning to subprograms that come from source. From-SVN: r145732
2009-04-08utils.c, [...]: Add support for pragma Thread_Local_StorageTristan Gingold4-0/+18
2009-04-08 Tristan Gingold <gingold@adacore.com> * gcc-interface/utils.c, gcc-interface/decl.c, gcc-interface/gigi.h: Add support for pragma Thread_Local_Storage From-SVN: r145730
2009-04-08[multiple changes]Arnaud Charlet4-38/+105
2009-04-08 Ed Schonberg <schonberg@adacore.com> * inline.adb (Back_End_Cannot_Inline): Do not mark a body as inlineable by the back-end if it contains a call to a subprogram without a previous spec that is declared in the same unit. * errout.ads: Update comments on uses of dirs 2009-04-08 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_Concatenate): Make sure nodes are properly typed From-SVN: r145729
2009-04-08[multiple changes]Arnaud Charlet5-31/+64
2009-04-08 Tristan Gingold <gingold@adacore.com> * sem_prag.adb: Restrict pragma Thread_Local_Storage to library level variables. Set Has_Gigi_Rep_Item flag to TLS variables (to ease gigi work). 2009-04-08 Vincent Celier <celier@adacore.com> * prj-nmsc.adb: (Add_Source): Add the mapping of the unit name to source file name in the Unit_Sources_HT hash table, if the unit name is not null. * prj.adb (Reset): Reset hash table Tree.Unit_Sources_HT * prj.ads (Unit_Sources_Htable): New hash table instantiation (Project_Tree_Data): New component Unit_Sources_HT From-SVN: r145728
2009-04-08[multiple changes]Arnaud Charlet10-566/+672
2009-04-08 Thomas Quinot <quinot@adacore.com> * sem_ch8.adb: Minor reformatting. Minor code reorganization. 2009-04-08 Robert Dewar <dewar@adacore.com> * snames.h, einfo.adb, einfo.ads, sem_prag.adb, snames.adb, snames.ads, freeze.adb, par-prag.adb: Add implementation of pragma Thread_Local_Storage, setting new flag Has_Pragma_Thread_Local_Storage in corresponding entities. From-SVN: r145725
2009-04-08[multiple changes]Arnaud Charlet6-195/+317
2009-04-08 Emmanuel Briot <briot@adacore.com> * prj.ads: Update comment on switches file * prj-nmsc.adb: Code clean up. Use renaming clauses. 2009-04-08 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_Concatenate): Further fixes to bounds handling 2009-04-08 Thomas Quinot <quinot@adacore.com> * ali-util.adb: Minor comment fix 2009-04-08 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Analyze_Use_Type): Improve error message when clause appears in a context clause, and the enclosing package is mentioned in a limited_with_clause. (Use_One_Type): Reject clause if type is still incomplete. From-SVN: r145722
2009-04-08[multiple changes]Arnaud Charlet3-150/+164
2009-04-08 Emmanuel Briot <briot@adacore.com> * prj-nmsc.adb (Check_File, Process_Sources_In_Multi_Language_Mode): avoid copies of Source_Data variables when possible, since these involve calls to memcpy() which are done too many times. 2009-04-08 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_Concatenate): Clean up code From-SVN: r145721
2009-04-08(Image): New procedure.Thomas Quinot2-1/+5
From-SVN: r145719
2009-04-07[multiple changes]Arnaud Charlet10-38/+117
2009-04-07 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb (Expand_Concatenate): Add missing conversion to index type for the case of concatenating a constrained array indexed by an enumeration type. 2009-04-07 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Check_Conformance): when checking conformance of an operation that overrides an abstract operation inherited from an interface, return False if only one of the controlling formals is an access parameter. 2009-04-07 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Analyze_Object_Renaming): additional error messages mandated by AI05-105. 2009-04-07 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Get_Mains): Warn if a main is an empty string 2009-04-07 Thomas Quinot <quinot@adacore.com> * usage.adb: Minor fix in usage message. * sem_ch10.adb (Remove_Homonyms): Fix subtype of formal in body to match declaration; the correct subtype is Node_Id, not Entity_Id, because the expected node kind is an identifier, not a defining identifier. * switch-c.adb: Minor reformatting. * uintp.adb: Minor reformatting. 2009-04-07 Robert Dewar <dewar@adacore.com> * exp_ch13.adb: Minor reformatting From-SVN: r145696
2009-04-07[multiple changes]Arnaud Charlet7-150/+360
2009-04-07 Robert Dewar <dewar@adacore.com> * sem_warn.adb (Check_Infinite_Loop_Warning.Test_Ref): Add defence against missing parent. 2009-04-07 Thomas Quinot <quinot@adacore.com> * xoscons.adb: Minor reformatting 2009-04-07 Robert Dewar <dewar@adacore.com> * rtsfind.ads: Remove obsolete string concatenation entries 2009-04-07 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_Concatenate): Redo handling of bounds 2009-04-07 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Check_Body_Required): Handle properly imported subprograms. 2009-04-07 Gary Dismukes <dismukes@adacore.com> * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case Attribute_Address): When Init_Or_Norm_Scalars is True and the object is of a scalar or string type then suppress the setting of the expression to Empty. * freeze.adb (Warn_Overlay): Also emit the warnings about default initialization for the cases of scalar and string objects when Init_Or_Norm_Scalars is True. From-SVN: r145694
2009-04-07[multiple changes]Arnaud Charlet7-26/+86
2009-04-07 Bob Duff <duff@adacore.com> * s-secsta.ads, g-pehage.ads, s-fileio.ads: Minor comment fixes 2009-04-07 Bob Duff <duff@adacore.com> * gnat_rm.texi, s-fileio.adb (System.File_IO.Open): New feature: A Form parameter of Text_Translation=No allows binary mode for Text_IO files. * gnat_rm.texi: Document Form parameter Text_Translation=xxx. 2009-04-07 Javier Miranda <miranda@adacore.com> * exp_ch5.adb (Expand_Assign_Array): Add implicit conversion when processing the bounds for bit packed arrays or VM target machines. From-SVN: r145691
2009-04-07[multiple changes]Arnaud Charlet18-125/+319
2009-04-07 Thomas Quinot <quinot@adacore.com> * g-sothco.ads (Int_Access): Remove extraneous access type (use anonymous access instead). (Get_Socket_From_Set): Fix incorrectly reverted formals Last and Socket to match the underlying C routine. * g-socket.adb (Get): Use named parameter associations instead of positional ones in call go Get_Socket_From_Set, since this routine has two formals of the same type. * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb, g-socthi-vxworks.ads, g-socthi-mingw.ads, g-socthi.adb, g-socthi.ads: (C_Ioctl, Syscall_Ioctl): use "access C.int" instead of "Int_Access" for type of Arg formal. * sem_warn.adb: Minor reformatting 2009-04-07 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Has_Tagged_Component): Fix typo in loop that iterates over record components. 2009-04-07 Nicolas Roche <roche@adacore.com> * gsocket.h: Don't include resolvLib.h on VxWorks 6 (kernel and rtp). This library has disappeared between VxWorks 6.4 and VxWorks 6.5 In RTP mode use time.h instead of times.h 2009-04-07 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Op_Concat): Improve lower bound handling 2009-04-07 Kevin Pouget <pouget@adacore.com> * exp_dist.adb: Modify Build_From_Any_Fonction procedure to correct expanded code for constrained types. 2009-04-07 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Analyze_Overloaded_Selected_Component): implement AI05-105: in an object renaming declaration, anonymousness is a name resolution rule. sem_ch8.adb (Analyze_Object_Renaming): Ditto. 2009-04-07 Arnaud Charlet <charlet@adacore.com> * g-comlin.adb (Expansion): Fix old regression: also return directory names when matching. From-SVN: r145689
2009-04-07[multiple changes]Arnaud Charlet3-54/+40
2009-04-07 Robert Dewar <dewar@adacore.com> * exp_ch4.adb: (Expand_N_Op_Concat): Call Expand_Concatenate for all cases (Expand_Concatenate): New name for Expand_Concatenate_String which has been rewritten to handle all types. (Expand_Concatenate_Other): Remove 2009-04-07 Ed Schonberg <schonberg@adacore.com> * lib-xref.adb (Generate_Reference): A default subprogram in an instance appears within the tree for the instance, but generates an implicit reference in the ALI. From-SVN: r145686
2009-04-07[multiple changes]Arnaud Charlet3-726/+296
2009-04-07 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Build_Derived_Record_Type): When processing a tagged derived type that has discriminants, propagate the list of interfaces to the corresponding new base type. In addition, propagate also attribute Limited_Present (found working in this patch). 2009-04-07 Robert Dewar <dewar@adacore.com> * exp_ch4.adb: Rewrite concatenation expansion. From-SVN: r145684
2009-04-07[multiple changes]Arnaud Charlet4-38/+55
2009-04-07 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Restore_Scope_Stack): First_Private_Entity is only relevant to packages. 2009-04-07 Robert Dewar <dewar@adacore.com> * sem_attr.adb: Minor reformatting * sem_ch6.adb: Minor reformatting From-SVN: r145682
2009-04-07[multiple changes]Arnaud Charlet4-9/+57
2009-04-07 Tristan Gingold <gingold@adacore.com> * socket.c: Add more protections against S_resolvLib_ macros. 2009-04-07 Thomas Quinot <quinot@adacore.com> * sem_attr.adb: Minor reformatting 2009-04-07 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (New_Overloaded_Entity): New predicate Is_Overriding_Alias to handle properly types that inherit two homonym operations that have distinct dispatch table entries. From-SVN: r145681
2009-04-07[multiple changes]Arnaud Charlet4-2/+33
2009-04-07 Emmanuel Briot <briot@adacore.com> * s-regexp.adb (Create_Mapping): Ignore excaped open parenthesis when looking for the end of a parenthesis group 2009-04-07 Tristan Gingold <gingold@adacore.com> * gsocket.h Don't #include resolvLib.h if __RTP__ is defined. * socket.c Don't use resolvLib_ macros if not defined. From-SVN: r145680
2009-04-07[multiple changes]Arnaud Charlet15-152/+538
2009-04-07 Robert Dewar <dewar@adacore.com> * g-socket.adb: Minor reformatting. * g-socthi-mingw.adb: Minor reformatting * g-sothco.ads: Minor reformatting * exp_ch4.adb: (Expand_Concatenate_String): Complete rewrite to generate efficient code inline instead of relying on external library routines. * s-strops.ads, s-sopco5.ads, s-sopco5.adb, s-sopco4.ads, s-sopco4.adb, s-sopco3.ads, s-sopco3.adb, s-strops.adb: Note that this unit is now obsolescent 2009-04-07 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb: (Eval_Attribute): for attributes of array objects that are not strings, attributes are not static if nominal subtype of object is unconstrained. 2009-04-07 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (New_Overloaded_Entity): If two implicit homonym operations for a type T in an instance do not override each other, when T is derived from a formal private type, the corresponding operations inherited by a type derived from T outside of the instance do not override each other either. From-SVN: r145679
2009-04-07[multiple changes]Arnaud Charlet49-534/+479
2009-04-07 Robert Dewar <dewar@adacore.com> (Osint.Fail): Change calling sequence to have one string arg (Make.Make_Failed): Same change All callers are adjusted to use concatenation 2009-04-07 Robert Dewar <dewar@adacore.com> * exp_ch4.adb: Fix documentation typo 2009-04-07 Robert Dewar <dewar@adacore.com> * tbuild.ads: Minor reformatting 2009-04-07 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Make_DT): Avoid the generation of the OSD_Table when compiling under ZFP runtime. 2009-04-07 Robert Dewar <dewar@adacore.com> * g-comlin.adb: Minor reformatting 2009-04-07 Thomas Quinot <quinot@adacore.com> * socket.c, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb, g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi.adb, g-socthi.ads, g-socket.adb, g-socket.ads, g-sothco.ads: Remove dynamic allocation of Fd_Set in Socket_Set_Type objects. From-SVN: r145678
2009-04-07gnat_ugn.texi: Document -gnatDnn/-gnatGnnRobert Dewar9-19/+72
2009-04-07 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Document -gnatDnn/-gnatGnn * opt.ads (Sprint_Line_Limit): New parameter * sprint.adb: Usa Sprint_Line_Limit instead of Line_Limit throughout * switch-c.adb: Recognize -gnatDnnn and -gnatGnnn switches * usage.adb: Output information for -gnatGnn -gnatDnn * make.adb: Minor reformatting * mlib-tgt-specific-vms-alpha.adb: Minor reformatting * mlib-tgt-specific-vms-ia64.adb: Minor reformatting From-SVN: r145677
generated by cgit v1.1 at 2024-08-22 03:47:52 +0000