gcc/testsuite/gcc.dg/pr68317.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdisable-tree-ethread" } */
   3
   4 /* Note: Threader will collapse loop.  */
   5
   6 typedef int int32_t __attribute__((mode (__SI__)));
   7
   8 void bar (int32_t);
   9
  10 void
  11 foo ()
  12 {
  13  int32_t index = 0;
  14
  15  for (index; index <= 10; index--) // expected warning here
  16    /* Result of the following multiply will overflow
  17       when converted to signed int32_t.  */
  18    bar ((0xcafe + index) * 0xdead);  /* { dg-warning "iteration \[0-9\]+ invokes undefined behavior" } */
  19 }