* tree.def (TRUTH_NOT_EXPR): Improve documentation.

From-SVN: r38631

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d379f7a929dad6bc35d6240bb3208f326e60f47b..884a4befc612dce8fb3e21f13412285654ed9100 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2001-01-02  Mark Mitchell  <mark@codesourcery.com>
+
+       * tree.def (TRUTH_NOT_EXPR): Improve documentation.
+
 Tue Jan  2 10:47:38 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.
 
        * expr.c (store_constructor_field): Update ALIGN before calling

diff --git a/gcc/tree.def b/gcc/tree.def
index c61a5ff578bee69ebc4fa3aff07ea65b82665a0d..23fda18c516a0823fac04328f61958da32470fb8 100644 (file)
--- a/gcc/tree.def
+++ b/gcc/tree.def
@@ -620,11 +620,15 @@ DEFTREECODE (BIT_AND_EXPR, "bit_and_expr", '2', 2)
 DEFTREECODE (BIT_ANDTC_EXPR, "bit_andtc_expr", '2', 2)
 DEFTREECODE (BIT_NOT_EXPR, "bit_not_expr", '1', 1)
 
-/* Combination of boolean values or of integers considered only
-   as zero or nonzero.  ANDIF and ORIF allow the second operand
-   not to be computed if the value of the expression is determined
-   from the first operand.  AND, OR, and XOR always compute the second
-   operand whether its value is needed or not (for side effects).  */
+/* ANDIF and ORIF allow the second operand not to be computed if the
+   value of the expression is determined from the first operand.  AND,
+   OR, and XOR always compute the second operand whether its value is
+   needed or not (for side effects).  The operand may have
+   BOOLEAN_TYPE or INTEGER_TYPE.  In either case, the argument will be
+   either zero or one.  For example, a TRUTH_NOT_EXPR will never have
+   a INTEGER_TYPE VAR_DECL as its argument; instead, a NE_EXPR will be
+   used to compare the VAR_DECL to zero, thereby obtaining a node with
+   value zero or one.  */
 DEFTREECODE (TRUTH_ANDIF_EXPR, "truth_andif_expr", 'e', 2)
 DEFTREECODE (TRUTH_ORIF_EXPR, "truth_orif_expr", 'e', 2)
 DEFTREECODE (TRUTH_AND_EXPR, "truth_and_expr", 'e', 2)