From: Jason Merrill <merrill@gnu.org>
Date: Mon, 13 Feb 1995 20:02:34 +0000 (+0000)
Subject: (warn_if_unused_value): Don't warn about automatic reference dereference.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d1e1adfb128e33b98deb622af8e33844c1d98d2b;p=gcc.git

(warn_if_unused_value): Don't warn about automatic reference dereference.

From-SVN: r8932
---

diff --git a/gcc/stmt.c b/gcc/stmt.c
index 73c5c9d9404..b4e503a2eb5 100644
--- a/gcc/stmt.c
+++ b/gcc/stmt.c
@@ -1746,14 +1746,22 @@ warn_if_unused_value (exp)
 	if (TREE_CODE (tem) == MODIFY_EXPR || TREE_CODE (tem) == INIT_EXPR)
 	  return 0;
       }
-      /* ... fall through ... */
+      goto warn;
 
+    case INDIRECT_REF:
+      /* Don't warn about automatic dereferencing of references, since
+	 the user cannot control it.  */
+      if (TREE_CODE (TREE_TYPE (TREE_OPERAND (exp, 0))) == REFERENCE_TYPE)
+	return warn_if_unused_value (TREE_OPERAND (exp, 0));
+      /* ... fall through ... */
+      
     default:
       /* Referencing a volatile value is a side effect, so don't warn.  */
       if ((TREE_CODE_CLASS (TREE_CODE (exp)) == 'd'
 	   || TREE_CODE_CLASS (TREE_CODE (exp)) == 'r')
 	  && TREE_THIS_VOLATILE (exp))
 	return 0;
+    warn:
       warning_with_file_and_line (emit_filename, emit_lineno,
 				  "value computed is not used");
       return 1;