From: Devang Patel <dpatel@apple.com>
Date: Fri, 25 Jun 2004 17:36:50 +0000 (-0700)
Subject: * doc/tree-ssa.texi: Document info about MODIFY_EXPR's type
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f71bc914e6ea87e729459937bb7224a02da4b0a4;p=gcc.git

* doc/tree-ssa.texi: Document info about MODIFY_EXPR's type

From-SVN: r83662
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 03c589c5df3..003505ff540 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2004-06-25  Devang Patel  <dpatel@apple.com>
+
+	* doc/tree-ssa.texi: Document info about MODIFY_EXPR's type
+	
 2004-06-25  Paul Brook  <paul@codesourcery.com>
 
 	* target-def.h (TARGET_CXX_GUARD_TYPE, TARGET_CXX_GUARD_MASK_BIT,
diff --git a/gcc/doc/tree-ssa.texi b/gcc/doc/tree-ssa.texi
index a22b4948f3b..7981c283926 100644
--- a/gcc/doc/tree-ssa.texi
+++ b/gcc/doc/tree-ssa.texi
@@ -289,6 +289,8 @@ Most statements will be assignment statements, represented by
 @code{MODIFY_EXPR}.  A @code{CALL_EXPR} whose value is ignored can
 also be a statement.  No other C expressions can appear at statement level;
 a reference to a volatile object is converted into a @code{MODIFY_EXPR}.
+In GIMPLE form, type of @code{MODIFY_EXPR} is not meaningful. Instead, use type 
+of LHS or RHS.
 
 There are also several varieties of complex statements.