1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -Wuninitialized" } */
       3  
       4  int func_7_uc_10li_19 (int);
       5  int li_4, li_5, us_8;
       6  unsigned char func_7_ptr_13, func_7_uc_14;
       7  void func_7_ptr_18() {
       8    if (li_5) {
       9      for (;;)
      10        ;
      11      short s_15;
      12      for (; func_7_uc_14;) {
      13        us_8 = 7;
      14        for (; us_8; us_8 += 1)
      15        lblD2AF1FAB:
      16          if (us_8)
      17            li_4 = 1;
      18        func_7_uc_14 += (__INTPTR_TYPE__)func_7_ptr_18;
      19        if (func_7_ptr_13 & 1 && (func_7_uc_14 &= func_7_ptr_13))
      20          s_15 %= func_7_uc_10li_19(s_15); /* { dg-warning "uninitialized" } */
      21      }
      22    }
      23    goto lblD2AF1FAB;
      24  }