aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVincent Celier <celier@adacore.com>2008-05-28 17:55:41 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2008-05-28 17:55:41 +0200
commit3fdd06e1ec6e3fd364b2958f4fefe9eb3b09d1ad (patch)
tree7044b40a4527d99b3de647d770d88fdc0ab1050c
parentc79f3417730f2c186364d99f70f51a6975bd63c3 (diff)
downloadgcc-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
-rw-r--r--gcc/ada/gnat_ugn.texi15
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