blob: 3af5a9a2ec7ebe10705e20866b9987ae4625bc92 (
plain)
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
/* PR tree-optimization/89143 */
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */
/* { dg-final { scan-tree-dump-not "link_error \\\(" "optimized" } } */
void link_error (void);
void
f1 (signed char i)
{
if (__builtin_abs (i) < 0 || __builtin_abs (i) > __SCHAR_MAX__ + 1)
link_error ();
}
void
f2 (signed char i)
{
if (i < 0 || i > 15)
__builtin_unreachable ();
if (__builtin_abs (i) < 0 || __builtin_abs (i) > 15)
link_error ();
}
void
f3 (signed char i)
{
if (i < 19 || i > 25)
__builtin_unreachable ();
if (__builtin_abs (i) < 19 || __builtin_abs (i) > 25)
link_error ();
}
void
f4 (signed char i)
{
if (i > -60)
__builtin_unreachable ();
if (__builtin_abs (i) < 60 || __builtin_abs (i) > __SCHAR_MAX__ + 1)
link_error ();
}
void
f5 (signed char i)
{
if (i < -__SCHAR_MAX__ || i > -30)
__builtin_unreachable ();
if (__builtin_abs (i) < 30 || __builtin_abs (i) > __SCHAR_MAX__)
link_error ();
}
void
f6 (signed char i)
{
if (i < -__SCHAR_MAX__ || i > 30)
__builtin_unreachable ();
if (__builtin_abs (i) < 0 || __builtin_abs (i) > __SCHAR_MAX__)
link_error ();
}
void
f7 (signed char i)
{
if (i < -31 || i > 30)
__builtin_unreachable ();
if (__builtin_abs (i) < 0 || __builtin_abs (i) > 31)
link_error ();
}
|
