1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  unsigned char uc;
       4  unsigned short us;
       5  
       6  void testuc() {
       7    unsigned int g = 0;
       8    unsigned int *p1 = &g;
       9    unsigned char *p2 = &uc;
      10  
      11    do {
      12      (*p1)++;
      13      (*p2)--;
      14    } while (uc);
      15  
      16    if (g != 256)
      17      __builtin_abort();
      18  }
      19  
      20  void testus() {
      21    unsigned int g = 0;
      22    unsigned int *p1 = &g;
      23    unsigned short *p2 = &us;
      24  
      25    do {
      26      (*p1)++;
      27      (*p2)--;
      28    } while (us);
      29  
      30    if (g != 65536)
      31      __builtin_abort();
      32  }
      33  
      34  int main() {
      35    testuc();
      36    testus();
      37    return 0;
      38  }
      39