re PR c/27273 (tree check fail for legal code when convert returns a constant from...

        PR c/27273
        * c-common.c (convert_and_check): only track TREE_CONSTANT_OVERFLOW
        for CONSTANT_CLASS_P expressions.

        * gcc.dg/overflow-warn-5.c: New testcase.

From-SVN: r114238

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c5470be129a08c96fc969595ecfb29a2280958ac..9cb3befcafc2ff15441173a55530903f0e733d49 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-05-30  Dirk Mueller  <dmueller@suse.de>
+
+       PR c/27273
+       * c-common.c (convert_and_check): Only track TREE_CONSTANT_OVERFLOW
+       for CONSTANT_CLASS_P expresisons.
+
 2006-05-30  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 
        PR c/27718

diff --git a/gcc/c-common.c b/gcc/c-common.c
index a27f5d36a24e54c2a8dadd3e5ff1407dc4c454c8..dea83894e7f21f1e9c279eec71a22240ff4d43e3 100644 (file)
--- a/gcc/c-common.c
+++ b/gcc/c-common.c
@@ -1083,7 +1083,8 @@ convert_and_check (tree type, tree expr)
 
          /* Do not diagnose overflow in a constant expression merely
             because a conversion overflowed.  */
-         TREE_CONSTANT_OVERFLOW (t) = TREE_CONSTANT_OVERFLOW (expr);
+         TREE_CONSTANT_OVERFLOW (t) = CONSTANT_CLASS_P (expr)
+                                       && TREE_CONSTANT_OVERFLOW (expr);
 
          /* No warning for converting 0x80000000 to int.  */
          if (!(TYPE_UNSIGNED (type) < TYPE_UNSIGNED (TREE_TYPE (expr))

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dc0ec7cf69894f96c2ffb2fa71bcd5ed44e120b9..d5b709419be5285bb0a91a006b6229dfef51e0e7 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2006-05-30  Dirk Mueller  <dmueller@suse.de>
+
+       PR c/27273
+       * gcc.dg/overflow-warn-5.c: New test.
+
 2006-05-30  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 
        PR c/27718

diff --git a/gcc/testsuite/gcc.dg/overflow-warn-5.c b/gcc/testsuite/gcc.dg/overflow-warn-5.c
new file mode 100644 (file)
index 0000000..472d4a7
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/overflow-warn-5.c
@@ -0,0 +1,7 @@
+/* PR c/27273 */
+/* { dg-do compile } */
+/* { dg-options "-Woverflow" } */
+
+unsigned char rx_async(unsigned char p) {
+    return p & 512; /* { dg-warning "overflow in implicit constant conversion" } */
+}