diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 11:02:11 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 11:02:11 +0100 |
| commit | 2593c3e1cb8b4325f87ea5a2ce9c1f906c4cf45b (patch) | |
| tree | 0381871c3df52168bdd59daf8a8cca434563c28e /gcc/ada/scos.ads | |
| parent | 1a1054884e248ff337bb8958e1889b90c192f22d (diff) | |
| download | gcc-2593c3e1cb8b4325f87ea5a2ce9c1f906c4cf45b.zip gcc-2593c3e1cb8b4325f87ea5a2ce9c1f906c4cf45b.tar.gz gcc-2593c3e1cb8b4325f87ea5a2ce9c1f906c4cf45b.tar.bz2 | |
[multiple changes]
2010-01-26 Arnaud Charlet <charlet@adacore.com>
* s-tpoben.adb: Update comments.
2010-01-26 Robert Dewar <dewar@adacore.com>
* freeze.adb (Set_Small_Size): Don't set size if alignment clause
present.
2010-01-26 Robert Dewar <dewar@adacore.com>
* scos.ads: Clean up documentation, remove obsolete XOR references
From-SVN: r156238
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index a726874..3efc5a5 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -160,7 +160,12 @@ package SCOs is -- Decisions -- Note: in the following description, logical operator includes only the - -- short circuited forms (so can be only of NOT, AND THEN, or OR ELSE). + -- short circuited forms and NOT (so can be only NOT, AND THEN, OR ELSE). + -- The reason that we can exclude AND/OR/XOR is that we expect SCO's to + -- be generated using the restriction No_Direct_Boolean_Operators, which + -- does not permit the use of AND/OR/XOR on boolean operands. These are + -- permitted on modular integer types, but such operations do not count + -- as decisions in any case -- Decisions are either simple or complex. A simple decision is a boolean -- expresssion that occurs in the context of a control structure in the @@ -217,7 +222,7 @@ package SCOs is -- expression ::= !sloc term (if expr is NOT) -- In the last four cases, sloc is the source location of the AND, OR, - -- XOR or NOT token, respectively. + -- or NOT token, respectively. -- term ::= element -- term ::= expression @@ -296,7 +301,7 @@ package SCOs is -- Operator -- C1 = '!', '^', '&', '|' -- C2 = ' ' - -- From = location of NOT/XOR/AND/OR token + -- From = location of NOT/AND/OR token -- To = No_Source_Location -- Last = False |