diff options
| author | Vincent Celier <celier@adacore.com> | 2008-05-28 17:55:41 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-28 17:55:41 +0200 |
| commit | 3fdd06e1ec6e3fd364b2958f4fefe9eb3b09d1ad (patch) | |
| tree | 7044b40a4527d99b3de647d770d88fdc0ab1050c /gcc | |
| parent | c79f3417730f2c186364d99f70f51a6975bd63c3 (diff) | |
| download | gcc-3fdd06e1ec6e3fd364b2958f4fefe9eb3b09d1ad.zip gcc-3fdd06e1ec6e3fd364b2958f4fefe9eb3b09d1ad.tar.gz gcc-3fdd06e1ec6e3fd364b2958f4fefe9eb3b09d1ad.tar.bz2 | |
re PR ada/34446 (gnatprep evaluating "not" operator at incorrect precidence)
2008-05-28 Vincent Celier <celier@adacore.com>
PR ada/34446
* gnat_ugn.texi: Document restriction introduced on 2007-04-20 in
preprocessing expressions
From-SVN: r136111
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 4f96a2d..d40d0e8 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -17837,6 +17837,21 @@ In this example, @i{expression} is defined by the following grammar: @i{expression} ::= ( @i{expression} ) @end smallexample +The following restriction exists: it is not allowed to have "and" or "or" +following "not" in the same expression without parentheses. For example, this +is not allowed: + +@smallexample + not X or Y +@end smallexample + +This should be one of the following: + +@smallexample + (not X) or Y + not (X or Y) +@end smallexample + @noindent For the first test (@i{expression} ::= <symbol>) the symbol must have either the value true or false, that is to say the right-hand of the |