* gcc.dg/c99-bool-1.c: Expect always true warning.

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

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2edcdb4..500d04a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2002-04-26  Richard Henderson  <rth@redhat.com>
+
+       * gcc.dg/c99-bool-1.c: Expect always true warning.
+
 2002-04-25  Roger Sayle  <roger@eyesopen.com>
 
        * gcc.dg/i386-memset-1.c: New test case for PR target/6456.

diff --git a/gcc/testsuite/gcc.dg/c99-bool-1.c b/gcc/testsuite/gcc.dg/c99-bool-1.c
index 632c486..8a45988 100644 (file)
--- a/gcc/testsuite/gcc.dg/c99-bool-1.c
+++ b/gcc/testsuite/gcc.dg/c99-bool-1.c
@@ -228,7 +228,9 @@ main (void)
     abort ();
   if ((u |= 2) != 1)
     abort ();
-  if ((u ^= 3) != 1)
+  /* ??? A bit queer, since this gets optimized to ((u = (u != 3)) != 1)
+     early in semantic analysis, which then yields the warning below.  */
+  if ((u ^= 3) != 1)   /* { dg-warning "always true due to limited range" } */
     abort ();
   /* Test comma expressions.  */
   u = 1;