From: Vincent Celier Date: Wed, 26 Mar 2008 07:41:16 +0000 (+0100) Subject: prj-dect.adb (Parse_Package_Declaration): When a package name is not known... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1a5d715a60307e8f70254c9c550b5e6916fde76e;p=gcc.git prj-dect.adb (Parse_Package_Declaration): When a package name is not known... 2008-03-26 Vincent Celier * prj-dect.adb (Parse_Package_Declaration): When a package name is not known, check if it may be a missspelling of a known package name. In not verbose, not mode, issue warnings only if the package name is a possible misspelling. In verbose mode, always issue a warning for a not known package name, plus a warning if the name is a misspelling of a known package name. * prj-part.adb (Post_Parse_Context_Clause): Modify so that only non limited withs or limited withs are parse during one call. (Parse_Single_Project): Post parse context clause in two passes: non limited withs before current project and limited withs after current project. * prj-proc.adb (Imported_Or_Extended_Project_From): Returns an extended project with the name With_Name, even if it is only extended indirectly. (Recursive_Process): Process projects in order: first single withs, then current project, then limited withs. * prj-tree.adb (Imported_Or_Extended_Project_Of): Returns an extended project with the name With_Name, even if it is only extended indirectly. From-SVN: r133573 --- diff --git a/gcc/ada/prj-dect.adb b/gcc/ada/prj-dect.adb index 24c312e70ee..f9528d0de9a 100644 --- a/gcc/ada/prj-dect.adb +++ b/gcc/ada/prj-dect.adb @@ -25,7 +25,8 @@ with Err_Vars; use Err_Vars; -with GNAT.Case_Util; use GNAT.Case_Util; +with GNAT.Case_Util; use GNAT.Case_Util; +with GNAT.Spelling_Checker; use GNAT.Spelling_Checker; with Opt; use Opt; with Prj.Attr; use Prj.Attr; @@ -36,8 +37,12 @@ with Prj.Tree; use Prj.Tree; with Snames; with Uintp; use Uintp; +with System.Strings; + package body Prj.Dect is + use System; + type Zone is (In_Project, In_Package, In_Case_Construction); -- Used to indicate if we are parsing a package (In_Package), -- a case construction (In_Case_Construction) or none of those two @@ -983,11 +988,44 @@ package body Prj.Dect is if Current_Package = Empty_Package then if not Quiet_Output then - Error_Msg ("?""" & - Get_Name_String - (Name_Of (Package_Declaration, In_Tree)) & - """ is not a known package name", - Token_Ptr); + declare + List : constant Strings.String_List := Package_Name_List; + Index : Natural; + Name : constant String := Get_Name_String (Token_Name); + + begin + -- Check for possible misspelling of a known package name + + Index := 0; + loop + if Index >= List'Last then + Index := 0; + exit; + end if; + + Index := Index + 1; + exit when + GNAT.Spelling_Checker.Is_Bad_Spelling_Of + (Name, List (Index).all); + end loop; + + -- Issue warning(s) in verbose mode or when a possible + -- misspelling has been found. + + if Verbose_Mode or else Index /= 0 then + Error_Msg ("?""" & + Get_Name_String + (Name_Of (Package_Declaration, In_Tree)) & + """ is not a known package name", + Token_Ptr); + end if; + + if Index /= 0 then + Error_Msg ("\?possible misspelling of """ & + List (Index).all & """", + Token_Ptr); + end if; + end; end if; -- Set the package declaration to "ignored" so that it is not diff --git a/gcc/ada/prj-part.adb b/gcc/ada/prj-part.adb index 3c46138d60d..a7864c5df81 100644 --- a/gcc/ada/prj-part.adb +++ b/gcc/ada/prj-part.adb @@ -72,13 +72,16 @@ package body Prj.Part is Table_Increment => 100, Table_Name => "Prj.Part.Withs"); -- Table used to store temporarily paths and locations of imported - -- projects. These imported projects will be effectively parsed after the - -- name of the current project has been extablished. + -- projects. These imported projects will be effectively parsed later: just + -- before parsing the current project for the non limited withed projects, + -- after getting its name; after complete parsing of the current project + -- for the limited withed projects. type Names_And_Id is record Path_Name : Path_Name_Type; Canonical_Path_Name : Path_Name_Type; Id : Project_Node_Id; + Limited_With : Boolean; end record; package Project_Stack is new Table.Table @@ -147,25 +150,28 @@ package body Prj.Part is procedure Pre_Parse_Context_Clause (In_Tree : Project_Node_Tree_Ref; Context_Clause : out With_Id); - -- Parse the context clause of a project. - -- Store the paths and locations of the imported projects in table Withs. - -- Does nothing if there is no context clause (if the current - -- token is not "with" or "limited" followed by "with"). + -- Parse the context clause of a project. Store the paths and locations of + -- the imported projects in table Withs. Does nothing if there is no + -- context clause (if the current token is not "with" or "limited" followed + -- by "with"). procedure Post_Parse_Context_Clause (Context_Clause : With_Id; In_Tree : Project_Node_Tree_Ref; - Imported_Projects : out Project_Node_Id; + Limited_Withs : Boolean; + Imported_Projects : in out Project_Node_Id; Project_Directory : Path_Name_Type; From_Extended : Extension_Origin; In_Limited : Boolean; Packages_To_Check : String_List_Access; Depth : Natural; Current_Dir : String); - -- Parse the imported projects that have been stored in table Withs, - -- if any. From_Extended is used for the call to Parse_Single_Project - -- below. When In_Limited is True, the importing path includes at least - -- one "limited with". + -- Parse the imported projects that have been stored in table Withs, if + -- any. From_Extended is used for the call to Parse_Single_Project below. + -- When In_Limited is True, the importing path includes at least one + -- "limited with". When Limited_Withs is False, only non limited withed + -- projects are parsed. When Limited_Withs is True, only limited withed + -- projects are parsed. function Project_Path_Name_Of (Project_File_Name : String; @@ -645,7 +651,7 @@ package body Prj.Part is Comma_Loop : loop - Scan (In_Tree); -- scan past WITH or "," + Scan (In_Tree); -- past WITH or "," Expect (Tok_String_Literal, "literal string"); @@ -682,7 +688,7 @@ package body Prj.Part is -- End of (possibly multiple) with clause; - Scan (In_Tree); -- scan past the semicolon. + Scan (In_Tree); -- past the semicolon exit Comma_Loop; elsif Token = Tok_Comma then @@ -707,7 +713,8 @@ package body Prj.Part is procedure Post_Parse_Context_Clause (Context_Clause : With_Id; In_Tree : Project_Node_Tree_Ref; - Imported_Projects : out Project_Node_Id; + Limited_Withs : Boolean; + Imported_Projects : in out Project_Node_Id; Project_Directory : Path_Name_Type; From_Extended : Extension_Origin; In_Limited : Boolean; @@ -717,7 +724,7 @@ package body Prj.Part is is Current_With_Clause : With_Id := Context_Clause; - Current_Project : Project_Node_Id := Empty_Node; + Current_Project : Project_Node_Id := Imported_Projects; Previous_Project : Project_Node_Id := Empty_Node; Next_Project : Project_Node_Id := Empty_Node; @@ -725,163 +732,177 @@ package body Prj.Part is Get_Name_String (Project_Directory); Current_With : With_Record; - Limited_With : Boolean := False; Extends_All : Boolean := False; begin - Imported_Projects := Empty_Node; + -- Set Current_Project to the last project in the current list, if the + -- list is not empty. + + if Current_Project /= Empty_Node then + while + Next_With_Clause_Of (Current_Project, In_Tree) /= Empty_Node + loop + Current_Project := Next_With_Clause_Of (Current_Project, In_Tree); + end loop; + end if; while Current_With_Clause /= No_With loop Current_With := Withs.Table (Current_With_Clause); Current_With_Clause := Current_With.Next; - Limited_With := In_Limited or Current_With.Limited_With; - - declare - Original_Path : constant String := - Get_Name_String (Current_With.Path); - - Imported_Path_Name : constant String := - Project_Path_Name_Of - (Original_Path, Project_Directory_Path); - - Resolved_Path : constant String := - Normalize_Pathname - (Imported_Path_Name, - Directory => Current_Dir, - Resolve_Links => Opt.Follow_Links_For_Files, - Case_Sensitive => True); - - Withed_Project : Project_Node_Id := Empty_Node; + if Limited_Withs = Current_With.Limited_With then + declare + Original_Path : constant String := + Get_Name_String (Current_With.Path); - begin - if Imported_Path_Name = "" then + Imported_Path_Name : constant String := + Project_Path_Name_Of + (Original_Path, + Project_Directory_Path); - -- The project file cannot be found + Resolved_Path : constant String := + Normalize_Pathname + (Imported_Path_Name, + Directory => Current_Dir, + Resolve_Links => + Opt.Follow_Links_For_Files, + Case_Sensitive => True); - Error_Msg_File_1 := File_Name_Type (Current_With.Path); + Withed_Project : Project_Node_Id := Empty_Node; - Error_Msg ("unknown project file: {", Current_With.Location); + begin + if Imported_Path_Name = "" then - -- If this is not imported by the main project file, - -- display the import path. + -- The project file cannot be found - if Project_Stack.Last > 1 then - for Index in reverse 1 .. Project_Stack.Last loop - Error_Msg_File_1 := - File_Name_Type (Project_Stack.Table (Index).Path_Name); - Error_Msg ("\imported by {", Current_With.Location); - end loop; - end if; + Error_Msg_File_1 := File_Name_Type (Current_With.Path); + Error_Msg + ("unknown project file: {", Current_With.Location); - else - -- New with clause + -- If this is not imported by the main project file, display + -- the import path. - Previous_Project := Current_Project; + if Project_Stack.Last > 1 then + for Index in reverse 1 .. Project_Stack.Last loop + Error_Msg_File_1 := + File_Name_Type + (Project_Stack.Table (Index).Path_Name); + Error_Msg + ("\imported by {", Current_With.Location); + end loop; + end if; - if Current_Project = Empty_Node then + else + -- New with clause - -- First with clause of the context clause + Previous_Project := Current_Project; - Current_Project := Current_With.Node; - Imported_Projects := Current_Project; + if Current_Project = Empty_Node then - else - Next_Project := Current_With.Node; - Set_Next_With_Clause_Of - (Current_Project, In_Tree, Next_Project); - Current_Project := Next_Project; - end if; + -- First with clause of the context clause - Set_String_Value_Of - (Current_Project, In_Tree, Name_Id (Current_With.Path)); - Set_Location_Of - (Current_Project, In_Tree, Current_With.Location); + Current_Project := Current_With.Node; + Imported_Projects := Current_Project; - -- If this is a "limited with", check if we have a circularity. - -- If we have one, get the project id of the limited imported - -- project file, and do not parse it. + else + Next_Project := Current_With.Node; + Set_Next_With_Clause_Of + (Current_Project, In_Tree, Next_Project); + Current_Project := Next_Project; + end if; - if Limited_With and then Project_Stack.Last > 1 then - declare - Canonical_Path_Name : Path_Name_Type; + Set_String_Value_Of + (Current_Project, + In_Tree, + Name_Id (Current_With.Path)); + Set_Location_Of + (Current_Project, In_Tree, Current_With.Location); + + -- If it is a limited with, check if we have a circularity. + -- If we have one, get the project id of the limited + -- imported project file, and do not parse it. + + if Limited_Withs and then Project_Stack.Last > 1 then + declare + Canonical_Path_Name : Path_Name_Type; + + begin + Name_Len := Resolved_Path'Length; + Name_Buffer (1 .. Name_Len) := Resolved_Path; + Canonical_Case_File_Name (Name_Buffer (1 .. Name_Len)); + Canonical_Path_Name := Name_Find; + + for Index in 1 .. Project_Stack.Last loop + if Project_Stack.Table (Index).Canonical_Path_Name = + Canonical_Path_Name + then + -- We have found the limited imported project, + -- get its project id, and do not parse it. - begin - Name_Len := Resolved_Path'Length; - Name_Buffer (1 .. Name_Len) := Resolved_Path; - Canonical_Case_File_Name (Name_Buffer (1 .. Name_Len)); - Canonical_Path_Name := Name_Find; + Withed_Project := Project_Stack.Table (Index).Id; + exit; + end if; + end loop; + end; + end if; - for Index in 1 .. Project_Stack.Last loop - if Project_Stack.Table (Index).Canonical_Path_Name = - Canonical_Path_Name - then - -- We have found the limited imported project, - -- get its project id, and do not parse it. + -- Parse the imported project, if its project id is unknown - Withed_Project := Project_Stack.Table (Index).Id; - exit; - end if; - end loop; - end; - end if; + if Withed_Project = Empty_Node then + Parse_Single_Project + (In_Tree => In_Tree, + Project => Withed_Project, + Extends_All => Extends_All, + Path_Name => Imported_Path_Name, + Extended => False, + From_Extended => From_Extended, + In_Limited => Limited_Withs, + Packages_To_Check => Packages_To_Check, + Depth => Depth, + Current_Dir => Current_Dir); - -- Parse the imported project, if its project id is unknown - - if Withed_Project = Empty_Node then - Parse_Single_Project - (In_Tree => In_Tree, - Project => Withed_Project, - Extends_All => Extends_All, - Path_Name => Imported_Path_Name, - Extended => False, - From_Extended => From_Extended, - In_Limited => Limited_With, - Packages_To_Check => Packages_To_Check, - Depth => Depth, - Current_Dir => Current_Dir); + else + Extends_All := Is_Extending_All (Withed_Project, In_Tree); + end if; - else - Extends_All := Is_Extending_All (Withed_Project, In_Tree); - end if; + if Withed_Project = Empty_Node then - if Withed_Project = Empty_Node then - -- If parsing was not successful, remove the - -- context clause. + -- If parsing unsuccessful, remove the context clause - Current_Project := Previous_Project; + Current_Project := Previous_Project; - if Current_Project = Empty_Node then - Imported_Projects := Empty_Node; + if Current_Project = Empty_Node then + Imported_Projects := Empty_Node; + else + Set_Next_With_Clause_Of + (Current_Project, In_Tree, Empty_Node); + end if; else - Set_Next_With_Clause_Of - (Current_Project, In_Tree, Empty_Node); - end if; - else - -- If parsing was successful, record project name - -- and path name in with clause - - Set_Project_Node_Of - (Node => Current_Project, - In_Tree => In_Tree, - To => Withed_Project, - Limited_With => Current_With.Limited_With); - Set_Name_Of - (Current_Project, - In_Tree, - Name_Of (Withed_Project, In_Tree)); + -- If parsing was successful, record project name and + -- path name in with clause + + Set_Project_Node_Of + (Node => Current_Project, + In_Tree => In_Tree, + To => Withed_Project, + Limited_With => Current_With.Limited_With); + Set_Name_Of + (Current_Project, + In_Tree, + Name_Of (Withed_Project, In_Tree)); - Name_Len := Resolved_Path'Length; - Name_Buffer (1 .. Name_Len) := Resolved_Path; - Set_Path_Name_Of (Current_Project, In_Tree, Name_Find); + Name_Len := Resolved_Path'Length; + Name_Buffer (1 .. Name_Len) := Resolved_Path; + Set_Path_Name_Of (Current_Project, In_Tree, Name_Find); - if Extends_All then - Set_Is_Extending_All (Current_Project, In_Tree); + if Extends_All then + Set_Is_Extending_All (Current_Project, In_Tree); + end if; end if; end if; - end if; - end; + end; + end if; end loop; end Post_Parse_Context_Clause; @@ -909,17 +930,16 @@ package body Prj.Part is Extending : Boolean := False; - Extended_Project : Project_Node_Id := Empty_Node; + Extended_Project : Project_Node_Id := Empty_Node; A_Project_Name_And_Node : Tree_Private_Part.Project_Name_And_Node := Tree_Private_Part.Projects_Htable.Get_First (In_Tree.Projects_HT); - Name_From_Path : constant Name_Id := Project_Name_From (Path_Name); - - Name_Of_Project : Name_Id := No_Name; - - First_With : With_Id; + Name_From_Path : constant Name_Id := Project_Name_From (Path_Name); + Name_Of_Project : Name_Id := No_Name; + First_With : With_Id; + Imported_Projects : Project_Node_Id := Empty_Node; use Tree_Private_Part; @@ -939,7 +959,6 @@ package body Prj.Part is Directory => Current_Dir, Resolve_Links => Opt.Follow_Links_For_Files, Case_Sensitive => False); - begin Name_Len := Normed_Path'Length; Name_Buffer (1 .. Name_Len) := Normed_Path; @@ -951,7 +970,9 @@ package body Prj.Part is -- Check for a circular dependency - for Index in 1 .. Project_Stack.Last loop + for Index in reverse 1 .. Project_Stack.Last loop + exit when Project_Stack.Table (Index).Limited_With; + if Canonical_Path_Name = Project_Stack.Table (Index).Canonical_Path_Name then @@ -982,10 +1003,11 @@ package body Prj.Part is -- Put the new path name on the stack - Project_Stack.Increment_Last; - Project_Stack.Table (Project_Stack.Last).Path_Name := Normed_Path_Name; - Project_Stack.Table (Project_Stack.Last).Canonical_Path_Name := - Canonical_Path_Name; + Project_Stack.Append + ((Path_Name => Normed_Path_Name, + Canonical_Path_Name => Canonical_Path_Name, + Id => Empty_Node, + Limited_With => In_Limited)); -- Check if the project file has already been parsed @@ -1009,9 +1031,9 @@ package body Prj.Part is Extends_All := Is_Extending_All (A_Project_Name_And_Node.Node, In_Tree); - -- If the imported project is an extended project A, - -- and we are in an extended project, replace A with the - -- ultimate project extending A. + -- If the imported project is an extended project A, and we are + -- in an extended project, replace A with the ultimate project + -- extending A. if From_Extended /= None then declare @@ -1048,8 +1070,8 @@ package body Prj.Part is Tree_Private_Part.Projects_Htable.Get_Next (In_Tree.Projects_HT); end loop; - -- We never encountered this project file - -- Save the scan state, load the project file and start to scan it. + -- We never encountered this project file. Save the scan state, load the + -- project file and start to scan it. Save_Project_Scan_State (Project_Scan_State); Source_Index := Load_Project_File (Path_Name); @@ -1069,8 +1091,8 @@ package body Prj.Part is if (not In_Configuration) and then (Name_From_Path = No_Name) then - -- The project file name is not correct (no or bad extension, - -- or not following Ada identifier's syntax). + -- The project file name is not correct (no or bad extension, or not + -- following Ada identifier's syntax). Error_Msg_File_1 := File_Name_Type (Canonical_Path_Name); Error_Msg ("?{ is not a valid path name for a project file", @@ -1084,24 +1106,27 @@ package body Prj.Part is Write_Eol; end if; + Project_Directory := Immediate_Directory_Of (Normed_Path_Name); + -- Is there any imported project? - Pre_Parse_Context_Clause (In_Tree, First_With); + Pre_Parse_Context_Clause + (In_Tree => In_Tree, + Context_Clause => First_With); - Project_Directory := Immediate_Directory_Of (Normed_Path_Name); Project := Default_Project_Node (Of_Kind => N_Project, In_Tree => In_Tree); Project_Stack.Table (Project_Stack.Last).Id := Project; Set_Directory_Of (Project, In_Tree, Project_Directory); Set_Path_Name_Of (Project, In_Tree, Normed_Path_Name); Set_Location_Of (Project, In_Tree, Token_Ptr); - + Set_First_With_Clause_Of (Project, In_Tree, Imported_Projects); Expect (Tok_Project, "PROJECT"); -- Mark location of PROJECT token if present if Token = Tok_Project then - Scan (In_Tree); -- scan past PROJECT + Scan (In_Tree); -- past PROJECT Set_Location_Of (Project, In_Tree, Token_Ptr); end if; @@ -1156,7 +1181,7 @@ package body Prj.Part is Extending := True; - Scan (In_Tree); -- scan past EXTENDS + Scan (In_Tree); -- past EXTENDS if Token = Tok_All then Extends_All := True; @@ -1216,7 +1241,6 @@ package body Prj.Part is end; declare - Imported_Projects : Project_Node_Id := Empty_Node; From_Ext : Extension_Origin := None; begin @@ -1235,6 +1259,7 @@ package body Prj.Part is Post_Parse_Context_Clause (In_Tree => In_Tree, Context_Clause => First_With, + Limited_Withs => False, Imported_Projects => Imported_Projects, Project_Directory => Project_Directory, From_Extended => From_Ext, @@ -1372,7 +1397,7 @@ package body Prj.Part is end if; end; - Scan (In_Tree); -- scan past the extended project path + Scan (In_Tree); -- past the extended project path end if; end if; @@ -1553,6 +1578,36 @@ package body Prj.Part is end if; end if; + declare + From_Ext : Extension_Origin := None; + + begin + -- Extending_All is always propagated + + if From_Extended = Extending_All or else Extends_All then + From_Ext := Extending_All; + + -- Otherwise, From_Extended is set to Extending_Single if the + -- current project is an extending project. + + elsif Extended then + From_Ext := Extending_Simple; + end if; + + Post_Parse_Context_Clause + (In_Tree => In_Tree, + Context_Clause => First_With, + Limited_Withs => True, + Imported_Projects => Imported_Projects, + Project_Directory => Project_Directory, + From_Extended => From_Ext, + In_Limited => In_Limited, + Packages_To_Check => Packages_To_Check, + Depth => Depth + 1, + Current_Dir => Current_Dir); + Set_First_With_Clause_Of (Project, In_Tree, Imported_Projects); + end; + -- Restore the scan state, in case we are not the main project Restore_Project_Scan_State (Project_Scan_State); diff --git a/gcc/ada/prj-proc.adb b/gcc/ada/prj-proc.adb index 385e03536d5..e1a660946c7 100644 --- a/gcc/ada/prj-proc.adb +++ b/gcc/ada/prj-proc.adb @@ -1,5 +1,4 @@ ------------------------------------------------------------------------------ - -- -- -- GNAT COMPILER COMPONENTS -- -- -- @@ -7,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2001-2007, Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2008, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -1104,64 +1103,59 @@ package body Prj.Proc is In_Tree : Project_Tree_Ref; With_Name : Name_Id) return Project_Id is - Data : constant Project_Data := - In_Tree.Projects.Table (Project); - List : Project_List := Data.Imported_Projects; - Result : Project_Id := No_Project; - Temp_Result : Project_Id := No_Project; + Data : constant Project_Data := In_Tree.Projects.Table (Project); + List : Project_List; + Result : Project_Id; + Temp_Result : Project_Id; begin -- First check if it is the name of an extended project - if Data.Extends /= No_Project - and then In_Tree.Projects.Table (Data.Extends).Name = - With_Name - then - return Data.Extends; + Result := Data.Extends; + while Result /= No_Project loop + if In_Tree.Projects.Table (Result).Name = With_Name then + return Result; + else + Result := In_Tree.Projects.Table (Result).Extends; + end if; + end loop; - else - -- Then check the name of each imported project + -- Then check the name of each imported project - while List /= Empty_Project_List loop - Result := In_Tree.Project_Lists.Table (List).Project; + Temp_Result := No_Project; + List := Data.Imported_Projects; + while List /= Empty_Project_List loop + Result := In_Tree.Project_Lists.Table (List).Project; - -- If the project is directly imported, then returns its ID + -- If the project is directly imported, then returns its ID - if - In_Tree.Projects.Table (Result).Name = With_Name - then - return Result; - end if; + if In_Tree.Projects.Table (Result).Name = With_Name then + return Result; + end if; - -- If a project extending the project is imported, then keep - -- this extending project as a possibility. It will be the - -- returned ID if the project is not imported directly. + -- If a project extending the project is imported, then keep this + -- extending project as a possibility. It will be the returned ID + -- if the project is not imported directly. - declare - Proj : Project_Id := - In_Tree.Projects.Table (Result).Extends; - begin - while Proj /= No_Project loop - if In_Tree.Projects.Table (Proj).Name = - With_Name - then - Temp_Result := Result; - exit; - end if; + declare + Proj : Project_Id := In_Tree.Projects.Table (Result).Extends; - Proj := In_Tree.Projects.Table (Proj).Extends; - end loop; - end; + begin + while Proj /= No_Project loop + if In_Tree.Projects.Table (Proj).Name = With_Name then + Temp_Result := Result; + exit; + end if; - List := In_Tree.Project_Lists.Table (List).Next; - end loop; + Proj := In_Tree.Projects.Table (Proj).Extends; + end loop; + end; - pragma Assert - (Temp_Result /= No_Project, - "project not found"); + List := In_Tree.Project_Lists.Table (List).Next; + end loop; - return Temp_Result; - end if; + pragma Assert (Temp_Result /= No_Project, "project not found"); + return Temp_Result; end Imported_Or_Extended_Project_From; ------------------ @@ -2530,6 +2524,7 @@ package body Prj.Proc is Processed_Projects.Set (Name, Project); Processed_Data.Name := Name; + In_Tree.Projects.Table (Project).Name := Name; Get_Name_String (Name); @@ -2588,61 +2583,74 @@ package body Prj.Proc is Prj.Attr.Attribute_First, Project_Level => True); + -- Process non limited withed projects + With_Clause := First_With_Clause_Of (From_Project_Node, From_Project_Node_Tree); while With_Clause /= Empty_Node loop declare New_Project : Project_Id; New_Data : Project_Data; + Proj_Node : Project_Node_Id; begin - Recursive_Process - (In_Tree => In_Tree, - Project => New_Project, - From_Project_Node => - Project_Node_Of (With_Clause, From_Project_Node_Tree), - From_Project_Node_Tree => From_Project_Node_Tree, - Extended_By => No_Project); - New_Data := - In_Tree.Projects.Table (New_Project); - - -- If we were the first project to import it, - -- set First_Referred_By to us. - - if New_Data.First_Referred_By = No_Project then - New_Data.First_Referred_By := Project; - In_Tree.Projects.Table (New_Project) := - New_Data; - end if; + Proj_Node := + Non_Limited_Project_Node_Of + (With_Clause, From_Project_Node_Tree); + + if Proj_Node /= Empty_Node then + Recursive_Process + (In_Tree => In_Tree, + Project => New_Project, + From_Project_Node => + Project_Node_Of + (With_Clause, From_Project_Node_Tree), + From_Project_Node_Tree => From_Project_Node_Tree, + Extended_By => No_Project); - -- Add this project to our list of imported projects + New_Data := + In_Tree.Projects.Table (New_Project); - Project_List_Table.Increment_Last - (In_Tree.Project_Lists); - In_Tree.Project_Lists.Table - (Project_List_Table.Last - (In_Tree.Project_Lists)) := - (Project => New_Project, Next => Empty_Project_List); + -- If we were the first project to import it, + -- set First_Referred_By to us. - -- Imported is the id of the last imported project. - -- If it is nil, then this imported project is our first. + if New_Data.First_Referred_By = No_Project then + New_Data.First_Referred_By := Project; + In_Tree.Projects.Table (New_Project) := + New_Data; + end if; - if Imported = Empty_Project_List then - Processed_Data.Imported_Projects := - Project_List_Table.Last - (In_Tree.Project_Lists); + -- Add this project to our list of imported projects + + Project_List_Table.Increment_Last + (In_Tree.Project_Lists); - else In_Tree.Project_Lists.Table - (Imported).Next := Project_List_Table.Last + (Project_List_Table.Last + (In_Tree.Project_Lists)) := + (Project => New_Project, Next => Empty_Project_List); + + -- Imported is the id of the last imported project. If it + -- is nil, then this imported project is our first. + + if Imported = Empty_Project_List then + Processed_Data.Imported_Projects := + Project_List_Table.Last + (In_Tree.Project_Lists); + + else + In_Tree.Project_Lists.Table + (Imported).Next := Project_List_Table.Last (In_Tree.Project_Lists); - end if; + end if; - Imported := Project_List_Table.Last - (In_Tree.Project_Lists); + Imported := Project_List_Table.Last + (In_Tree.Project_Lists); + end if; With_Clause := - Next_With_Clause_Of (With_Clause, From_Project_Node_Tree); + Next_With_Clause_Of + (With_Clause, From_Project_Node_Tree); end; end loop; @@ -2676,9 +2684,9 @@ package body Prj.Proc is -- or renamed. Also inherit the languages, if attribute Languages -- is not explicitely defined. - if Processed_Data.Extends /= No_Project then - Processed_Data := In_Tree.Projects.Table (Project); + Processed_Data := In_Tree.Projects.Table (Project); + if Processed_Data.Extends /= No_Project then declare Extended_Pkg : Package_Id; Current_Pkg : Package_Id; @@ -2778,9 +2786,78 @@ package body Prj.Proc is end if; end if; end; - - In_Tree.Projects.Table (Project) := Processed_Data; end if; + + -- Process limited withed projects + + With_Clause := + First_With_Clause_Of + (From_Project_Node, From_Project_Node_Tree); + while With_Clause /= Empty_Node loop + declare + New_Project : Project_Id; + New_Data : Project_Data; + Proj_Node : Project_Node_Id; + + begin + Proj_Node := + Non_Limited_Project_Node_Of + (With_Clause, From_Project_Node_Tree); + + if Proj_Node = Empty_Node then + Recursive_Process + (In_Tree => In_Tree, + Project => New_Project, + From_Project_Node => + Project_Node_Of + (With_Clause, From_Project_Node_Tree), + From_Project_Node_Tree => From_Project_Node_Tree, + Extended_By => No_Project); + + New_Data := + In_Tree.Projects.Table (New_Project); + + -- If we were the first project to import it, set + -- First_Referred_By to us. + + if New_Data.First_Referred_By = No_Project then + New_Data.First_Referred_By := Project; + In_Tree.Projects.Table (New_Project) := + New_Data; + end if; + + -- Add this project to our list of imported projects + + Project_List_Table.Increment_Last + (In_Tree.Project_Lists); + + In_Tree.Project_Lists.Table + (Project_List_Table.Last + (In_Tree.Project_Lists)) := + (Project => New_Project, Next => Empty_Project_List); + + -- Imported is the id of the last imported project. If + -- it is nil, then this imported project is our first. + + if Imported = Empty_Project_List then + In_Tree.Projects.Table (Project).Imported_Projects := + Project_List_Table.Last + (In_Tree.Project_Lists); + else + In_Tree.Project_Lists.Table + (Imported).Next := Project_List_Table.Last + (In_Tree.Project_Lists); + end if; + + Imported := Project_List_Table.Last + (In_Tree.Project_Lists); + end if; + + With_Clause := + Next_With_Clause_Of + (With_Clause, From_Project_Node_Tree); + end; + end loop; end; end if; end Recursive_Process; diff --git a/gcc/ada/prj-tree.adb b/gcc/ada/prj-tree.adb index ee206058557..db32e4a0a07 100644 --- a/gcc/ada/prj-tree.adb +++ b/gcc/ada/prj-tree.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2001-2007, Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2008, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -1047,18 +1047,18 @@ package body Prj.Tree is With_Clause := Next_With_Clause_Of (With_Clause, In_Tree); end loop; - -- If it is not an imported project, it might be the imported project + -- If it is not an imported project, it might be an extended project if With_Clause = Empty_Node then - Result := - Extended_Project_Of - (Project_Declaration_Of (Project, In_Tree), In_Tree); - - if Result /= Empty_Node - and then Name_Of (Result, In_Tree) /= With_Name - then - Result := Empty_Node; - end if; + Result := Project; + loop + Result := + Extended_Project_Of + (Project_Declaration_Of (Result, In_Tree), In_Tree); + + exit when Result = Empty_Node + or else Name_Of (Result, In_Tree) = With_Name; + end loop; end if; return Result;