diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-28 15:55:41 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-28 15:55:41 +0000 |
| commit | 516a3f757c712d5bda130e7ef165f75b1668acc6 (patch) | |
| tree | 7044b40a4527d99b3de647d770d88fdc0ab1050c | |
| parent | 7f889ea1271514f59680efaaf0a14800198b3e73 (diff) | |
| download | gcc-516a3f757c712d5bda130e7ef165f75b1668acc6.tar.gz | |
2008-05-28 Vincent Celier <celier@adacore.com>
PR ada/34446
* gnat_ugn.texi: Document restriction introduced on 2007-04-20 in
preprocessing expressions
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@136111 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 4f96a2d8ec4..d40d0e86199 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 |