blob: 2d86f309cebc4405d0412d043eaa31e00240896c (
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
|
extern void abort (void);
static void fixnum_neg(signed char x, signed char *py, int *pv)
{
unsigned char ux, uy;
ux = (unsigned char)x;
uy = -ux;
*py = (uy <= 127) ? (signed char)uy : (-(signed char)(255 - uy) - 1);
*pv = (x == -128) ? 1 : 0;
}
void __attribute__((noinline)) foo(int x, int y, int v)
{
if (y < -128 || y > 127)
abort();
}
int test_neg(void)
{
signed char x, y;
int v, err;
err = 0;
x = -128;
for (;;) {
fixnum_neg(x, &y, &v);
foo((int)x, (int)y, v);
if ((v && x != -128) || (!v && x == -128))
++err;
if (x == 127)
break;
++x;
}
return err;
}
int main(void)
{
if (sizeof (char) != 1)
return 0;
if (test_neg() != 0)
abort();
return 0;
}
|
