diff mbox

[C] Fix -Wunused-but-set-* regression with vector indexing (PR c/71719)

Message ID 20160701205122.GA7387@tucnak.redhat.com
State New
Headers show

Commit Message

Jakub Jelinek July 1, 2016, 8:51 p.m. UTC
Hi!

In r236630 we started using VCE for vector indexing, but
	* expr.c (mark_exp_read): Handle VIEW_CONVERT_EXPR.                                                                                        
has been changed in C++ FE only, not C FE, while it is needed
in C FE too as the following testcase shows.

Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?

2016-07-01  Jakub Jelinek  <jakub@redhat.com>

	PR c/71719
	* c-typeck.c (mark_exp_read): Handle VIEW_CONVERT_EXPR.

	* c-c++-common/Wunused-var-15.c: New test.


	Jakub

Comments

Richard Biener July 2, 2016, 6:09 a.m. UTC | #1
On July 1, 2016 10:51:22 PM GMT+02:00, Jakub Jelinek <jakub@redhat.com> wrote:
>Hi!
>
>In r236630 we started using VCE for vector indexing, but
>	* expr.c (mark_exp_read): Handle VIEW_CONVERT_EXPR.                   
>                                                                    
>has been changed in C++ FE only, not C FE, while it is needed
>in C FE too as the following testcase shows.
>
>Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?

OK.

Thanks,
Richard.

>2016-07-01  Jakub Jelinek  <jakub@redhat.com>
>
>	PR c/71719
>	* c-typeck.c (mark_exp_read): Handle VIEW_CONVERT_EXPR.
>
>	* c-c++-common/Wunused-var-15.c: New test.
>
>--- gcc/c/c-typeck.c.jj	2016-06-29 16:10:29.000000000 +0200
>+++ gcc/c/c-typeck.c	2016-07-01 16:30:55.756545761 +0200
>@@ -1896,6 +1896,7 @@ mark_exp_read (tree exp)
>     case IMAGPART_EXPR:
>     CASE_CONVERT:
>     case ADDR_EXPR:
>+    case VIEW_CONVERT_EXPR:
>       mark_exp_read (TREE_OPERAND (exp, 0));
>       break;
>     case COMPOUND_EXPR:
>--- gcc/testsuite/c-c++-common/Wunused-var-15.c.jj	2016-07-01
>16:39:39.639921566 +0200
>+++ gcc/testsuite/c-c++-common/Wunused-var-15.c	2016-07-01
>16:38:59.000000000 +0200
>@@ -0,0 +1,20 @@
>+/* PR c/71719 */
>+/* { dg-do compile } */
>+/* { dg-options "-Wunused -W -Wno-psabi" } */
>+
>+typedef unsigned V __attribute__ ((vector_size (16)));
>+
>+void bar (unsigned);
>+
>+V x;
>+
>+void
>+foo (V v)	/* { dg-bogus "set but not used" } */
>+{
>+  bar (v[0]);
>+  V w = x;	/* { dg-bogus "set but not used" } */
>+  bar (w[1]);
>+}
>+
>+/* Ignore a warning that is irrelevant to the purpose of this test. 
>*/
>+/* { dg-prune-output ".*GCC vector passed by reference.*" } */
>
>	Jakub
diff mbox

Patch

--- gcc/c/c-typeck.c.jj	2016-06-29 16:10:29.000000000 +0200
+++ gcc/c/c-typeck.c	2016-07-01 16:30:55.756545761 +0200
@@ -1896,6 +1896,7 @@  mark_exp_read (tree exp)
     case IMAGPART_EXPR:
     CASE_CONVERT:
     case ADDR_EXPR:
+    case VIEW_CONVERT_EXPR:
       mark_exp_read (TREE_OPERAND (exp, 0));
       break;
     case COMPOUND_EXPR:
--- gcc/testsuite/c-c++-common/Wunused-var-15.c.jj	2016-07-01 16:39:39.639921566 +0200
+++ gcc/testsuite/c-c++-common/Wunused-var-15.c	2016-07-01 16:38:59.000000000 +0200
@@ -0,0 +1,20 @@ 
+/* PR c/71719 */
+/* { dg-do compile } */
+/* { dg-options "-Wunused -W -Wno-psabi" } */
+
+typedef unsigned V __attribute__ ((vector_size (16)));
+
+void bar (unsigned);
+
+V x;
+
+void
+foo (V v)	/* { dg-bogus "set but not used" } */
+{
+  bar (v[0]);
+  V w = x;	/* { dg-bogus "set but not used" } */
+  bar (w[1]);
+}
+
+/* Ignore a warning that is irrelevant to the purpose of this test.  */
+/* { dg-prune-output ".*GCC vector passed by reference.*" } */