diff options
author | Robert Dewar <dewar@adacore.com> | 2008-05-27 12:44:21 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-27 12:44:21 +0200 |
commit | 9a3c99402709de5921e18fc18f3a48f71db3b476 (patch) | |
tree | 13f37c41f2ec345b0316a95404fb6281de178a42 | |
parent | 6ba6b1e33331f89ae41ce79e4edf3aee5b744f9c (diff) | |
download | gcc-9a3c99402709de5921e18fc18f3a48f71db3b476.zip gcc-9a3c99402709de5921e18fc18f3a48f71db3b476.tar.gz gcc-9a3c99402709de5921e18fc18f3a48f71db3b476.tar.bz2 |
makeutl.adb: Minor reformatting
2008-05-27 Robert Dewar <dewar@adacore.com>
* makeutl.adb: Minor reformatting
* prj-nmsc.adb: Minor reformatting
* s-stausa.adb: Minor reformatting
* s-stausa.ads: Minor reformatting
* sem_ch6.adb: Minor reformatting
From-SVN: r136005
-rw-r--r-- | gcc/ada/makeutl.adb | 2 | ||||
-rw-r--r-- | gcc/ada/prj-nmsc.adb | 10 | ||||
-rw-r--r-- | gcc/ada/s-stausa.adb | 42 | ||||
-rw-r--r-- | gcc/ada/s-stausa.ads | 36 | ||||
-rw-r--r-- | gcc/ada/sem_ch6.adb | 4 |
5 files changed, 46 insertions, 48 deletions
diff --git a/gcc/ada/makeutl.adb b/gcc/ada/makeutl.adb index ad63cc3..442f431 100644 --- a/gcc/ada/makeutl.adb +++ b/gcc/ada/makeutl.adb @@ -528,7 +528,6 @@ package body Makeutl is begin if Current in Names.First .. Names.Last then return Names.Table (Current).Location; - else return No_Location; end if; @@ -542,7 +541,6 @@ package body Makeutl is begin if Current >= Names.Last then return ""; - else Current := Current + 1; return Get_Name_String (Names.Table (Current).File_Name); diff --git a/gcc/ada/prj-nmsc.adb b/gcc/ada/prj-nmsc.adb index c69c7b3..54877c8 100644 --- a/gcc/ada/prj-nmsc.adb +++ b/gcc/ada/prj-nmsc.adb @@ -8595,18 +8595,18 @@ package body Prj.Nmsc is and then Src_Data.Unit = Unit and then ((Src_Data.Kind = Spec and then Kind = Impl) - or else + or else (Src_Data.Kind = Impl and then Kind = Spec)) then Other_Part := Source; elsif (Unit /= No_Name and then Src_Data.Unit = Unit - and then - (Src_Data.Kind = Kind - or else + and then + (Src_Data.Kind = Kind + or else (Src_Data.Kind = Sep and then Kind = Impl) - or else + or else (Src_Data.Kind = Impl and then Kind = Sep))) or else (Unit = No_Name and then Src_Data.File = File_Name) then diff --git a/gcc/ada/s-stausa.adb b/gcc/ada/s-stausa.adb index 71474dd..07668da 100644 --- a/gcc/ada/s-stausa.adb +++ b/gcc/ada/s-stausa.adb @@ -259,21 +259,24 @@ package body System.Stack_Usage is -- likely to happen. Current_Stack_Level : aliased Integer; + begin -- Reajust the pattern size. When we arrive in this function, there is -- already a given amount of stack used, that we won't analyze. - Analyzer.Stack_Used_When_Filling := Stack_Size - (Analyzer.Bottom_Of_Stack, - To_Stack_Address (Current_Stack_Level'Address)) - + Natural (Current_Stack_Level'Size); + Analyzer.Stack_Used_When_Filling := + Stack_Size + (Analyzer.Bottom_Of_Stack, + To_Stack_Address (Current_Stack_Level'Address)) + + Natural (Current_Stack_Level'Size); - Analyzer.Pattern_Size := Analyzer.Pattern_Size - - Analyzer.Stack_Used_When_Filling; + Analyzer.Pattern_Size := + Analyzer.Pattern_Size - Analyzer.Stack_Used_When_Filling; declare Stack : aliased Stack_Slots - (1 .. Analyzer.Pattern_Size / Bytes_Per_Pattern); + (1 .. Analyzer.Pattern_Size / Bytes_Per_Pattern); + begin Stack := (others => Analyzer.Pattern); @@ -318,8 +321,7 @@ package body System.Stack_Usage is Analyzer.Task_Name := (others => ' '); - -- Compute the task name, and truncate it if it's bigger than - -- Task_Name_Length + -- Compute the task name, and truncate if bigger than Task_Name_Length if Task_Name'Length <= Task_Name_Length then Analyzer.Task_Name (1 .. Task_Name'Length) := Task_Name; @@ -538,16 +540,18 @@ package body System.Stack_Usage is procedure Report_Result (Analyzer : Stack_Analyzer) is Measure : constant Natural := - Stack_Size - (Analyzer.Topmost_Touched_Mark, - Analyzer.Bottom_Of_Stack) - + Analyzer.Stack_Used_When_Filling; - Result : constant Task_Result := - (Task_Name => Analyzer.Task_Name, - Max_Size => Analyzer.Stack_Size, - Min_Measure => Measure, - Max_Measure => Measure + Analyzer.Stack_Size - - Analyzer.Pattern_Size); + Stack_Size + (Analyzer.Topmost_Touched_Mark, + Analyzer.Bottom_Of_Stack) + + Analyzer.Stack_Used_When_Filling; + + Result : constant Task_Result := + (Task_Name => Analyzer.Task_Name, + Max_Size => Analyzer.Stack_Size, + Min_Measure => Measure, + Max_Measure => Measure + Analyzer.Stack_Size + - Analyzer.Pattern_Size); + begin if Analyzer.Result_Id in Result_Array'Range then diff --git a/gcc/ada/s-stausa.ads b/gcc/ada/s-stausa.ads index dd27efe..7c500bf 100644 --- a/gcc/ada/s-stausa.ads +++ b/gcc/ada/s-stausa.ads @@ -41,10 +41,6 @@ package System.Stack_Usage is package SSE renames System.Storage_Elements; - -- The alignment clause seems dubious, what about architectures where - -- the maximum alignment is less than 4??? - -- Anyway, why not use Interfaces.Unsigned_32??? - subtype Stack_Address is SSE.Integer_Address; -- Address on the stack @@ -53,9 +49,8 @@ package System.Stack_Usage is renames System.Storage_Elements.To_Integer; type Stack_Analyzer is private; - -- Type of the stack analyzer tool. It is used to fill a portion of - -- the stack with Pattern, and to compute the stack used after some - -- execution. + -- Type of the stack analyzer tool. It is used to fill a portion of the + -- stack with Pattern, and to compute the stack used after some execution. -- Usage: @@ -90,9 +85,9 @@ package System.Stack_Usage is -- Errors: -- -- We are instrumenting the code to measure the stack used by the user - -- code. This method has a number of systematic errors, but several - -- methods can be used to evaluate or reduce those errors. Here are - -- those errors and the strategy that we use to deal with them: + -- code. This method has a number of systematic errors, but several methods + -- can be used to evaluate or reduce those errors. Here are those errors + -- and the strategy that we use to deal with them: -- Bottom offset: @@ -164,8 +159,8 @@ package System.Stack_Usage is -- Description: The pattern zone does not fit on the stack. This may -- lead to an erroneous execution. - -- Strategy: Specify a storage size that is bigger than the size of the - -- pattern. 2 times bigger should be enough. + -- Strategy: Specify a storage size that is bigger than the size of the + -- pattern. 2 times bigger should be enough. -- Augmentation of the user stack frames: @@ -220,8 +215,8 @@ package System.Stack_Usage is -- Should be called before any use of a Stack_Analyzer, to initialize it. -- Max_Pattern_Size is the size of the pattern zone, might be smaller than -- the full stack size in order to take into account e.g. the secondary - -- stack and a gard against overflow. The actual size taken will be - -- reajusted, with data already used at the time the stack is actually + -- stack and a guard against overflow. The actual size taken will be + -- reajusted with data already used at the time the stack is actually -- filled. Is_Enabled : Boolean := False; @@ -320,15 +315,16 @@ private Compute_Environment_Task : Boolean; type Task_Result is record - Task_Name : String (1 .. Task_Name_Length); - Min_Measure : Natural; - -- Minimal value for the measure. + Task_Name : String (1 .. Task_Name_Length); + + Min_Measure : Natural; + -- Minimum value for the measure - Max_Measure : Natural; - -- Maximal value for the measure, taking into account the actual size + Max_Measure : Natural; + -- Maximum value for the measure, taking into account the actual size -- of the pattern filled. - Max_Size : Natural; + Max_Size : Natural; end record; type Result_Array_Type is array (Positive range <>) of Task_Result; diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 8ba9f75..14a305b 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -5826,10 +5826,10 @@ package body Sem_Ch6 is elsif Implements_Interface (Typ, Iface) then if (Ekind (Etype (Prim)) = E_Anonymous_Access_Type) - /= (Ekind (Etype (Iface_Prim)) = E_Anonymous_Access_Type) + /= + (Ekind (Etype (Iface_Prim)) = E_Anonymous_Access_Type) then return False; - else return Type_Conformant (Prim, Iface_Prim, |