gcc/testsuite/gcc.dg/bitint-110.c

   1 /* PR middle-end/116898 */
   2 /* { dg-do compile { target bitint575 } } */
   3 /* { dg-options "-O -finstrument-functions -fnon-call-exceptions" } */
   4
   5 _BitInt(127) a;
   6 _BitInt(511) b;
   7
   8 void
   9 foo (_BitInt(31) c)
  10 {
  11   do
  12     {
  13       c %= b;
  14 again:
  15     }
  16   while (c);
  17   a /= 0;               /* { dg-warning "division by zero" } */
  18   c -= a;
  19   goto again;
  20 }