From: Mark Mitchell <mark@codesourcery.com>
Date: Tue, 2 Jan 2001 18:15:18 +0000 (+0000)
Subject: * tree.def (TRUTH_NOT_EXPR): Improve documentation.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=330aa9a385a89f4d46225e10522c3b2f251305e5;p=gcc.git

* tree.def (TRUTH_NOT_EXPR): Improve documentation.

From-SVN: r38631
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d379f7a929d..884a4befc61 100644
--- 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 c61a5ff578b..23fda18c516 100644
--- 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)