diff options
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/sem.ads | 58 | ||||
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 10 | ||||
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 8 |
4 files changed, 42 insertions, 38 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 526267c95f2..1cb067ba252 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2009-04-10 Bob Duff <duff@adacore.com> + + * sem.ads, par.adb, sem_ch6.adb, sem_ch8.adb: Minor comment fixes. + 2009-04-10 Tristan Gingold <gingold@adacore.com> * init.c: Install signal handler on Darwin. diff --git a/gcc/ada/sem.ads b/gcc/ada/sem.ads index 93f0780edf8..f6aabfb8049 100644 --- a/gcc/ada/sem.ads +++ b/gcc/ada/sem.ads @@ -397,9 +397,9 @@ package Sem is -- The scope stack indicates the declarative regions that are currently -- being processed (analyzed and/or expanded). The scope stack is one of - -- basic visibility structures in the compiler: entities that are declared - -- in a scope that is currently on the scope stack are immediately visible. - -- (leaving aside issues of hiding and overloading). + -- the basic visibility structures in the compiler: entities that are + -- declared in a scope that is currently on the scope stack are immediately + -- visible (leaving aside issues of hiding and overloading). -- Initially, the scope stack only contains an entry for package Standard. -- When a compilation unit, subprogram unit, block or declarative region @@ -423,12 +423,12 @@ package Sem is -- contiguous sections that correspond to the compilation of a given -- compilation unit. These sections are separated by distinct occurrences -- of package Standard. The currently active section of the scope stack - -- goes from the current scope to the first occurrence of Standard, which - -- is additionally marked with the flag Is_Active_Stack_Base. The basic - -- visibility routine (Find_Direct_Name, sem_ch8) uses this contiguous - -- section of the scope stack to determine whether a given entity is or - -- is not visible at a point. In_Open_Scopes only examines the currently - -- active section of the scope stack. + -- goes from the current scope to the first (innermost) occurrence of + -- Standard, which is additionally marked with the flag + -- Is_Active_Stack_Base. The basic visibility routine (Find_Direct_Name, in + -- Sem_Ch8) uses this contiguous section of the scope stack to determine + -- whether a given entity is or is not visible at a point. In_Open_Scopes + -- only examines the currently active section of the scope stack. -- Similar complications arise when processing child instances. These -- must be compiled in the context of parent instances, and therefore the @@ -462,7 +462,7 @@ package Sem is -- Save contents of Check_Policy_List on entry to restore on exit Is_Transient : Boolean; - -- Marks Transient Scopes (See Exp_Ch7 body for details) + -- Marks transient scopes (see Exp_Ch7 body for details) Previous_Visibility : Boolean; -- Used when installing the parent(s) of the current compilation unit. @@ -484,11 +484,11 @@ package Sem is Pending_Freeze_Actions : List_Id; -- Used to collect freeze entity nodes and associated actions that are - -- generated in a inner context but need to be analyzed outside, such as - -- records and initialization procedures. On exit from the scope, this - -- list of actions is inserted before the scope construct and analyzed - -- to generate the corresponding freeze processing and elaboration of - -- other associated actions. + -- generated in an inner context but need to be analyzed outside, such + -- as records and initialization procedures. On exit from the scope, + -- this list of actions is inserted before the scope construct and + -- analyzed to generate the corresponding freeze processing and + -- elaboration of other associated actions. First_Use_Clause : Node_Id; -- Head of list of Use_Clauses in current scope. The list is built when @@ -533,12 +533,12 @@ package Sem is procedure Analyze (N : Node_Id); procedure Analyze (N : Node_Id; Suppress : Check_Id); - -- This is the recursive procedure which is applied to individual nodes - -- of the tree, starting at the top level node (compilation unit node) - -- and then moving down the tree in a top down traversal. It calls - -- individual routines with names Analyze_xxx to analyze node xxx. Each - -- of these routines is responsible for calling Analyze on the components - -- of the subtree. + -- This is the recursive procedure that is applied to individual nodes of + -- the tree, starting at the top level node (compilation unit node) and + -- then moving down the tree in a top down traversal. It calls individual + -- routines with names Analyze_xxx to analyze node xxx. Each of these + -- routines is responsible for calling Analyze on the components of the + -- subtree. -- -- Note: In the case of expression components (nodes whose Nkind is in -- N_Subexpr), the call to Analyze does not complete the semantic analysis @@ -577,9 +577,9 @@ package Sem is -- Inserts list L after node N using Nlists.Insert_List_After, and then, -- after this insertion is complete, analyzes all the nodes in the list, -- including any additional nodes generated by this analysis. If the list - -- is empty or be No_List, the call has no effect. If the Suppress - -- argument is present, then the analysis is done with the specified - -- check suppressed (can be All_Checks to suppress all checks). + -- is empty or No_List, the call has no effect. If the Suppress argument is + -- present, then the analysis is done with the specified check suppressed + -- (can be All_Checks to suppress all checks). procedure Insert_List_Before_And_Analyze (N : Node_Id; L : List_Id); @@ -588,9 +588,9 @@ package Sem is -- Inserts list L before node N using Nlists.Insert_List_Before, and then, -- after this insertion is complete, analyzes all the nodes in the list, -- including any additional nodes generated by this analysis. If the list - -- is empty or be No_List, the call has no effect. If the Suppress - -- argument is present, then the analysis is done with the specified - -- check suppressed (can be All_Checks to suppress all checks). + -- is empty or No_List, the call has no effect. If the Suppress argument is + -- present, then the analysis is done with the specified check suppressed + -- (can be All_Checks to suppress all checks). procedure Insert_After_And_Analyze (N : Node_Id; M : Node_Id); @@ -618,7 +618,7 @@ package Sem is procedure Enter_Generic_Scope (S : Entity_Id); -- Shall be called each time a Generic subprogram or package scope is - -- entered. S is the entity of the scope. + -- entered. S is the entity of the scope. -- ??? At the moment, only called for package specs because this mechanism -- is only used for avoiding freezing of external references in generics -- and this can only be an issue if the outer generic scope is a package @@ -626,7 +626,7 @@ package Sem is procedure Exit_Generic_Scope (S : Entity_Id); -- Shall be called each time a Generic subprogram or package scope is - -- exited. S is the entity of the scope. + -- exited. S is the entity of the scope. -- ??? At the moment, only called for package specs exit. function Explicit_Suppress (E : Entity_Id; C : Check_Id) return Boolean; diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index df625f82da4..c125a713054 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -188,11 +188,11 @@ package body Sem_Ch6 is (N : Node_Id; Spec_Id : Entity_Id; Body_Id : Entity_Id); - -- Called from Analyze_Body to deal with scanning post conditions for the - -- body and assembling and inserting the _postconditions procedure. N is - -- the node for the subprogram body and Body_Id/Spec_Id are the entities - -- for the body and separate spec (if there is no separate spec, Spec_Id - -- is Empty). + -- Called from Analyze[_Generic]_Subprogram_Body to deal with scanning post + -- conditions for the body and assembling and inserting the _postconditions + -- procedure. N is the node for the subprogram body and Body_Id/Spec_Id are + -- the entities for the body and separate spec (if there is no separate + -- spec, Spec_Id is Empty). procedure Set_Formal_Validity (Formal_Id : Entity_Id); -- Formal_Id is an formal parameter entity. This procedure deals with diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index fa708445515..116b5601803 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -3384,10 +3384,10 @@ package body Sem_Ch8 is -- Saves start of homonym chain Nvis_Entity : Boolean; - -- Set True to indicate that at there is at least one entity on the - -- homonym chain which, while not visible, is visible enough from the - -- user point of view to warrant an error message of "not visible" - -- rather than undefined. + -- Set True to indicate that there is at least one entity on the homonym + -- chain which, while not visible, is visible enough from the user point + -- of view to warrant an error message of "not visible" rather than + -- undefined. Nvis_Is_Private_Subprg : Boolean := False; -- Ada 2005 (AI-262): Set True to indicate that a form of Beaujolais |