re PR c++/70336 (Incorrect Wconversion warning)

	PR c++/70336
	* match.pd (nested int casts): Limit to GIMPLE.

	* c-c++-common/pr70336.c: New test.
	* gcc.dg/torture/builtin-isinf_sign-1.c (foo): Guard tests
	no longer optimized away at -O0 with #ifndef __OPTIMIZE__.

From-SVN: r234764

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e9f5b1e89737bea8ab67eba92f3632d7cccfc3fb..e5e195fd746b29a55fa067309e9de37af0886b88 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-04-05  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/70336
+       * match.pd (nested int casts): Limit to GIMPLE.
+
 2016-04-05  Jan Hubicka  <hubicka@ucw.cz>
 
        PR ipa/66223

diff --git a/gcc/match.pd b/gcc/match.pd
index c0ed305ed0e8df43f5401816abdb8a19ed6add10..75aa6013b2e2d2c26fb8d11cec7eecc2d91a30d6 100644 (file)
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -1554,7 +1554,8 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
 
     /* A truncation to an unsigned type (a zero-extension) should be
        canonicalized as bitwise and of a mask.  */
-    (if (final_int && inter_int && inside_int
+    (if (GIMPLE /* PR70366: doing this in GENERIC breaks -Wconversion.  */
+        && final_int && inter_int && inside_int
         && final_prec == inside_prec
         && final_prec > inter_prec
         && inter_unsignedp)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f121683b0850b69b855672546d2130dca753b65d..e0ef05bf31b18977571f796864045d5f4fa88dc0 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2016-04-05  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/70336
+       * c-c++-common/pr70336.c: New test.
+       * gcc.dg/torture/builtin-isinf_sign-1.c (foo): Guard tests
+       no longer optimized away at -O0 with #ifndef __OPTIMIZE__.
+
 2016-04-05  Jan Hubicka  <hubicka@ucw.cz>
 
        PR ipa/66223

diff --git a/gcc/testsuite/c-c++-common/pr70336.c b/gcc/testsuite/c-c++-common/pr70336.c
new file mode 100644 (file)
index 0000000..095bd56
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/pr70336.c
@@ -0,0 +1,37 @@
+/* PR c++/70336 */
+/* { dg-do compile } */
+/* { dg-options "-Wconversion" } */
+
+void
+f1 (unsigned char * x, int y, int z)
+{
+  x[z / 8] |= (unsigned char) (0x80 >> y);     /* { dg-bogus "may alter its value" } */
+}
+
+unsigned char
+f2 (unsigned char x, int y)
+{
+  x = x | (unsigned char) (0x80 >> y);         /* { dg-bogus "may alter its value" } */
+  return x;
+}
+
+unsigned char
+f3 (unsigned char x, int y)
+{
+  x = x | (unsigned char) (y & 255);           /* { dg-bogus "may alter its value" } */
+  return x;
+}
+
+unsigned char
+f4 (unsigned char x, unsigned char y)
+{
+  x = x | (unsigned char) (y & 255);           /* { dg-bogus "may alter its value" } */
+  return x;
+}
+
+unsigned char
+f5 (unsigned char x, int y)
+{
+  x = (unsigned char) (y & 255);               /* { dg-bogus "may alter its value" } */
+  return x;
+}

diff --git a/gcc/testsuite/gcc.dg/torture/builtin-isinf_sign-1.c b/gcc/testsuite/gcc.dg/torture/builtin-isinf_sign-1.c
index 6dc2326ede072867bbd7e6267a3eb31bb12413e4..adfffcdb824ef1b4cb0a37a71017adc1fd441de8 100644 (file)
--- a/gcc/testsuite/gcc.dg/torture/builtin-isinf_sign-1.c
+++ b/gcc/testsuite/gcc.dg/torture/builtin-isinf_sign-1.c
@@ -24,6 +24,7 @@ foo (float f, double d, long double ld)
       != (__builtin_isinf(ld) ? (__builtin_signbitl(ld) ? -1 : 1) : 0))
     link_error (__LINE__);
 
+#ifdef __OPTIMIZE__
   /* In boolean contexts, GCC will fold the inner conditional
      expression to 1.  So isinf_sign folds to plain isinf.  */
 
@@ -33,6 +34,7 @@ foo (float f, double d, long double ld)
     link_error (__LINE__);
   if ((_Bool)__builtin_isinf_sign(ld) != (__builtin_isinf(ld) != 0))
     link_error (__LINE__);
+#endif
 
   if ((__builtin_isinf_sign(f) != 0) != (__builtin_isinf(f) != 0))
     link_error (__LINE__);