2 /* { dg-do compile } */
3 /* { dg-options "-O2 -fdump-tree-vrp1" } */
4 /* { dg-final { scan-tree-dump-not "link_error" "vrp1"} } */
5 /* { dg-final { cleanup-tree-dump "vrp1" } } */
7 #define A(fn, arg, min, max) \
8 if (__builtin_##fn (arg) < min || __builtin_##fn (arg) > max) \
10 #define B(fn, min, max) \
11 A (fn, a, min, max) A (fn##l, b, min, max) A (fn##ll, c, min, max)
12 #define C(fn, min, sub) \
13 A (fn, a, min, ((int) sizeof (a) * __CHAR_BIT__ - sub)) \
14 A (fn##l, b, min, ((int) sizeof (b) * __CHAR_BIT__ - sub)) \
15 A (fn##ll, c, min, ((int) sizeof (c) * __CHAR_BIT__ - sub))
16 #define D(fn, sub1, sub2) \
17 A (fn, a, ((int) sizeof (a) * __CHAR_BIT__ - sub1), \
18 ((int) sizeof (a) * __CHAR_BIT__ - sub2)) \
19 A (fn##l, b, ((int) sizeof (b) * __CHAR_BIT__ - sub1), \
20 ((int) sizeof (b) * __CHAR_BIT__ - sub2)) \
21 A (fn##ll, c, ((int) sizeof (c) * __CHAR_BIT__ - sub1), \
22 ((int) sizeof (c) * __CHAR_BIT__ - sub2))
24 extern void link_error (void);
31 foo (unsigned int a
, unsigned long b
, unsigned long long c
)
43 a
+= 3; b
+= 3; c
+= 3;
46 a
= 32U + (d
& 1023U);
47 b
= 32UL + (e
& 1023UL);
48 c
= 32ULL + (f
& 1023ULL);
54 bar (int a
, long b
, long long c
)