gcc/testsuite/gcc.dg/analyzer/pr105365.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

/* { dg-require-effective-target int128 } */

typedef _Float32 f32;
typedef _Complex _Float32 cf32;
_Float32 g;
__int128 i;

extern void bar(int);

void
foo(_Float32 k) {
  f32 f = 0;
  f /= (_Complex char)__builtin_llround(g);
  k /= (cf32)__builtin_copysignf(0, i);
  bar(f + k);
  foo(0);
}