diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:30:49 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:30:49 +0000 |
commit | a1c925e512e2cd97d77c8704cc12cfbc4b70a253 (patch) | |
tree | d8ac9831b4a2ca7cd48c070ef27d4e70565995d6 /gcc/ada/sem.ads | |
parent | 724d2bd81f7196ce25ccc333e13b3318e7fba9f3 (diff) | |
download | ppe42-gcc-a1c925e512e2cd97d77c8704cc12cfbc4b70a253.tar.gz ppe42-gcc-a1c925e512e2cd97d77c8704cc12cfbc4b70a253.zip |
2012-10-01 Robert Dewar <dewar@adacore.com>
* checks.ads: Minor reformatting.
2012-10-01 Yannick Moy <moy@adacore.com>
* types.ads, sem_prag.adb, sem.ads: Correct minor typos in comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191897 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem.ads')
-rw-r--r-- | gcc/ada/sem.ads | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/gcc/ada/sem.ads b/gcc/ada/sem.ads index f219b923668..da6eb52c228 100644 --- a/gcc/ada/sem.ads +++ b/gcc/ada/sem.ads @@ -291,10 +291,10 @@ package Sem is -- Scope based suppress checks for the predefined checks (from initial -- command line arguments, or from Suppress pragmas not including an entity - -- entity name) are recorded in the Sem.Suppress variable, and all that is - -- necessary is to save the state of this variable on scope entry, and - -- restore it on scope exit. This mechanism allows for fast checking of - -- the scope suppress state without needing complex data structures. + -- name) are recorded in the Sem.Scope_Suppress variable, and all that + -- is necessary is to save the state of this variable on scope entry, and + -- restore it on scope exit. This mechanism allows for fast checking of the + -- scope suppress state without needing complex data structures. -- Entity based checks, from Suppress/Unsuppress pragmas giving an -- Entity_Id and scope based checks for non-predefined checks (introduced @@ -322,11 +322,11 @@ package Sem is -- This variable contains the current scope based settings of the suppress -- switches. It is initialized from Suppress_Options in Gnat1drv, and then -- modified by pragma Suppress. On entry to each scope, the current setting - -- is saved the scope stack, and then restored on exit from the scope. This - -- record may be rapidly checked to determine the current status of a check - -- if no specific entity is involved or if the specific entity involved is - -- one for which no specific Suppress/Unsuppress pragma has been set (as - -- indicated by the Checks_May_Be_Suppressed flag being set). + -- is saved on the scope stack, and then restored on exit from the scope. + -- This record may be rapidly checked to determine the current status of + -- a check if no specific entity is involved or if the specific entity + -- involved is one for which no specific Suppress/Unsuppress pragma has + -- been set (as indicated by the Checks_May_Be_Suppressed flag being set). -- This scheme is a little complex, but serves the purpose of enabling -- a very rapid check in the common case where no entity specific pragma |