aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Schlüter <tobi@gcc.gnu.org>2004-12-14 18:24:46 +0100
committerTobias Schlüter <tobi@gcc.gnu.org>2004-12-14 18:24:46 +0100
commiteee3fa4052e50c5ad7d73c5173150fbf2d1c8c7d (patch)
tree91003d0d5f0a6b08a7473e13605f21b471138ca2
parente9de7779fb89291429e2f095fd32c4847054ccda (diff)
downloadgcc-eee3fa4052e50c5ad7d73c5173150fbf2d1c8c7d.zip
gcc-eee3fa4052e50c5ad7d73c5173150fbf2d1c8c7d.tar.gz
gcc-eee3fa4052e50c5ad7d73c5173150fbf2d1c8c7d.tar.bz2
tree.def, [...]: Correctly document restrictions on the shift width.
2004-12-14 Tobias Schlueter <tobias.schlueter@physik.uni-muenchen.de> * tree.def, doc/c-tree.texi: Correctly document restrictions on the shift width. From-SVN: r92145
-rw-r--r--gcc/doc/c-tree.texi2
-rw-r--r--gcc/tree.def2
2 files changed, 2 insertions, 2 deletions
diff --git a/gcc/doc/c-tree.texi b/gcc/doc/c-tree.texi
index 514b98c..3dc7f71 100644
--- a/gcc/doc/c-tree.texi
+++ b/gcc/doc/c-tree.texi
@@ -2011,7 +2011,7 @@ shift. Right shift should be treated as arithmetic, i.e., the
high-order bits should be zero-filled when the expression has unsigned
type and filled with the sign bit when the expression has signed type.
Note that the result is undefined if the second operand is larger
-than the first operand's type size.
+than or equal to the first operand's type size.
@item BIT_IOR_EXPR
diff --git a/gcc/tree.def b/gcc/tree.def
index ccb75c2..3fc39e5 100644
--- a/gcc/tree.def
+++ b/gcc/tree.def
@@ -630,7 +630,7 @@ DEFTREECODE (ABS_EXPR, "abs_expr", tcc_unary, 1)
The second operand is the number of bits to
shift by; it need not be the same type as the first operand and result.
Note that the result is undefined if the second operand is larger
- than the first operand's type size. */
+ than or equal to the first operand's type size. */
DEFTREECODE (LSHIFT_EXPR, "lshift_expr", tcc_binary, 2)
DEFTREECODE (RSHIFT_EXPR, "rshift_expr", tcc_binary, 2)
DEFTREECODE (LROTATE_EXPR, "lrotate_expr", tcc_binary, 2)