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

From-SVN: r83662

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 03c589c5df341827c0c457fa88efa142adeafc72..003505ff5405f979b83b5d8d8179daee1ae20b4b 100644 (file)
--- 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 a22b4948f3b928943a41d66a4512545bd264b52f..7981c283926fdb3ed988c9b3a38a6c2c1fc70a79 100644 (file)
--- 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.