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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@83662 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 03c589c..003505f 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 a22b494..7981c28 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.