summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch8.adb
Commit message (Collapse)AuthorAgeFilesLines
* 2010-10-11 Robert Dewar <dewar@adacore.com>charlet2010-10-111-1/+6
| | | | | | | | | | | | | | | | | | | | | * sem_attr.adb: Minor reformatting. 2010-10-11 Javier Miranda <miranda@adacore.com> * sem_ch8.adb (Attribute_Renaming): Add missing check to avoid loading package System.Aux_Dec in VM platforms. 2010-10-11 Arnaud Charlet <charlet@adacore.com> * sem_prag.adb (Process_Suppress_Unsuppress): Ignore Suppress/Unsuppress pragmas in codepeer mode. (Analyze_Pragma [Pragma_Suppress_All]): Do not generate error message in codepeer mode. * einfo.ads: Fix typo. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165290 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-11 Bob Duff <duff@adacore.com>charlet2010-10-111-8/+8
| | | | | | | | | | | | | | | | | | * par-ch9.adb, sem_aggr.adb, exp_ch5.adb, sem_ch3.adb, impunit.adb, impunit.ads, sem_ch5.adb, sem_type.adb, exp_imgv.adb, exp_util.adb, switch-c.adb, exp_attr.adb, exp_ch9.adb, par-ch11.adb, usage.adb, sem_ch9.adb, sem_ch10.adb, scng.adb, checks.adb, sem_prag.adb, sem_ch12.adb, par-ch2.adb, freeze.adb, par-ch4.adb, sem_util.adb, sem_res.adb, sem_attr.adb, par-ch6.adb, exp_ch4.adb, exp_ch6.adb, sem_ch4.adb, exp_ch8.adb, par-ch10.adb, sem_ch6.adb, par-prag.adb, exp_disp.adb, par-ch12.adb, sem_ch8.adb, snames.adb-tmpl, opt.ads, exp_aggr.adb, sem_cat.adb, sem_ch13.adb, par-ch3.adb, exp_strm.adb, exp_cg.adb, lib-xref.adb, sem_disp.adb, exp_ch3.adb: Use Ada_2005 instead of Ada_05 (Ada_Version_Type). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165283 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-08 Thomas Quinot <quinot@adacore.com>charlet2010-10-081-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165160 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-04 Robert Dewar <dewar@adacore.com>charlet2010-10-041-2/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164940 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-04 Vincent Celier <celier@adacore.com>charlet2010-10-041-0/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164933 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-09-09 Vincent Celier <celier@adacore.com>charlet2010-09-091-4/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-proc.adb: Minor comment spelling error fix. * osint.ads (Env_Vars_Case_Sensitive): Use function Get_Env_Vars_Case_Sensitive, not Get_File_Names_Case_Sensitive to compute value. 2010-09-09 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Equality_Op): Implement Ada2012 rule for resolution of conditional expressions whose dependent expressions are anonymous access types. 2010-09-09 Robert Dewar <dewar@adacore.com> * a-ststio.adb: Minor code reorganization. * s-direio.adb, prj.adb, prj-nmsc.adb, sem_type.adb: Remove redundant conversion. * types.ads: Minor reformatting. * binde.adb, vms_conv.adb, gnatls.adb, s-strxdr.adb, uintp.adb: Remove redundant conversions. * output.adb: Minor reformatting. * sem_ch8.adb (Find_Type): Test for redundant base applies to user types. * opt.ads: Add pragma Ordered for Verbosity_Level. * prj.ads: Add pragma Ordered for type Verbosity. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164072 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-09-09 Robert Dewar <dewar@adacore.com>charlet2010-09-091-4/+13
| | | | | | | | | | | | | | | | | | | | | | | * nlists.ads, nlists.adb (In_Same_List): New function. Use Node_Or_Entity_Id where appropriate. * par-labl.adb, sem_ch6.adb, sem_type.adb: Use In_Same_List. 2010-09-09 Robert Dewar <dewar@adacore.com> * restrict.ads, restrict.adb (Check_Wide_Character_Restriction): New procedure. * sem_ch3.adb: Use Check_Wide_Character_Restriction (Enumeration_Type_Declaration): Check violation of No_Wide_Characters * sem_ch8.adb (Find_Direct_Name): Check violation of No_Wide_Characters (Find_Expanded_Name): Check violation of No_Wide_Characters 2010-09-09 Robert Dewar <dewar@adacore.com> * par-ch5.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164056 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-08-10 Robert Dewar <dewar@adacore.com>charlet2010-08-101-10/+5
| | | | | | | | | * sem_ch8.adb, sem_ch8.ads: Change name Write_Scopes to ws. * sem_util.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@163067 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-08-10 Javier Miranda <miranda@adacore.com>charlet2010-08-101-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_aggr.adb (Resolve_Extension_Aggregate): Warn on the use of C++ constructors that leave the object partially initialized. * exp_atag.ads, exp_atags.adb (Build_Inherit_CPP_Prims): New subprogram that copies from parent of Typ the dispatch table slots of inherited C++ primitives. It handles primary and secondary dispatch tables. * einfo.adb (Related_Type): Moved from Node26 to Node27. Required to use this attribute with E_Variable entities. (Set_Is_Tag): Relax assertion to allow its use with variables that store tags. (Set_Related_Type): Relax assertion to allow its use with variables that store the tag of a C++ class. (Write_26_Field_Name): Remove Related_Type. (Write_27_Field_Name): Add Related_Type. * einfo.ads (Related_Type): Moved from Node26 to Node27. Available also with E_Variable entities. * sem_prag.adb (CPP_Constructor): Warn on duplicated occurrence of this pragma. * sem_util.adb (Search_Tag): Add missing support for CPP types. (Enclosing_CPP_Parent): New subprogram. (Has_Suffix): New subprogram. * sem_util.ads (Enclosing_CPP_Parent): New subprogram that returns the closest ancestor of a type that is a C++ type. (Has_Suffix): New subprogram. Used in assertions to check the suffix of internal entities. * sem_attr.adb (Analyze_Access_Attribute): Check wrong use of current instance in derivations of C++ types. * exp_tss.adb (CPP_Init_Proc): New subprogram. (Is_CPP_Init_Proc): New subprogram. (Set_TSS): Handle new C++ init routines. * exp_tss.ads (TSS_CPP_Init): New TSS name. For initialization of C++ dispatch tables. (CPP_Init_Proc): New subprogram. (Is_CPP_Init_Proc): New subprogram. * exp_disp.adb (CPP_Num_Prims): New subprogram. (Has_CPP_Constructors): New subprogram. (Make_Secondary_DT, Make_DT): For derivations of CPP types, do not initialize slots located in the C++ part of the dispatch table. (Make_Tags): For CPP types declare variables used by the IP routine to store the C++ tag values after the first invocation of the C++ constructor. (Build_CPP_Init_DT): New subprogram. (Set_CPP_Constructors): New implementation that builds an IP for each CPP constructor. These IP are wrappers of the C++ constructors that, after the first invocation of the constructor, read the C++ tags from the object and save them locally. These copies of the C++ tags are used by the IC routines to initialize tables of Ada derivations of CPP types. (Write_DT): Indicate what primitives are imported from C++ * exp_disp.ads (CPP_Num_Prims): New subprogram. (Has_CPP_Constructors): New subprogram. * exp_aggr.adb (Build_Record_Aggr_Code): For derivations of C++ types invoke the IC routine to inherit the slots of the parents. * sem_ch13.adb (Analyze_Freeze_Entity): Add new warnings on CPP types. * exp_ch3.adb (Is_Variable_Size_Array): New subprogram. (Is_Variable_Size_Record): Factorize code calling Is_Variable_Size_Array. (Build_CPP_Init_Procedure): New subprogram that builds the tree corresponding to the procedure that initializes the C++ part of the dispatch table of an Ada tagged type that is a derivation of a CPP type. (Build_Init_Procedure): Adding documentation plus code reorganization to leave more clear the construction of the IP with C++ types. (Expand_Freeze_Record_Type): Delay call to Set_CPP_Constructors because it cannot be called after Make_Tags has been invoked. (Inherit_CPP_Tag): Removed. (Init_Secondary_Tags): For derivations of CPP types, warn on tags located at variable offset. * freeze.ads: Minor reformating. * sem_ch8.adb (Write_Scopes): Add pragma export. Required to have it available in gdb. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@163065 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-08-10 Robert Dewar <dewar@adacore.com>charlet2010-08-101-0/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * a-chahan.ads: Add comments on handling of obsolescent entries. * opt.ads: Add Ada_2005 and Ada_2012 renamings for versions. * restrict.adb (Check_Obsolescent_2005_Entity): New procedure. * restrict.ads (Check_Obsolescent_2005_Entity): New procedure. * sem_attr.adb (Analyze_Access_Attribute): Call Check_Obsolescent_2005_Entity to check for access to obsolescent Ada.Characters.Handling subprogram. (Analyze_Attribute, case Class): Applying Class to untagged incomplete type is obsolescent in Ada 2005. (Analyze_Attribute, case Constrained): Better placement of flag when flagged as obsolescent feature. (Analyze_Attribute, case Storage_Size): Use with tasks is obsolescent * sem_ch10.adb (Analyze_With_Clause): With of renamings such as Text_IO is an obsolescent feature. * sem_ch11.adb (Analyze_Raise_Statement): Numeric_Error is obsolescent feature. * sem_ch8.adb (Analyze_Subprogram_Renaming): Call Check_Obsolescent_2005_Entity to check for renaming obsolete Ada.Characters.Handling subprogram. * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings): Check for obsolescent restrictions in Ada 2005. (Analyze_Pragma, case Suppress): Entity arg is obsolescent in Ada 2005 (Analyze_Pragma, case Interface): Interface is obsolescent in Ada 2005 * sem_res.adb (Resolve_Call): Call Check_Obsolescent_2005_Entity to check for obsolescent references to Ada.Characters.Handling subprograms 2010-08-10 Robert Dewar <dewar@adacore.com> * einfo.adb, einfo.ads: Fix bad -gnatdt output for incomplete type. 2010-08-10 Robert Dewar <dewar@adacore.com> * errout.ads: Add VMS table entries for 2005, 12, 2012 switches * par-ch4.adb: Change wording of Ada 2012 messages * vms_data.ads: Add VMS entries for /2005, /12, /2012 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@163063 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-08-05 Robert Dewar <dewar@adacore.com>charlet2010-08-051-3/+4
| | | | | | | | | | | | | | | | | | | * a-suezse.adb, a-suezse.ads, a-suezen.adb, a-suezen.ads: Removed. * a-suewse.adb, a-suewse.ads, a-suesen.adb, a-suesen.ads, a-suewen.adb, a-suewen.ads: New files. * Makefile.rtl, impunit.adb: Update implementation of Ada 2012 string encoding packages. * sem_elab.adb: Minor reformatting. 2010-08-05 Arnaud Charlet <charlet@adacore.com> * sem_ch8.adb (Use_One_Type): Protect against empty scopes. * exp_util.adb (Component_May_Be_Bit_Aligned): Prevent assert failure in case of null Comp. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@162904 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-22 Robert Dewar <dewar@adacore.com>charlet2010-06-221-7/+6
| | | | | | | | * sem_ch3.adb, sem_ch8.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161198 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-22 Thomas Quinot <quinot@adacore.com>charlet2010-06-221-53/+58
| | | | | | | | | | | | | | | | | | | * sem_elab.adb: Minor reformatting. 2010-06-22 Vincent Celier <celier@adacore.com> * gnatsym.adb: Put the object files in the table in increasing aphabetical order of base names. 2010-06-22 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Set_Entity_Or_Discriminal): New procedure used by Find_Direct_Name and Find_Expanded_Name, to replace a discriminant with the corresponding discriminal within a record declaration. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161196 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-22 Robert Dewar <dewar@adacore.com>charlet2010-06-221-7/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_aggr.adb (Resolve_Record_Aggregate): Do style check on component name. * sem_ch10.adb (Analyze_Subunit): Do style check on parent unit name. * sem_ch8.adb (Find_Direct_Name): For non-overloadable entities, do style check. * sem_res.adb (Resolve_Entity_Name): Do style check for enumeration literals. 2010-06-22 Vincent Celier <celier@adacore.com> * make.adb (Scan_Make_Arg): No longer pass -nostdlib to the compiler as it has no effect. Always pass -nostdlib to gnatlink, even on VMS. 2010-06-22 Pascal Obry <obry@adacore.com> * g-socthi-mingw.adb: Fix implementation of the vectored sockets on Windows. (C_Recvmsg): Make sure the routine is atomic. Also fully fill vectors in the proper order. (C_Sendmsg): Make sure the routine is atomic. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161144 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-22 Robert Dewar <dewar@adacore.com>charlet2010-06-221-5/+12
| | | | | | | | | * sem_ch8.adb: Update comment. * sem_res.adb: Minor code reorganization (use Ekind_In). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161143 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-22 Ed Schonberg <schonberg@adacore.com>charlet2010-06-221-4/+35
| | | | | | | | | | | | | | | * sem_ch8.adb (Add_Implicit_Operator): If the context of the expanded name is a call, use the number of actuals to determine whether this is a binary or unary operator, rather than relying on later information to resolve the overload. 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_ch10.adb, sem_aggr.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161142 138bc75d-0d04-0410-961f-82ee72b054a4
* * par-ch9.adb, sem_aggr.adb, sem_ch3.adb, layout.adb, sem_ch4.adb,charlet2010-06-181-26/+29
| | | | | | | | | | | | | | | | sem_ch5.adb, sem_mech.adb, exp_util.adb, par-ch10.adb, sem_ch6.adb, par-ch11.adb, sem_ch7.adb, par-prag.adb, exp_disp.adb, par-ch12.adb, sem_ch8.adb, style.adb, sem_ch9.adb, sem_ch10.adb, prep.adb, sem_warn.adb, par-util.adb, scng.adb, sem_eval.adb, checks.adb, sem_prag.adb, sem_ch12.adb, styleg.adb, sem_ch13.adb, par-ch3.adb, par-tchk.adb, freeze.adb, sfn_scan.adb, par-ch4.adb, sem_util.adb, sem_res.adb, par-ch5.adb, lib-xref.adb, sem_attr.adb, par-ch6.adb, sem_disp.adb, prepcomp.adb, par-ch7.adb, sem_elab.adb, exp_ch4.adb, errout.ads: Update comments. Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160979 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-17 Robert Dewar <dewar@adacore.com>charlet2010-06-171-9/+5
| | | | | | | | | | | | | * exp_fixd.adb, exp_imgv.adb, exp_intr.adb, exp_pakd.adb, exp_prag.adb, exp_sel.adb, exp_util.adb, sem_ch10.adb, sem_ch12.adb, sem_ch13.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch8.adb, sem_ch9.adb, sem_dist.adb, sem_util.adb: Use Make_Temporary * itypes.ads, tbuild.ads: Minor comment update * exp_ch9.adb, exp_dist.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160897 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-17 Robert Dewar <dewar@adacore.com>charlet2010-06-171-0/+10
| | | | | | | | | | | | | | | | | | | | | | | | | * back_end.adb, sem_res.adb, switch-c.adb, sem_scil.adb: Minor reformatting. * sem_attr.adb, sem_cat.adb, sem_disp.adb, sem_elab.adb, sem_elim.adb, sem_eval.adb: Use Ekind_In 2010-06-17 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb: better error message for illegal inherited discriminant 2010-06-17 Vincent Celier <celier@adacore.com> * bindusg.adb: Remove lines for -A and -C * gnat_ugn.texi: Remove all documentation and examples of switches -A and -C for gnatbind and gnatlink. * gnatlink.adb (Usage): Remove lines for -A and -C * switch-b.adb (Scan_Binder_Switches): Issue warning when switch -C is specified. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160891 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-17 Robert Dewar <dewar@adacore.com>charlet2010-06-171-12/+9
| | | | | | | | | | | | | | | | | | | | | | | | * einfo.adb: Minor code fix, allow E_Class_Wide_Type for Equivalent_Type to match documentation. 2010-06-17 Robert Dewar <dewar@adacore.com> * sem_ch6.adb, sem_ch7.adb: Minor reformatting. * sem_ch3.adb, sem_ch5.adb, sem_ch9.adb, sem_ch10.adb, sem_ch12.adb, sem_ch4.adb, sem_ch8.adb, sem_ch13.adb: Make use of Ekind_In. 2010-06-17 Thomas Quinot <quinot@adacore.com> * sem_res.adb (Set_Slice_Subtype): Always freeze the slice's itype. 2010-06-17 Thomas Quinot <quinot@adacore.com> * freeze.adb (Freeze_Expression): Short circuit operators are valid freeze node insertion points. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160889 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-14 Ed Schonberg <schonberg@adacore.com>charlet2010-06-141-9/+20
| | | | | | | | | * sem_ch8.adb (Find_Type): The attribute 'class cannot be applied to an untagged incomplete type that is a limited view. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160741 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-14 Ed Schonberg <schonberg@adacore.com>charlet2010-06-141-11/+47
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch8.adb (End_Use_Type): Before indicating that an operator is not use-visible, check whether it is a primitive for more than one type. 2010-06-14 Robert Dewar <dewar@adacore.com> * sem_ch3.adb (Copy_And_Swap): Copy Has_Pragma_Unmodified flag. * sem_ch7.adb (Preserve_Full_Attributes): Preserve Has_Pragma_Unmodified flag. 2010-06-14 Thomas Quinot <quinot@adacore.com> * g-sttsne-locking.adb, g-sttsne-locking.ads, g-sttsne.ads, g-sttsne-vxworks.adb, g-sttsne-dummy.ads: Removed. Mutual exclusion is now done in GNAT.Sockets if necessary. * gsocket.h, g-socket.adb, g-sothco.ads (GNAT.Sockets.Get_XXX_By_YYY): Ensure mutual exclusion for netdb operations if the target platform requires it. (GNAT.Sockets.Thin_Common): New binding for getXXXbyYYY, treating struct hostent as an opaque type to improve portability. * s-oscons-tmplt.c, socket.c: For the case of Vxworks, emulate gethostbyYYY using proprietary VxWorks API so that a uniform interface is available for the Ada side. * gcc-interface/Makefile.in: Remove g-sttsne-* * gcc-interface/Make-lang.in: Update dependencies. 2010-06-14 Vincent Celier <celier@adacore.com> * gnatcmd.adb (Mapping_File): New function. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160731 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-14 Javier Miranda <miranda@adacore.com>charlet2010-06-141-1/+7
| | | | | | | | | | | | | | | | | | | | | | * sem_ch3.adb (Derive_Subprograms): Remove over-restrictive assertion. 2010-06-14 Arnaud Charlet <charlet@adacore.com> * ali.adb: Fix typo. * s-auxdec-vms-alpha.adb, scng.ads: Minor reformatting 2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Make Mark_Context transitive, and apply to subprogram instances. * sem_ch8.adb (Find_Expanded_Name): If a candidate compilation unit in the context does not have a homonym of the selector, emit default error message. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160728 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-14 Robert Dewar <dewar@adacore.com>charlet2010-06-141-7/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * a-convec.adb, sem_prag.adb, checks.adb: Minor reformatting 2010-06-14 Eric Botcazou <ebotcazou@adacore.com> * init.c: Code clean up. 2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Address): Do not insert address clause in table for later validation if type of entity is generic, to prevent possible spurious errors. * sem_ch8.adb: Code clean up. 2010-06-14 Ben Brosgol <brosgol@adacore.com> * gnat_ugn.texi: Expanded @ovar macro inline to solve problem with texi2pdf and texi2html. Document how to change scheduling properties on HP-UX. 2010-06-14 Thomas Quinot <quinot@adacore.com> * g-socket.ads: Remove misleading comments. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160711 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-01-26 Thomas Quinot <quinot@adacore.com>charlet2010-01-261-4/+16
| | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi: Adjust documentation of -gnatz switches. * usage.adb: Replace line for -gnatz with two lines for -gnatzc and -gnatzr. 2010-01-26 Vincent Celier <celier@adacore.com> * prj-attr.adb: Add new attribute Library_Install_Name_Option Replace attribute Run_Path_Origin_Supported with Run_Path_Origin * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process attributes Run_Path_Option and Library_Install_Name_Option. * prj.ads (Project_Configuration): Replace component Run_Path_Origin_Supported with component Run_Path_Origin. Add new component Library_Install_Name_Option. * snames.ads-tmpl: Add new standard name Library_Install_Name_Option Replace Run_Path_Origin_Supported with Run_Path_Origin 2010-01-26 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Use_One_Package): Within an instance, an actual package is not hidden by a homograph declared in another actual package. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@156248 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-20 Javier Miranda <miranda@adacore.com>charlet2009-07-201-6/+5
| | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149817 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-06-23 Ed Schonberg <schonberg@adacore.com>charlet2009-06-231-1/+1
| | | | | | | | | | | | | | | | * sem_ch10.adb (Remove_Limited_With_Clause): Clean up code that handles incomplete type declarations. Previous code was potentially quadratic in the number of visible declarations in any package appearing in a limited_with_clause. 2009-06-23 Robert Dewar <dewar@adacore.com> * prj-conf.ads, prj-part.adb, prj-proc.adb, prj-proc.ads, sem_ch8.adb, xref_lib.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148843 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-06-23 Javier Miranda <miranda@adacore.com>charlet2009-06-231-1/+37
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch4.adb (Displace_Allocator_Pointer, Expand_N_Allocator): Handle designated types referencing entities from the limited view. 2009-06-23 Matthew Gingell <gingell@adacore.com> * a-stzhas.ads, a-szfzha.ads: Fix typo. * Makefile.rtl: Ada.Strings.Wide_Wide_Fixed.Wide_Wide_Hash depends on Ada.Strings.Wide_Wide_Hash. So we need to include a-stzhas in the list of RTS files. 2009-06-23 Thomas Quinot <quinot@adacore.com> * ali.adb: Minor reformatting 2009-06-23 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb: Improve error message. 2009-06-23 Emmanuel Briot <briot@adacore.com> * prj-nmsc.adb: Minor reformating * prj-conf.adb, prj-conf.ads: Remove use of Osint.Fail everywhere (Do_Autoconf): accepts an empty Normalized_Hostname (Process_Project_And_Apply_Config): New subprogram (Parse_Project_And_Apply_Config): On_Load_Config now applies to the project tree rather than the project view. * prj-part.adb, prj.ads (Project_Qualifier): New possible value Configuration. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148838 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-06-19 Robert Dewar <dewar@adacore.com>charlet2009-06-191-0/+16
| | | | | | | | | | | | | | | | | | | | | * g-cgi.adb: Minor reformatting 2009-06-19 Eric Botcazou <ebotcazou@adacore.com> * s-intman-solaris.adb (Notify_Exception): Do not discriminate on the signal code for SIGFPE and raise Program_Error for SIGILL. * s-osinte-solaris.ads: Remove signal code constants for SIGFPE. 2009-06-19 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Nvis_Messages): Do not list an entity declared in a generic package if there is a visibility candidate that is declared in a regular package. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148691 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-05-06 Robert Dewar <dewar@adacore.com>charlet2009-05-061-3/+5
| | | | | | | | | | | | | * errout.adb: Minor reformatting * scng.adb, sem_prag.adb, par-ch4.adb, sem_res.adb, par-ch6.adb, sem_ch6.adb, par-prag.adb, sem_ch8.adb, sem_warn.adb, par-util.adb, styleg.adb: Add stylized comments to error messages that are included in the codefix circuitry of IDE's such as GPS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147173 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-05-06 Sergey Rybin <rybin@adacore.com>charlet2009-05-061-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi: For Misnamed_Identifiers rule all description of the new form of the rule parameter that allows to specify the suffix for access-to-access type names. 2009-05-06 Robert Dewar <dewar@adacore.com> * sem_warn.adb (Warn_On_Useless_Assignment): Avoid false negative for out parameter assigned when exception handlers are present. * sem_ch5.adb (Analyze_Exit_Statement): Kill current value last assignments on exit. * par-ch9.adb, sem_aggr.adb, par-endh.adb, sem_res.adb, par-ch6.adb, sinput-l.adb, par-load.adb, errout.ads, sem_ch4.adb, lib-load.adb, prj-dect.adb, par-ch12.adb, sem_ch8.adb, par-util.adb, par-ch3.adb, par-tchk.adb, par-ch5.adb: This patch adds stylized comments to error messages that are included in the codefix circuitry of IDE's such as GPS. * sinput.ads, sinput.adb (Expr_First_Char): New function (Expr_Last_Char): New function git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147172 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-05-06 Robert Dewar <dewar@adacore.com>charlet2009-05-061-3/+5
| | | | | | | | | | | | | | | | * s-fileio.adb: Minor comment update * sem_ch8.adb: Minor reformatting * exp_ch3.adb: Update comments. 2009-05-06 Tristan Gingold <gingold@adacore.com> * init.c, s-osinte-darwin.ads: Reduce alternate stack size git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147167 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-05-06 Gary Dismukes <dismukes@adacore.com>charlet2009-05-061-2/+13
| | | | | | | | | | | | | | | | | | | | | | | | | * sem_aggr.adb: Fix typo. 2009-05-06 Thomas Quinot <quinot@adacore.com> * exp_ch3.adb (Expand_N_Object_Declaration): For a controlled object declaration, do not adjust if the declaration is to be rewritten into a renaming. 2009-05-06 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Find_Type): Reject the use of a task type in its own discriminant part. 2009-05-06 Bob Duff <duff@adacore.com> * s-fileio.adb (File_IO_Clean_Up_Type): Make this type limited, since otherwise the compiler would be allowed to optimize away the cleanup code. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147163 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-05-06 Robert Dewar <dewar@adacore.com>charlet2009-05-061-31/+29
| | | | | | | | | | | | | | | | | | | | | | * freeze.adb (Freeze_Record_Type): Improve error msg for bad size clause. 2009-05-06 Thomas Quinot <quinot@adacore.com> * g-socthi-vms.adb (C_Recvmsg, C_Sendmsg): Convert Msg to appropriate packed type, since on OpenVMS, struct msghdr is packed. 2009-05-06 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Analyze_Object_Renaming): If the object is a function call returning an unconstrained composite value, create the proper subtype for it, as is done for object dclarations with unconstrained nominal subtypes. Perform this transformation regarless of whether call comes from source. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147159 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-05-06 Ed Schonberg <schonberg@adacore.com>charlet2009-05-061-0/+27
| | | | | | | | | | | | | | | | | | * sem_ch8.adb (Analyze_Object_Renaming): If the object is a function call returning an unconstrained composite value, create the proper subtype for it, as is done for object dclarations with unconstrained nominal subtypes 2009-05-06 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Check_Constant_Address_Clause): Minor error message improvements * freeze.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147156 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-29 Ed Schonberg <schonberg@adacore.com>charlet2009-04-291-4/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch8.adb (Analyze_Subprogram_Renaming): Improve error message on box-defaulted operator in an instantiation, when the type of the operands is not directly visible. 2009-04-29 Gary Dismukes <dismukes@adacore.com> * sem_aggr.adb (Valid_Limited_Ancestor): Undo previous change. (Resolve_Extension_Aggregate): Call Check_Parameterless_Call after the analysis of the ancestor part. Remove prohibition against limited interpretations of the ancestor expression in the case of Ada 2005. Revise error message in overloaded case, adding a message to cover the Ada 2005 case. 2009-04-29 Thomas Quinot <quinot@adacore.com> * xoscons.adb: Minor reformatting 2009-04-29 Bob Duff <duff@adacore.com> * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not ignore attribute_definition_clauses for the following attributes when the -gnatI switch is used: External_Tag, Input, Output, Read, Storage_Pool, Storage_Size, Write. Otherwise, we get spurious errors (for example, missing Read attribute on remote types). * gnat_ugn.texi: Document the change, and add a stern warning. 2009-04-29 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Check_Local_Access): Indicate that value tracing is disabled not just for the current scope, but for the innermost dynamic scope as well. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146979 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-20 Ed Schonberg <schonberg@adacore.com>charlet2009-04-201-2/+34
| | | | | | | | | | | | | | | | | * sem_ch8.adb (Use_One_Package): In an instance, if two potentially_use_visible and non-overloadable homonyms are available from the actuals of distinct formal packages, retain the current one, which was visible in the generic, to prevent spurious visibility errors. (End_Use_Package): Restore use_visibility when needed. 2009-04-20 Sergey Rybin <rybin@adacore.com> * gnat_ugn.texi, vms_data.ads: Update doc. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146424 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-20 Robert Dewar <dewar@adacore.com>charlet2009-04-201-4/+4
| | | | | | | | | | | | | * checks.ads: Fix documentation of range check handling 2009-04-20 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Use_One_Type): Use proper entity on warning message for a redundant use_type clause. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146422 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-20 Pascal Obry <obry@adacore.com>charlet2009-04-201-5/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | * a-direct.adb (To_Lower_If_Case_Insensitive): Removed. Remove all calls to To_Lower_If_Case_Insensitive to preserve the pathname original casing. 2009-04-20 Robert Dewar <dewar@adacore.com> * g-trasym.adb: Minor reformatting * s-os_lib.adb: Minor reformatting * sem.adb: Minor reformatting Minor code reorganization * sem_ch3.adb: Minor reformatting * sem_ch4.adb: Minor reformatting * sem_ch8.adb: Minor reformatting * sem_type.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146412 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-20 Ed Schonberg <schonberg@adacore.com>charlet2009-04-201-7/+43
| | | | | | | | | * sem_ch8.adb (Analyze_Object_Renaming): Proper checks on incorrect null exclusion qualifiers for object renaming declarations. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146409 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-20 Ed Schonberg <schonberg@adacore.com>charlet2009-04-201-8/+33
| | | | | | | | | | | | | | * sem_ch8,adb (Analyze_Object_Renaming): Reject ambiguous expressions in an object renaming declaration when the expected type is an anonymous access type. * sem_type.adb (Disambiguate): Use anonymousness to resolve a potential ambiguity when one interpretation is an anonymous access type and the other is a named access type, and the context itself is anonymous git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146404 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-17 Thomas Quinot <quinot@adacore.com>charlet2009-04-171-1/+20
| | | | | | | | | | | | | | * exp_aggr.adb: Minor code reorganization, no behaviour change. 2009-04-17 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Use_One_Type): Handle properly a redundant use type clause in a unit that is a package body or a subunit, when the previous clause appears in a spec or a parent. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146250 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-15 Hristian Kirtchev <kirtchev@adacore.com>charlet2009-04-151-0/+8
| | | | | | | | | | | | | | | | | | | * exp_ch7.adb (Expand_Ctrl_Function_Call): Check for the case where the immediate parent of the controlled function call is a component association. 2009-04-15 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Use_One_Type): If the type is tagged, indicate that the corresponding class-wide type is also in use. 2009-04-15 Thomas Quinot <quinot@adacore.com> * frontend.adb: Minor comment fix git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146110 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-15 Ed Schonberg <schonberg@adacore.com>charlet2009-04-151-34/+45
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch8.adb (Use_One_Type): If both clauses appear on the same unit, the second is redundant, regardless of scopes. 2009-04-15 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Get_Directories): Check for sources before checking the object directory as when there are no sources, they may not be any object directory. * make.adb (Gnatmake): Do not attempt to get the path name of the exec directory, when there are no exec directory. 2009-04-15 Ed Schonberg <schonberg@adacore.com> * sem_type.adb (Remove_Conversions): In order to resolve spurious ambiguities, refine removal of universal interpretations from complex expressions with literal arguments, when some numeric operators have been declared abstract. 2009-04-15 Ed Falis <falis@adacore.com> * init.c: Map SIGSEGV to Storage_Error for all targets for uniformity and backward compatibility for targets using probing for stack overflow 2009-04-15 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Analyze_Pragma, case 'Obsolescent): Pragma is legal after any declaration, including renaming declarations. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146091 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-15 Javier Miranda <miranda@adacore.com>charlet2009-04-151-2/+11
| | | | | | | | | | | | | | | | | | | | | * exp_ch4.adb (Expand_N_Allocator): Code cleanup. * sem_ch6.adb (Check_Anonymous_Return): Add missing support for functions returning anonymous access to class-wide limited types. Mark also the containing scope as a task master. * sem_ch8.adb (Restore_Scope_Stack): Add missing management for limited-withed packages. Required to restore their visibility after processing packages associated with implicit with-clauses. * exp_ch3.adb (Build_Class_Wide_Master): Avoid marking masters associated with return statements because this work is now done by Check_Anonymous_Return. (Build_Master): Code cleanup. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146089 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-10 Robert Dewar <dewar@adacore.com>charlet2009-04-101-0/+9
| | | | | | | | | | | | | | | | | | | | | | | | | * sem_warn.ads, sem_warn.adb (Check_Low_Bound_Tested): Catch more cases for warning suppression. 2009-04-10 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Use_One_Type): If the two use_type clauses are identical, there is no redudancy to check. 2009-04-10 Gary Dismukes <dismukes@adacore.com> * exp_ch5.adb (Expand_N_Extended_Return_Statement): Delete redundant calls initializing SS_Allocator (which is initialized in following code). (Expand_Simple_Function_Return): Add comment about False value for Comes_From_Source on secondary-stack allocator. * exp_ch9.adb (Build_Entry_Family_Name): Add comment. (Build_Entry_Name): Add comment. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145926 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-10 Robert Dewar <dewar@adacore.com>charlet2009-04-101-2/+2
| | | | | | | | | | | | * sem_ch6.adb: Minor code clean up. * einfo.ads, sem_attr.adb: Minor comment fixes. * sem_ch8.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145905 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-10 Bob Duff <duff@adacore.com>charlet2009-04-101-4/+4
| | | | | | | | * sem.ads, par.adb, sem_ch6.adb, sem_ch8.adb: Minor comment fixes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145890 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-09 Robert Dewar <dewar@adacore.com>charlet2009-04-091-2/+1
| | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145823 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-09 Robert Dewar <dewar@adacore.com>charlet2009-04-091-0/+1
| | | | | | | | | | | | | | | | | | * 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 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145820 138bc75d-0d04-0410-961f-82ee72b054a4