blob: c36b388143f43b84acc72de0fb056cf27c72bf7c (
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
|
/* PR target/19005 */
extern void abort (void);
int v, s;
void
bar (int a, int b)
{
unsigned char x = v;
if (!s)
{
if (a != x || b != (unsigned char) (x + 1))
abort ();
}
else if (a != (unsigned char) (x + 1) || b != x)
abort ();
s ^= 1;
}
int
foo (int x)
{
unsigned char a = x, b = x + 1;
bar (a, b);
a ^= b; b ^= a; a ^= b;
bar (a, b);
return 0;
}
int
main (void)
{
for (v = -10; v < 266; v++)
foo (v);
return 0;
}
|