gcc/testsuite/gcc.dg/tree-ssa/pr109031-2.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

/* { dg-do run } */
/* { dg-options "-O2 -fwrapv" } */
signed char sc;
__INT16_TYPE__ ss;

void testsc() {
  unsigned int g = 0;
  unsigned int *p1 = &g;
  signed char *p2 = &sc;

  do {
    (*p1)++;
    (*p2)--;
  } while (sc);

  if (g != 256)
    __builtin_abort();
}

void testss() {
  __UINT32_TYPE__ g = 0;
  __UINT32_TYPE__ *p1 = &g;
  __INT16_TYPE__ *p2 = &ss;

  do {
    (*p1)++;
    (*p2)--;
  } while (ss);

  if (g != 65536)
    __builtin_abort();
}

int main() {
  testsc();
  testss();
  return 0;
}