summaryrefslogtreecommitdiff
path: root/gcc/ada/prj-proc.adb
Commit message (Collapse)AuthorAgeFilesLines
* 2011-08-04 Robert Dewar <dewar@adacore.com>charlet2011-08-041-0/+2
| | | | | | | | | | | | | | | | | | | * par_sco.adb, prj-proc.adb, make.adb, bindgen.adb, prj.adb, prj.ads, makeutl.adb, makeutl.ads, prj-nmsc.adb, exp_ch5.adb, exp_ch12.adb, exp_ch7.ads, exp_util.ads, sem_util.ads, g-comlin.ads, exp_ch6.adb, exp_ch6.ads, lib-xref.ads, exp_ch7.adb, exp_util.adb, exp_dist.adb, exp_strm.adb, gnatcmd.adb, freeze.adb, g-comlin.adb, lib-xref-alfa.adb, sem_attr.adb, sem_prag.adb, sem_util.adb, sem_elab.adb, sem_ch8.adb, sem_ch11.adb, sem_eval.adb, sem_ch13.adb, sem_disp.adb, a-fihema.adb: Minor reformatting and code reorganization. 2011-08-04 Emmanuel Briot <briot@adacore.com> * projects.texi: Added doc for aggregate projects. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177320 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-04 Emmanuel Briot <briot@adacore.com>charlet2011-08-041-6/+25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-proc.adb, prj-nmsc.adb, prj-env.adb (Process_Declarative_Items): Add support for overriding the Project_Path in aggregate projects. 2011-08-04 Robert Dewar <dewar@adacore.com> * a-cofove.ads: Minor reformatting. 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch7.adb (Build_Adjust_Or_Finalize_Statements): Update the comment on the generated code. (Build_Finalize_Statements): Update the comment on the generated code. (Build_Initialize_Statements): Update the comment on the generated code. (Build_Object_Declarations): Add local variable Result. The object declarations are now built in sequence. * rtsfind.ads: Add RE_Exception_Occurrence_Access to tables RE_Id and RE_Unit_Table. 2011-08-04 Robert Dewar <dewar@adacore.com> * checks.adb, alfa.adb, alfa.ads: Minor reformatting. 2011-08-04 Eric Botcazou <ebotcazou@adacore.com> * einfo.ads (Elaboration_Entity): Document new definition and use. (Elaboration_Entity_Required): Adjust to above change. * exp_attr.adb (Expand_N_Attribute_Reference): Likewise. * exp_ch12.adb: And with and use for Snames. (Expand_N_Generic_Instantiation): Test 'Elaborated attribute. * exp_util.adb (Set_Elaboration_Flag): Likewise. * sem_attr.adb (Analyze_Attribute) <Check_Library_Unit>: Delete. <Check_Unit_Name>: Deal with N_Expanded_Name. <Attribute_Elaborated>: Extend to all unit names. * sem_elab.adb: And with and use for Uintp. (Check_Internal_Call_Continue): Adjust to Elaboration_Entity change. * sem_util.ads (Build_Elaboration_Entity): Adjust comment. * sem_util.adb (Build_Elaboration_Entity): Change type to Integer. * bindgen.adb (Gen_Elab_Externals_Ada): New local subprogram taken from Gen_Adainit_Ada. (Gen_Elab_Externals_C): Likewise, but taken from Gen_Adainit_C. (Gen_Adafinal_Ada): Remove redundant test. In the non-main program case, do not call System.Standard_Library.Adafinal; instead call finalize_library if needed. (Gen_Adafinal_C): Likewise. (Gen_Adainit_Ada): Do not set SSL.Finalize_Library_Objects in the non-main program case. (Gen_Adainit_C): Generate a couple of external declarations here. In the main program case, set SSL.Finalize_Library_Objects. (Gen_Elab_Calls_Ada): Adjust to Elaboration_Entity change. (Gen_Elab_Calls_C): Likewise. (Gen_Finalize_Library_Ada): Likewise. Skip SAL interface units. (Gen_Finalize_Library_C): Likewise. Generate a full function. (Gen_Main_C): Put back call to Ada_Final and don't finalize library objects here. (Gen_Output_File_Ada): Generate pragma Linker_Destructor for Ada_Final if -a is specified. Call Gen_Elab_Externals_Ada. Move around call to Gen_Adafinal_Ada. (Gen_Output_File_C): Generate __attribute__((destructor)) for Ada_Final if -a is specified. Call Gen_Elab_Externals_C. Remove useless couple of external declarations.  Call Gen_Finalize_Library_C. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177318 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Robert Dewar <dewar@adacore.com>charlet2011-08-031-20/+26
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnatcmd.adb, prj-proc.adb, mlib-prj.adb, prj.adb, makeutl.ads, prj-util.adb, prj-util.ads, prj-conf.adb, prj-env.adb: Minor reformatting. 2011-08-03 Javier Miranda <miranda@adacore.com> * exp_util.adb (Is_VM_By_Copy_Actual): Include N_Slide nodes as actuals that must be passed by copy in VM targets. 2011-08-03 Emmanuel Briot <briot@adacore.com> * prj.ads, prj-nmsc.adb (Files_Htable): removed this htable, which duplicates a similar htable now in the project tree. 2011-08-03 Claire Dross <dross@adacore.com> * a-cfdlli.adb, a-cfhama.adb, a-cfhase.adb, a-cforma.adb, a-cforse.adb, a-cofove.adb ("=", Length, Is_Empty, Clear, Assign, Copy, Element, Replace_Element, Query_Element, Update_Element, Move, Insert, Prepend, Append, Delete, Delete_First, Delete_Last, Reverse_Element, Swap, Splice, First, First_Element, Last, Last_Element, Next, Previous, Find, Reverse_Find, Contains, Has_Element, Iterate, Reverse_Iterate, Capacity, Reserve_Length, Length, Strict_Equal, Left, Right): Data-structure update. 2011-08-03 Arnaud Charlet <charlet@adacore.com> * s-taprop-posix.adb, s-taprop-linux.adb, s-taprop-tru64.adb (ATCB_Key): Removed, not always used. * s-tpopsp-posix.adb, s-tpopsp-posix-foreign.adb (ATCB_Key): Moved from s-taprop-posix.adb. * s-tpopsp-tls.adb: New file. * gcc-interface/Makefile.in: Use TLS implementation of s-tpopsp.adb on x86/x64/ia64/powerpc/sparc Linux. 2011-08-03 Arnaud Charlet <charlet@adacore.com> * system-aix.ads, system-aix64.ads: Set ZCX_By_Default to True. * gcc-interface/Makefile.in: Switch to ZCX by default on AIX ports. 2011-08-03 Thomas Quinot <quinot@adacore.com> * rtsfind.ads, exp_dist.adb, exp_dist.ads (Build_From_Any_Call, Build_To_Any_Call, Build_TypeCode_Call): Fix type selection for mapping integer types to PolyORB types. 2011-08-03 Bob Duff <duff@adacore.com> * sem_ch7.adb: Minor comment clarification. 2011-08-03 Bob Duff <duff@adacore.com> * sem_ch13.adb (Analyze_Enumeration_Representation_Clause): If we get an error analyzing a choice, skip further processing. Further processing could cause a crash or cascade errors. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177262 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Emmanuel Briot <briot@adacore.com>charlet2011-08-031-290/+294
| | | | | | | | | | | | | | | | | | | | * gnatcmd.adb, prj-proc.adb, prj-proc.ads, make.adb, mlib-prj.adb, prj.adb, prj.ads, makeutl.adb, makeutl.ads, clean.adb, prj-nmsc.adb, prj-util.adb, prj-util.ads, prj-conf.adb, prj-conf.ads, prj-env.adb, prj-env.ads (Shared_Project_Tree_Data): new type An aggregate project and its aggregated trees need to share the common data structures used for lists of strings, packages,... This makes the code simpler since otherwise we have to pass the root tree (also used for the configuration file data) in addition to the current project tree. This also avoids ambiguities as to which tree should be used. And finally this saves a bit of memory. (For_Every_Project_Imported): new parameter Tree. Since aggregated projects are using a different tree, we need to let the caller know which tree to use to manipulate the returned project. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177261 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Robert Dewar <dewar@adacore.com>charlet2011-08-031-17/+21
| | | | | | | | | | | * prj-proc.adb, exp_util.ads, exp_ch9.adb, make.adb, prj-ext.adb, prj-ext.ads, alfa.ads, sem_ch4.adb, makeutl.adb, makeutl.ads, lib-xref-alfa.adb, sem_cat.adb, exp_dist.adb, get_alfa.adb, prj-env.adb, prj-env.ads, prj-tree.adb, alfa.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177260 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Yannick Moy <moy@adacore.com>charlet2011-08-031-15/+71
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * alfa.ads Update format of ALFA section in ALI file in order to add a mapping from bodies to specs when both are present (ALFA_Scope_Record): add components for spec file/scope * get_alfa.adb (Get_ALFA): read the new file/scope for spec when present * lib-xref-alfa.adb (Collect_ALFA): after all scopes have been collected, fill in the spec information when relevant * put_alfa.adb (Put_ALFA): write the new file/scope for spec when present. 2011-08-03 Eric Botcazou <ebotcazou@adacore.com> * inline.adb (Add_Inlined_Subprogram): Do not consider the enclosing code unit to decide whether to add internally generated subprograms. 2011-08-03 Javier Miranda <miranda@adacore.com> * sem_aux.ads, sem_aux.adb (Is_VM_By_Copy_Actual): New subprogram. * exp_ch9.adb (Build_Simple_Entry_Call): Handle actuals that must be handled by copy in VM targets. 2011-08-03 Emmanuel Briot <briot@adacore.com> * make.adb, makeutl.adb, makeutl.ads (Make.Switches_Of): now shares code with Makeutl.Get_Switches. * prj-tree.adb: Update comment. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177257 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Robert Dewar <dewar@adacore.com>charlet2011-08-031-151/+139
| | | | | | | | | | | | | | | | | | | | | | | | * sem_aggr.adb, sem_ch3.adb, lib.ads, gnatcmd.adb, prj-proc.adb, make.adb, lib-writ.adb, prj-part.adb, prj-part.ads, prj-ext.adb, fname-uf.adb, prj-ext.ads, prj.adb, prj.ads, sem_attr.adb, alfa.adb, prj-makr.adb, errout.adb, makeutl.adb, makeutl.ads, restrict.ads, sem_ch6.adb, g-pehage.adb, clean.adb, put_alfa.adb, lib-xref-alfa.adb, prj-nmsc.adb, prj-nmsc.ads, sem_ch8.adb, prj-pars.ads, exp_aggr.adb, prj-attr.ads, sem_ch13.adb, get_alfa.adb, prj-env.adb, prj-env.ads, alfa_test.adb, prj-tree.adb, prj-tree.ads, einfo.ads: Minor reformatting 2011-08-03 Robert Dewar <dewar@adacore.com> * repinfo.adb (List_Mechanism): Add handling of Convention_Ada_Pass_By_XXX. * sem_mech.adb (Set_Mechanism): Ditto. * sem_prag.adb (Process_Convention): Add entries for Convention_Ada_Pass_By_XXX. * snames.adb-tmpl, snames.ads-tmpl: Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177252 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Emmanuel Briot <briot@adacore.com>charlet2011-08-031-96/+62
| | | | | | | | | | | | | | | | * prj-proc.adb, prj-attr.adb, prj-attr.ads (Get_Attribute_Index): do not systematically lower case attribute indexes that contain no "." Fix definition of several Naming attributes, which take a unit name as index and therefore should be case insensitive. Minor refactoring (reduce length of variable names). 2011-08-03 Emmanuel Briot <briot@adacore.com> * makeutl.adb, makeutl.ads (Get_Switches): new subprogram. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177250 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Emmanuel Briot <briot@adacore.com>charlet2011-08-031-44/+42
| | | | | | | | | | | * gnatcmd.adb, prj-proc.adb, prj-proc.ads, make.adb, prj-part.adb, prj-part.ads, switch-m.adb, switch-m.ads, prj-makr.adb, clean.adb, prj-pars.adb, prj-pars.ads, prj-conf.adb, prj-conf.ads, prj-tree.adb, prj-tree.ads (Prj.Tree.Environment): new type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177248 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Emmanuel Briot <briot@adacore.com>charlet2011-08-031-5/+3
| | | | | | | | | * prj-proc.adb, prj.ads, makeutl.adb, makeutl.ads, prj-conf.adb, prj-tree.adb, prj-tree.ads (Environment): new type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177247 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Emmanuel Briot <briot@adacore.com>charlet2011-08-031-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | * prj-part.adb, prj-part.ads, prj-makr.adb, prj-pars.adb, prj-conf.adb, prj-env.adb (Prj.Part.Parse): change parameter Always_Errout_Finalize to Errout_Handling. 2011-08-03 Emmanuel Briot <briot@adacore.com> * prj-dect.adb (Parse_Attribute_Declaration): make sure we can use "external" as an attribute name in aggregate projects. 2011-08-03 Jose Ruiz <ruiz@adacore.com> * s-taprop-vxworks.adb: (Create_Task, Initialize): Ada 2012 pragma CPU uses CPU numbers starting 1, while VxWorks uses CPU numbers starting from 0, so we need to adjust. 2011-08-03 Emmanuel Briot <briot@adacore.com> * prj-proc.adb, prj-ext.adb, prj-ext.ads, makeutl.adb, prj-tree.adb, prj-tree.ads, gnatcmd.adb, clean.adb (External_References): new type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177244 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Yannick Moy <moy@adacore.com>charlet2011-08-031-849/+834
| | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch6.adb (New_Overloaded_Entity): only issue error for SPARK restriction on overloaded entity if the entity is not an operator. 2011-08-03 Yannick Moy <moy@adacore.com> * sem_ch7.adb, sem_res.adb, sem_attr.adb, restrict.adb, restrict.ads: Rename remaining Check_Formal_Restriction* into Check_SPARK_Restriction*. 2011-08-03 Emmanuel Briot <briot@adacore.com> * prj-proc.adb, prj-part.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-nmsc.ads, prj-err.adb (Project_Data): now discriminated on its qualifier. (Project_Empty): removed (Empty_Project): new parameter Qualifier This is used to have fields specific to aggregate projects, cleaner New field to store the list of aggregated projects. (Check_Aggregate_Project): removed (Process_Aggregated_Projects, Free): new subprograms. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177243 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-02 Pascal Obry <obry@adacore.com>charlet2011-08-021-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-proc.adb, make.adb, makeutl.adb: Minor reformatting. 2011-08-02 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch5.adb (Expand_Iterator_Loop): Code cleanup and reorganization. Set the associated loop as the related expression of internally generated cursors. * exp_ch7.adb (Is_Container_Cursor): New routine. (Wrap_Transient_Declaration): Supress the finalization of the list controller when the declaration denotes a container cursor. 2011-08-02 Yannick Moy <moy@adacore.com> * opt.ads (SPARK_Mode): update comment, SPARK_Mode only set through command line now. * par-ch3.adb (P_Delta_Constraint): remove check in SPARK mode that the expression is a simple expression. This check cannot be performed in the semantics, so just drop it. (P_Index_Or_Discriminant_Constraint): move check that the index or discriminant is a subtype mark to Analyze_Subtype_Declaration in the semantics. Other cases were previously checked in the semantics. * par-ch4.adb (P_Name): move checks that a selector name is not character literal or an operator symbol to Find_Selected_Component in the semantics * par-ch5.adb (Parse_Decls_Begin_End): move check that basic declarations are not placed after later declarations in a separate procedure in Sem_Util (possibly not the best choice?), to be used both during parsing, for Ada 83 mode, and during semantic analysis, for SPARK mode. * par-endh.adb (Check_End): move check that end label is not missing to Process_End_Label in the semantics * par-prag.adb (Process_Restrictions_Or_Restriction_Warnings): remove the special case for SPARK restriction * par.adb: use and with Sem_Util, for use in Parse_Decls_Begin_End * restrict.adb, restrict.ads (Check_Formal_Restriction): add a parameter Force to issue the error message even on internal node (used for generated end label). Call Check_Restriction to check when an error must be issued. In SPARK mode, issue an error message even if the restriction is not set. (Check_Restriction): new procedure with an additional out parameter to inform the caller that a message has been issued * sem_aggr.adb: Minor modification of message * sem_attr.adb (Analyze_Attribute): call Check_Formal_Restriction instead of issuing an error message directly * sem_ch3.adb (Analyze_Declarations): move here the check that basic declarations are not placed after later declarations, by calling Check_Later_Vs_Basic_Declarations (Analyze_Subtype_Declaration): move here the check that an index or discriminant constraint must be a subtype mark. Change the check that a subtype of String must start at one so that it works on subtype marks. * sem_ch4.adb (Analyze_Call): move here the check that a named association cannot follow a positional one in a call * sem_ch5.adb (Check_Unreachable_Code): call Check_Formal_Restriction instead of issuing an error message directly * sem_ch8.adb (Find_Selected_Component): move here the check that a selector name is not a character literal or an operator symbol. Move here the check that the prefix of an expanded name cannot be a subprogram or a loop statement. * sem_util.adb, sem_util.ads (Check_Later_Vs_Basic_Declarations): new procedure called from parsing and semantics to check that basic declarations are not placed after later declarations (Process_End_Label): move here the check that end label is not missing 2011-08-02 Arnaud Charlet <charlet@adacore.com> * sem_ch13.adb (Analyze_Enumeration_Representation_Clause): Ignore enum representation clause in codepeer mode, since it confuses CodePeer and does not bring useful info. 2011-08-02 Ed Falis <falis@adacore.com> * init.c: initialize fp hw on MILS. 2011-08-02 Ed Schonberg <schonberg@adacore.com> * errout.adb (First_Node): for bodies, return the node itself (small optimization). For other nodes, do not check source_unit if the node comes from Standard. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177151 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-08 Robert Dewar <dewar@adacore.com>charlet2010-10-081-38/+196
| | | | | | | | | | | | | | | | | | | | | | * 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 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165157 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-05 Emmanuel Briot <briot@adacore.com>charlet2010-10-051-8/+10
| | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164969 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-09-10 Robert Dewar <dewar@adacore.com>charlet2010-09-101-15/+16
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164194 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-09-09 Vincent Celier <celier@adacore.com>charlet2010-09-091-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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-08-10 Robert Dewar <dewar@adacore.com>charlet2010-08-101-1/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * a-suenco.adb (Convert): Fix bug in UTF-16 to UTF-8 conversion for codes in the range 16#80#..16#7FF#. * sem_ch10.adb: Minor reformatting. 2010-08-10 Arnaud Charlet <charlet@adacore.com> * gnat1drv.adb (Scan_Front_End_Switches): Always perform semantics and generate ali files in CodePeer mode, so that a gnatmake -c -k will proceed further when possible * freeze.adb (Freeze_Static_Object): Fix thinko. Do not generate error messages when ignoring representation clauses (-gnatI). 2010-08-10 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb (Expand_N_Selected_Component): Do not attempt to constant-fold discriminant reference if the constraint is an object with non-static expression. Expression may contain volatile references in the presence of renamings. 2010-08-10 Vincent Celier <celier@adacore.com> * prj-proc.adb (Get_Attribute_Index): If Index is All_Other_Names, returns Index. * prj-strt.adb (Attribute_Reference): Recognize 'others' as a valid index for an associative array where it is allowed. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@163060 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-17 Robert Dewar <dewar@adacore.com>charlet2010-06-171-30/+35
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch3.adb, exp_ch6.adb, exp_smem.adb, exp_util.adb: Use Ekind_In. * layout.adb, freeze.adb: Use Make_Temporary. 2010-06-17 Jerome Lambourg <lambourg@adacore.com> * exp_ch11.adb (Expand_N_Raise_Statement): Expand raise statements in .NET/JVM normally as this is now perfectly supported by the backend. 2010-06-17 Pascal Obry <obry@adacore.com> * gnat_rm.texi: Fix minor typo, remove duplicate blank lines. 2010-06-17 Vincent Celier <celier@adacore.com> * make.adb (Collect_Arguments_And_Compile): Create include path file only when -x is specified. (Gnatmake): Ditto * opt.ads (Use_Include_Path_File): New Boolean flag, initialized to False. * prj-env.adb (Set_Ada_Paths): New Boolean parameters Include_Path and Objects_Path, defaulted to True. Only create include path file if Include_Path is True, only create objects path file if Objects_Path is True. * prj-env.ads (Set_Ada_Paths): New Boolean parameters Include_Path and Objects_Path, defaulted to True. * switch-m.adb (Scan_Make_Switches): Set Use_Include_Path_File to True when -x is used. 2010-06-17 Ed Schonberg <schonberg@adacore.com> * exp_disp.adb (Build_Interface_Thunk): Use base type of formal to determine whether it has the controlling type, when the formal is an access parameter. 2010-06-17 Eric Botcazou <ebotcazou@adacore.com> * s-crtl.ads (ssize_t): New type. (read): Fix signature. (write): Likewise. * g-socthi.ads: Add 'with System.CRTL' clause. Remove ssize_t and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t. (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t. (C_Sendmsg): Likewise. * g-socthi.adb (Syscall_Recvmsg): Likewise. (Syscall_Sendmsg): Likewise. (C_Recvmsg): Likewise. (C_Sendmsg): Likewise. * g-socthi-mingw.ads: Add 'with System.CRTL' clause. Remove ssize_t and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t. (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t. (C_Sendmsg): Likewise. * g-socthi-mingw.adb (C_Recvmsg): Likewise. (C_Sendmsg): Likewise. * g-socthi-vms.ads: Add 'with System.CRTL' clause. Remove ssize_t and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t. (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t. (C_Sendmsg): Likewise. * g-socthi-vms.adb (C_Recvmsg): Likewise. (C_Sendmsg): Likewise. * g-socthi-vxworks.ads Add 'with System.CRTL' clause. Remove ssize_t and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t. (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t. (C_Sendmsg): Likewise. * g-socthi-vxworks.adb (C_Recvmsg): Likewise. (C_Sendmsg): Likewise. * g-sercom-linux.adb (Read): Use correct types to call 'read'. (Write): Likewise to call 'write'. * s-os_lib.adb (Read): Use correct type to call System.CRTL.read. (Write): Use correct type to call System.CRTL.write. * s-tasdeb.adb (Write): Likewise. 2010-06-17 Vincent Celier <celier@adacore.com> * prj-proc.adb (Copy_Package_Declarations): Change argument name Naming_Restricted to Restricted. If Restricted is True, do not copy the value of attribute Linker_Options. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160905 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-17 Thomas Quinot <quinot@adacore.com>charlet2010-06-171-54/+96
| | | | | | | | | | | | | | | | * put_scos.adb: Do not generate a blank line in SCOs when omitting the CP line for a disabled pragma. 2010-06-17 Emmanuel Briot <briot@adacore.com> * prj-proc.adb, prj.adb, prj.ads (Check_Or_Set_Typed_Variable): New subprogram. (Process_Declarative_Item): An invalid value in an typed variable declaration is no longer always fatal. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160875 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-06-14 Pascal Obry <obry@adacore.com>charlet2010-06-141-3/+3
| | | | | | | | | | | | | | * prj-proc.adb: Fix copy of object directory for extending projects. 2010-06-14 Jose Ruiz <ruiz@adacore.com> * init.c (__gnat_alternate_stack): Define this space for PowerPC linux (__gnat_install_handler, PowerPC linux): Activate the alternative signal stack. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160708 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-11-30 Robert Dewar <dewar@adacore.com>charlet2009-11-301-19/+25
| | | | | | | | | * makeutl.adb, makeutl.ads, prj-proc.adb, prj.adb, prj.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154783 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-11-30 Thomas Quinot <quinot@adacore.com>charlet2009-11-301-5/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * osint.adb: Minor reformatting 2009-11-30 Vincent Celier <celier@adacore.com> * makeutl.ads, makeutl.adb (Base_Name_Index_For): New function to get the base name of a main without the extension, with an eventual source index. (Mains.Get_Index): New procedure to set the source index of a main (Mains.Get_Index): New function to get the source index of a main * prj-attr.adb: New attributes Config_Body_File_Name_Index, Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and Multi_Unit_Switches. * prj-nmsc.adb (Process_Compiler): Takle into account new attributes Config_Body_File_Name_Index, Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and Multi_Unit_Switches. Allow only one character for Multi_Unit_Object_Separator. * prj-proc.adb (Process_Declarative_Items): Take into account the source indexes in indexes of associative array attribute declarations. * prj.adb (Object_Name): New function to get the object file name for units in multi-unit sources. * prj.ads (Language_Config): New components Multi_Unit_Switches, Multi_Unit_Object_Separator Config_Body_Index and Config_Spec_Index. (Object_Name): New function to get the object file name for units in multi-unit sources. * snames.ads-tmpl: New standard names Config_Body_File_Name_Index, Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and Multi_Unit_Switches. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154782 138bc75d-0d04-0410-961f-82ee72b054a4
* Minor reformatting.charlet2009-09-171-11/+11
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@151797 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-09-17 Bob Duff <duff@adacore.com>charlet2009-09-171-1/+2
| | | | | | | | | | | | | | | | | | | | | | | * gnat_rm.texi, s-oscons-tmplt.c: Minor typo 2009-09-17 Emmanuel Briot <briot@adacore.com> * gnatcmd.adb, prj-proc.adb, make.adb, prj-ext.adb, prj-ext.ads, makeutl.adb, makeutl.ads, clean.adb, prj-pars.adb, prj-pars.ads, prj-conf.adb, prj-conf.ads, prj-tree.adb, prj-tree.ads, prj-proc.ads, prj-nmsc.ads (Add, Value_Of, Reset): new parameter Tree. Scenario variables are now specific to each project tree loaded in memory. Code clean ups. 2009-09-17 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Make_DT): Remove wrong line of code that was undocumented and probably added by mistake. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@151792 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-09-16 Robert Dewar <dewar@adacore.com>charlet2009-09-161-24/+4
| | | | | | | | | | | | | | | | | | | | | | | * prj-nmsc.adb: Minor reformatting 2009-09-16 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb (Expand_N_Conditional_Expression): If the type of the expression is a by-reference type (tagged or inherently limited) introduce an access type to capture references to the values of each branch of the conditional. 2009-09-16 Emmanuel Briot <briot@adacore.com> * prj-proc.adb, prj-part.adb, prj-tree.adb, prj-tree.ads (Project_Name_And_Node.Display_Name): new field The display name of a project (as written in the .gpr file) is now computed when the project file itself is parsed, not when it is processed. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@151750 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-22 Robert Dewar <dewar@adacore.com>charlet2009-07-221-2/+2
| | | | | | | | | | | | | | | | | * s-stchop.adb, a-direct.adb, a-ztexio.adb, gnatchop.adb, prj-proc.adb, make.adb, s-regpat.adb, ali-util.adb, a-ngcefu.adb, prep.adb, s-tassta.adb, a-tifiio.adb, a-textio.adb, prj.adb, uintp.adb, s-valrea.adb, a-ngelfu.adb, prepcomp.adb, sinput-l.adb, vms_conv.adb, errout.adb, g-alleve.adb, repinfo.adb, a-wtedit.adb, ali.adb, a-witeio.adb, prj-dect.adb, prj-nmsc.adb, sinput-c.adb, binde.adb, s-regexp.adb, s-imgrea.adb, a-teioed.adb, errutil.adb, prj-util.adb, a-ztedit.adb, gnatls.adb, prj-conf.adb, bcheck.adb, s-scaval.adb, erroutc.adb, osint.adb, a-strfix.adb, s-fileio.adb: Make sure sources obey short-circuit style rule. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149921 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-13 Emmanuel Briot <briot@adacore.com>charlet2009-07-131-96/+46
| | | | | | | | | | | | | * prj-proc.adb, prj-part.adb, prj-part.ads, prj-strt.adb, prj-strt.ads, prj.adb, prj.ads, prj-makr.adb, prj-makr.ads, prj-dect.adb, prj-dect.ads, prj-nmsc.adb, prj-pars.adb, errutil.adb, errutil.ads, prj-conf.adb, gnatname.adb, prj-err.adb, prj-err.ads (Prj.Nmsc.Report_Error): Removed, no longer needed. Always use Prj.Err.Report_Message. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149572 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-13 Robert Dewar <dewar@adacore.com>charlet2009-07-131-1/+2
| | | | | | | | | * opt.ads, prj-conf.adb, prj-env.adb, prj-ext.adb, prj-nmsc.adb, prj-proc.adb, prj-tree.adb, prj-tree.ads: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149570 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-13 Emmanuel Briot <briot@adacore.com>charlet2009-07-131-63/+55
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnatcmd.adb, prj-proc.adb, make.adb, mlib-prj.adb, prj-ext.adb, gnat_ugn.texi, prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-util.adb, prj-conf.adb, gnatname.adb, prj-env.adb, prj-env.ads, prj-tree.adb, prj-tree.ads (Prj.Tree.Create*): New subprograms to create new packages and attributes in a project tree. (Add_Default_GNAT_Naming_Scheme): Provide real implementation. Remove last remaining mode-specific code (ada_only or multi_language). This was duplicating code (Get_Mode, Set_Mode): removed, no longer used. (Initialize_Project_Path): all tools will now take into account both GPR_PROJECT_PATH and ADA_PROJECT_PATH (in that order). Remove some global variables and subprograms no longer used Make temporary files tree-specific, to avoid interferences between trees loaded in memory at the same time. (Prj.Delete_Temporary_File): new subprogram (Object_Paths, Source_Paths): fields no longer stored in the project tree, since they are only needed locally in Set_Ada_Paths. (Set_Mapping_File_Initial_State_To_Empty): removed, since had no effect in practice. (Project_Tree_Data.Ada_Path_Buffer): removed, since it can be replaced by local variables in the appropriate subprograms (Has_Foreign_Sources): removed. * gcc-interface/Makefile.in: prj-pp.o is now needed to build gnatmake git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149568 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-13 Robert Dewar <dewar@adacore.com>charlet2009-07-131-22/+20
| | | | | | | | | | | * lib.adb, prj-nmsc.adb, prj-proc.adb, prj-proc.ads, prj.adb, prj.ads: Minor reformatting and code reorganization. * par-ch3.adb (Check_Restricted_Expression): New procedure git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149566 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-13 Emmanuel Briot <briot@adacore.com>charlet2009-07-131-98/+21
| | | | | | | | | | | | | | | | | | | * gnatcmd.adb, prj-proc.adb, prj-proc.ads, make.adb, prj-part.adb, prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb, prj-pars.ads, prj-conf.adb, prj-conf.ads, prj-env.adb, prj-tree.adb, prj-tree.ads: Minor reformatting. (Processing_Flags): new record to encapsulate the set of common parameters to several subprograms in the project manager. (Prj.Nmsc.Process_Naming_Scheme): renames Check, and moved to body Remove the need for the Current_Dir parameter in subprograms. (Look_For_Sources): minor refactoring, now that we no longer need to share subprograms between the two Ada_Only and Multi_Language modes (Processing_Flags): New field Error_On_Unknown_Language. Merge tests for library project between gnatmake and gprbuild. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149563 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-13 Thomas Quinot <quinot@adacore.com>charlet2009-07-131-21/+35
| | | | | | | | | | | | | | | | | | | | | | | * rtsfind.ads, exp_dist.adb (RE_Allocate_Buffer): Runtime entry removed, not used anymore. (Exp_Dist.PolyORB_Support.Helpers.Assign_Opaque_From_Any): New subprogram, implements copy of an Any value into a limited object. (Exp_Dist.PolyORB_Support.Build_General_Calling_Stubs, Exp_Dist.PolyORB_Support.Build_Subprogram_Receiving_Stubs, Exp_Dist.PolyORB_Support.Helpers.Build_From_Any_Function): For the case of parameters of a limited type, use the above new subprogram. 2009-07-13 Emmanuel Briot <briot@adacore.com> * prj-nmsc.adb, prj-proc.adb, mlib.adb (Add_Source): new parameter Location. (Copy_ALI_Files): Avoid calls to read when pointing outside of the allocated space. (Error_Report): Remove global variable, replaced by parameters. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149560 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-13 Emmanuel Briot <briot@adacore.com>charlet2009-07-131-61/+53
| | | | | | | | | | | | | * prj-proc.adb, prj-proc.ads, prj.ads, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb, prj-conf.adb, prj-conf.ads: Remove all remaining global variables and tables in prj-nmsc.adb. (Tree_Processing_Data): Renames Processing_Data, some new fields added (Project_Processing_Data): New record Simplify/unify check for missing sources. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149558 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-06-25 Emmanuel Briot <briot@adacore.com>charlet2009-06-251-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnatcmd.adb, prj-proc.adb, make.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-util.adb, prj-env.adb, prj-env.ads: Merge handling of naming_data between gnatmake and gprbuild. (Naming_Data): Removed, no longer used (Naming_Table, Project_Tree_Ref.Namings): Removed, since this is only needed locally in one subprogram, no need to store forever in the structure. (Check_Naming_Scheme, Check_Package_Naming): Merged, since they play a similar role. (Body_Suffix_Of, Body_Suffix_Id_Of, Register_Default_Naming_Scheme, Same_Naming_Scheme, Set_Body_Suffix, Set_Spec_Suffix, Spec_Suffix_Of, Spec_Suffix_Id_Of): removed, no longer used. 2009-06-25 Javier Miranda <miranda@adacore.com> * sem_res.adb (Resolve_Allocator): Skip test requiring exact match of types on qualified expression in calls to imported C++ constructors. * exp_ch4.adb (Expand_Allocator_Expression): Add missing support for imported C++ constructors. 2009-06-25 Sergey Rybin <rybin@adacore.com> * vms_data.ads: Add qualifier for new gnatcheck '-t' option. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148937 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-06-24 Robert Dewar <dewar@adacore.com>charlet2009-06-241-14/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-nmsc.adb, prj-nmsc.ads, prj-proc.adb, prj.adb: Minor reformatting * a-strsea.adb (Count): Avoid local copy on stack, speed up unmapped case. (Index): Ditto. 2009-06-24 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Analyze_One_Call): Check that at least one actual is present when checking whether a call may be interpreted as an indexing of the result of a call. * exp_ch9.adb (Expand_N_Subprogram_Declaration): Place the generated body for a null procedure on the freeze actions for the procedure, so that it will be analyzed at the proper place without premature freezing of actuals. * sem_ch3.adb (Check_Completion): Code cleanup. Do not diagnose a null procedure without a body, if previous errors have disabled expansion. 2009-06-24 Doug Rupp <rupp@adacore.com> * init.c [VMS] Resignal C$_SIGKILL 2009-06-24 Ed Falis <falis@adacore.com> * s-vxwext.adb, s-vxwext-kernel.adb: Add s-vxwext body for VxWorks 5 Define ERROR in body for VxWorks 6 kernel 2009-06-24 Pascal Obry <obry@adacore.com> * g-socket.adb, g-socket.ads: Fix possible unexpected constraint error in [Send/Receive]_Socket. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148905 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-06-24 Emmanuel Briot <briot@adacore.com>charlet2009-06-241-7/+16
| | | | | | | | | | | | | * prj-proc.adb, prj-proc.ads, prj.ads, prj-nmsc.adb, prj-nmsc.ads, prj-conf.adb, prj-conf.ads (Allow_Duplicate_Basenames): New parameter to several subprograms. (Source_Data.Other_Part): Removed, since can be computed from the language. (Other_Part): New subprogram. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148904 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-06-24 Emmanuel Briot <briot@adacore.com>charlet2009-06-241-3/+2
| | | | | | | | | | | | | | | | | | | | | | | | * gnatcmd.adb, make.adb, mlib-prj.adb, prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-env.adb, prj-proc.adb (Units_Table): Removed, since no longer useful. (Source_Data.Lang_Kind): Removed, since it duplicates information already available through Language.Config. (Source_Data.Compile): Removed, since information is already available through the language. (Is_Compilable): New subprogram. (Source_Data.Dependency): Removed, since already available through the language. (Source_Data.Object_Exist, Object_Linked): Removed since available through the language already. (Unit_Data.File_Names): Is now also set in multi_language mode, to bring the two modes closer in the resulting data structures. (Source_Data.Unit): Now a direct pointer to the unit data, rather than just the name that would point into a hash table. (Get_Language_From_Name): New subprogram. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148901 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-06-23 Ed Schonberg <schonberg@adacore.com>charlet2009-06-231-26/+26
| | | | | | | | | | | | | | | | * 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 Emmanuel Briot <briot@adacore.com>charlet2009-06-231-4/+12
| | | | | | | | | | | | | | | | | | * prj-proc.adb, prj-proc.ads, prj-nmsc.adb, prj-nmsc.ads, prj-conf.adb, prj-conf.ads (Check_Configuration): New parameter Compiler_Driver_Mandatory. 2009-06-23 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Analyze_With_Clause): If a subprogram instance in the context of the current unit has an inline pragma, the instance is not rewritten as the declaration of the package wrapper. Handle both possibilities when retrieving the visible subprogram that renames the instantiation itself. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148839 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-29 Robert Dewar <dewar@adacore.com>charlet2009-04-291-3/+3
| | | | | | | | * prj-proc.adb, prj.ads: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146958 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-29 Emmanuel Briot <briot@adacore.com>charlet2009-04-291-8/+18
| | | | | | | | | | | | | * gnatcmd.adb, prj-proc.adb, prj-proc.ads, make.adb, prj-part.adb, prj-part.ads, prj.adb, prj.ads, clean.adb, prj-dect.adb, prj-dect.ads, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb, prj-pars.ads, prj-makr.adb (Set_In_Configuration, In_Configuration): Removed. Replaced by an extra parameter Is_Config_File in several parameter to avoid global variables to store the state of the parser. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146955 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-29 Robert Dewar <dewar@adacore.com>charlet2009-04-291-3/+3
| | | | | | | | | | * mlib-prj.adb, mlib-tgt.adb, mlib-tgt.ads, prj-nmsc.adb, prj-proc.adb: Minor reformatting Minor code reorganization git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146933 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-29 Bob Duff <duff@adacore.com>charlet2009-04-291-157/+100
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch7.adb (Build_Final_List): For an access type that designates a Taft Amendment type, if the access type needs finalization, make sure the implicit with clause for List_Controller occurs on the package spec. * rtsfind.adb (Text_IO_Kludge): Fine tune the creation of implicit with's created for the pseudo-children of Text_IO and friends. In particular, avoid cycles, such as Ada.Wide_Text_IO.Integer_IO and Ada.Text_IO.Integer_IO both with-ing each other. * sem.adb (Walk_Library_Items): Suppress assertion failure in certain oddball cases when pragma Extend_System is used. * sem_ch12.adb (Get_Associated_Node): Prevent direct 'with' cycles in the case where a package spec instantiates a generic whose body with's this package, so Walk_Library_Items won't complain about cyclic with's. 2009-04-29 Emmanuel Briot <briot@adacore.com> * gnatcmd.adb, prj-proc.adb, make.adb, mlib-prj.adb, prj.adb, prj.ads, prj-pp.adb, prj-pp.ads, makeutl.adb, clean.adb, prj-nmsc.adb, mlib-tgt.adb, mlib-tgt.ads, prj-util.adb, prj-env.adb, prj-env.ads (Project_Id): now a real pointer to Project_Data, instead of an index into the Projects_Table. This simplifies the API significantly, avoiding extra lookups in this table and the need to pass the Project_Tree_Ref parameter in several cases git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146931 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-24 Robert Dewar <dewar@adacore.com>charlet2009-04-241-14/+18
| | | | | | | | | | * mlib-prj.adb, prj-env.adb, prj-nmsc.adb, prj-proc.adb, make.adb, clean.adb: Minor reformatting. Minor code reorganization and message improvement. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146732 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-24 Emmanuel Briot <briot@adacore.com>charlet2009-04-241-7/+14
| | | | | | | | | | * prj-proc.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-nmsc.ads (Alternate_Languages): now implemented as a malloc-ed list rather than through a table. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146731 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-24 Emmanuel Briot <briot@adacore.com>charlet2009-04-241-18/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-proc.adb, make.adb, mlib-prj.adb, prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-env.adb (Project_List_Table, Project_Element): removed. Lists of projects are now implemented via standard malloc rather than through the table. 2009-04-24 Thomas Quinot <quinot@adacore.com> * sem_ch12.adb: Minor reformatting * g-trasym.adb: Minor reformatting * exp_ch6.adb: Minor reformatting 2009-04-24 Robert Dewar <dewar@adacore.com> * layout.adb (Layout_Type): For packed array type, copy unset size/alignment fields from the referenced Packed_Array_Type. 2009-04-24 Bob Duff <duff@adacore.com> * lib-load.adb (Make_Instance_Unit): Revert previous change, no longer needed after sem_ch12 changes. * sem.adb (Walk_Library_Items): Include with's in some debugging printouts. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146727 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-24 Ed Schonberg <schonberg@adacore.com>charlet2009-04-241-2/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_res.adb: additional optimization to inhibit creation of redundant transient scopes. 2009-04-24 Bob Duff <duff@adacore.com> * rtsfind.ads: Minor comment fix 2009-04-24 Emmanuel Briot <briot@adacore.com> * prj-proc.adb, prj-nmsc.adb (Find_Ada_Sources, Get_Path_Name_And_Record_Ada_Sources): merged, since these were basically doing the same work (for explicit or implicit sources). (Find_Explicit_Sources): renamed to Find_Sources to better reflect its role. Rewritten to share some code (testing that all explicit sources have been found) between ada_only and multi_language modes. 2009-04-24 Jerome Lambourg <lambourg@adacore.com> * sem_prag.adb (Check_Form_Of_Interface_Name): Allow space in Ext_Name for CLI imported types. (Analyze_Pragma): Allow CIL or Java imported functions returning access-to-subprogram types. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146720 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-24 Robert Dewar <dewar@adacore.com>charlet2009-04-241-26/+28
| | | | | | | | | | * prj-env.adb, prj-proc.adb, prj.adb, prj.ads, rtsfind.adb: Minor reformatting. Minor code reorganization git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146717 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-24 Emmanuel Briot <briot@adacore.com>charlet2009-04-241-62/+27
| | | | | | | | | | | | | | | | | | | | * prj-proc.adb, make.adb, mlib-prj.adb, prj.adb, prj.ads, makeutl.adb, clean.adb, prj-nmsc.adb, prj-env.adb, prj-env.ads (Project_Data.Seen): field removed. This is not a property of the project, just a boolean used to traverse the project tree, and storing it in the structure prevents doing multiple traversal in parallel. (Project_Data.Checked): also removed, since it was playing the same role as Seen when we had two nested loops, and this is no longer necessary (For_All_Imported_Projects): removed, since in fact there was already the equivalent in For_Every_Project_Imported. The latter was rewritten to use a local hash table instead of Project_Data.Seen Various loops were rewritten to use For_Every_Project_Imported, thus removing the need for Project_Data.Seen. This avoids a lot of code duplication git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146699 138bc75d-0d04-0410-961f-82ee72b054a4