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
68
69
70
71
72
73
74
75
|
/* { dg-do run } */
#include <assert.h>
static inline int
blk_oversized_queue (int* q)
{
if (q[2])
return q[1] != 0;
return q[0] == 0;
}
int __attribute__ ((noinline))
get_request (int* q, int rw)
{
if (blk_oversized_queue (q))
{
if ((rw == 1) || (rw == 0))
return -33;
return 0;
}
return -100;
}
int main (void)
{
int x[3];
int r;
x[0] = 0; x[1] = 1; x[2] = 1;
r = get_request (x, 0);
assert (r == -33);
r = get_request (x, 1);
assert (r == -33);
r = get_request (x, 2);
assert (r == 0);
x[0] = 0; x[1] = 0; x[2] = 1;
r = get_request (x, 0);
assert (r == -100);
r = get_request (x, 1);
assert (r == -100);
r = get_request (x, 2);
assert (r == -100);
x[0] = 0; x[1] = 0; x[2] = 0;
r = get_request (x, 0);
assert (r == -33);
r = get_request (x, 1);
assert (r == -33);
r = get_request (x, 2);
assert (r == 0);
x[0] = 0; x[1] = 0; x[2] = 0;
r = get_request (x, 0);
assert (r == -33);
r = get_request (x, 1);
assert (r == -33);
r = get_request (x, 2);
assert (r == 0);
return 0;
}
|
