gcc/testsuite/gcc.dg/pr37261.c

   1 /* PR c/37261 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2 -fdump-tree-optimized" } */
   4
   5 unsigned
   6 foo (int x)
   7 {
   8   unsigned a = ((x & 1) | 2) & 0x80000000;      /* { dg-bogus "integer overflow in expression" } */
   9   unsigned b = ((x & 2) | 2) & 0x80000000;      /* { dg-bogus "integer overflow in expression" } */
  10   unsigned c = ((x & 4) | 2) & 0x80000000;      /* { dg-bogus "integer overflow in expression" } */
  11   return a + b + c;
  12 }
  13
  14 /* { dg-final { scan-tree-dump "return 0" "optimized" } } */
  15 /* { dg-final { cleanup-tree-dump "optimized" } } */