gcc/testsuite/c-c++-common/analyzer/pr97668.c

   1 /* { dg-additional-options "-O1" } */
   2
   3 void
   4 wb (_Complex double jh)
   5 {
   6   _Complex double af = 0.0;
   7
   8   do
   9     {
  10       af += jh;
  11     }
  12   while (af != 0.0);
  13 }
  14
  15 _Complex double
  16 o6 (void)
  17 {
  18   _Complex double ba = 0.0;
  19
  20   for (;;)
  21     {
  22       wb (ba);
  23       ba = 1.0;
  24     }
  25
  26   return ba;
  27 }