From: Arnaud Charlet Date: Mon, 1 Oct 2012 08:30:49 +0000 (+0200) Subject: [multiple changes] X-Git-Tag: misc/gccgo-go1_1_2~537 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=3f5e1e076e44c9af6920085e52c170f40cd73ae3;p=thirdparty%2Fgcc.git [multiple changes] 2012-10-01 Robert Dewar * checks.ads: Minor reformatting. 2012-10-01 Yannick Moy * types.ads, sem_prag.adb, sem.ads: Correct minor typos in comments. From-SVN: r191897 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4a7e8b99d099..71b633966362 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2012-10-01 Robert Dewar + + * checks.ads: Minor reformatting. + +2012-10-01 Yannick Moy + + * types.ads, sem_prag.adb, sem.ads: Correct minor typos in comments. + 2012-10-01 Vincent Celier * make.adb (Scan_Make_Arg): Only test for "vP" of the option diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index 850bf84186a0..153d1815ef13 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -211,18 +211,18 @@ package Checks is Hi : out Uint; Assume_Valid : Boolean := False); -- N is a node for a subexpression. If N is of a discrete type with no - -- error indications, and no other peculiarities (e.g. missing type - -- fields), then OK is True on return, and Lo and Hi are set to a - -- conservative estimate of the possible range of values of N. Thus if OK - -- is True on return, the value of the subexpression N is known to like in - -- the range Lo .. Hi (inclusive). If the expression is not of a discrete - -- type, or some kind of error condition is detected, then OK is False on - -- exit, and Lo/Hi are set to No_Uint. Thus the significance of OK being - -- False on return is that no useful information is available on the range - -- of the expression. Assume_Valid determines whether the processing is - -- allowed to assume that values are in range of their subtypes. If it is - -- set to True, then this assumption is valid, if False, then processing - -- is done using base types to allow invalid values. + -- error indications, and no other peculiarities (e.g. missing Etype), + -- then OK is True on return, and Lo and Hi are set to a conservative + -- estimate of the possible range of values of N. Thus if OK is True on + -- return, the value of the subexpression N is known to lie in the range + -- Lo .. Hi (inclusive). If the expression is not of a discrete type, or + -- some kind of error condition is detected, then OK is False on exit, and + -- Lo/Hi are set to No_Uint. Thus the significance of OK being False on + -- return is that no useful information is available on the range of the + -- expression. Assume_Valid determines whether the processing is allowed to + -- assume that values are in range of their subtypes. If it is set to True, + -- then this assumption is valid, if False, then processing is done using + -- base types to allow invalid values. procedure Install_Null_Excluding_Check (N : Node_Id); -- Determines whether an access node requires a runtime access check and diff --git a/gcc/ada/sem.ads b/gcc/ada/sem.ads index f219b923668e..da6eb52c2285 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 diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 2b3d7b81ad7b..a9c1af7b2b57 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -11761,7 +11761,7 @@ package body Sem_Prag is --------------------- -- pragma Overflow_Checks - -- ([General => ] MODE [, [Assertions => ] MODE); + -- ([General => ] MODE [, [Assertions => ] MODE]); -- MODE := SUPPRESSED | CHECKED | MINIMIZED | ELIMINATED diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads index 0f9cea25eb36..97d2646af72e 100644 --- a/gcc/ada/types.ads +++ b/gcc/ada/types.ads @@ -741,7 +741,7 @@ package Types is type Suppress_Record is record Suppress : Suppress_Array; -- Indicates suppression status of each possible check. Note: there - -- is an entry for Overflow_Checks in this array, but it is never used. + -- is an entry for Overflow_Check in this array, but it is never used. -- Instead we use the more detailed information in the two components -- that follow this one (Overflow_Checks_General/Assertions). @@ -750,8 +750,8 @@ package Types is -- general expressions outside assertions. Overflow_Checks_Assertions : Overflow_Check_Type; - -- This field indicates the mode of overflow checking to be applied to - -- any expressions occuring inside assertions. + -- This field indicates the mode of overflow checking to be applied to + -- any expression occuring inside assertions. end record; Suppress_All : constant Suppress_Record :=