fold-const.c (non_lvalue): Explicitly list the tree codes that need to be wrapped...

	* fold-const.c (non_lvalue): Explicitly list the tree codes that
	need to be wrapped by NON_LVALUE_EXPR, instead of those that don't.

From-SVN: r82195

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b970d154f0339c237dd92efa736bc3675bf7d5f9..df40b59937550eeb6937bd10b5c6ebd9c02b4bd2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2002-05-23  Roger Sayle  <roger@eyesopen.com>
+
+       * fold-const.c (non_lvalue): Explicitly list the tree codes that
+       need to be wrapped by NON_LVALUE_EXPR, instead of those that don't.
+
 2004-05-23  Joseph S. Myers  <jsm@polyomino.org.uk>
 
        * doc/gcc.texi, doc/gccint.texi, doc/include/gcc-common.texi:

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index ba683ad3f2bb57fd40a68f1c4063fb6a24c83a08..3fa46cafe87506cc37b8a7da09b076dc57e0ee62 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -1993,14 +1993,48 @@ fold_convert (tree type, tree arg)
 tree
 non_lvalue (tree x)
 {
-  /* These things are certainly not lvalues.  */
-  if (TREE_CODE (x) == NON_LVALUE_EXPR
-      || TREE_CODE (x) == INTEGER_CST
-      || TREE_CODE (x) == REAL_CST
-      || TREE_CODE (x) == STRING_CST
-      || TREE_CODE (x) == ADDR_EXPR)
+  /* We only need to wrap lvalue tree codes.  */
+  switch (TREE_CODE (x))
+  {
+  case VAR_DECL:
+  case PARM_DECL:
+  case RESULT_DECL:
+  case LABEL_DECL:
+  case FUNCTION_DECL:
+  case SSA_NAME:
+
+  case COMPONENT_REF:
+  case INDIRECT_REF:
+  case ARRAY_REF:
+  case BIT_FIELD_REF:
+  case BUFFER_REF:
+  case ARRAY_RANGE_REF:
+  case VTABLE_REF:
+
+  case REALPART_EXPR:
+  case IMAGPART_EXPR:
+  case PREINCREMENT_EXPR:
+  case PREDECREMENT_EXPR:
+  case SAVE_EXPR:
+  case UNSAVE_EXPR:
+  case TRY_CATCH_EXPR:
+  case WITH_CLEANUP_EXPR:
+  case COMPOUND_EXPR:
+  case MODIFY_EXPR:
+  case TARGET_EXPR:
+  case COND_EXPR:
+  case BIND_EXPR:
+  case MIN_EXPR:
+  case MAX_EXPR:
+  case RTL_EXPR:
+    break;
+
+  default:
+    /* Assume the worst for front-end tree codes.  */
+    if ((int)TREE_CODE (x) >= NUM_TREE_CODES)
+      break;
     return x;
-
+  }
   return build1 (NON_LVALUE_EXPR, TREE_TYPE (x), x);
 }