gcc/testsuite/gcc.c-torture/execute/20230509-1.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

int __attribute__((noipa)) f(unsigned a, int b)
{
  if (a < 0) __builtin_unreachable();
  if (a > 30) __builtin_unreachable();
  int t = a;
  if (b)  t = 100;
  else  if (a != 0)
    t = a ;
  else
    t = 1;
  return t;
}


int main(void)
{
  if (f(0, 0) != 1)
    __builtin_abort();
  if (f(1, 0) != 1)
    __builtin_abort();
  if (f(0, 1) != 100)
    __builtin_abort();
  if (f(1, 0) != 1)
    __builtin_abort();
  if (f(30, 0) != 30)
    __builtin_abort();
}