PR bootstrap/43699

	* c-typeck.c (c_process_expr_stmt): Call mark_exp_read even
	for exprs satisfying handled_component_p.

	* gcc.dg/Wunused-var-7.c: New test.


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

1 files changed, 3 insertions, 1 deletions

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index 2296cbe2f93..681c0e42df9 100644
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -8826,11 +8826,13 @@ c_process_expr_stmt (location_t loc, tree expr)
       && warn_unused_value)
     emit_side_effect_warnings (loc, expr);
 
+  if (DECL_P (expr) || handled_component_p (expr))
+    mark_exp_read (expr);
+
   /* If the expression is not of a type to which we cannot assign a line
      number, wrap the thing in a no-op NOP_EXPR.  */
   if (DECL_P (expr) || CONSTANT_CLASS_P (expr))
     {
-      mark_exp_read (expr);
       expr = build1 (NOP_EXPR, TREE_TYPE (expr), expr);
       SET_EXPR_LOCATION (expr, loc);
     }