blob: 55a87e0019e9ba768bef5129c74f093caf0eba9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/* We used to handle pointer addition wrongly
at the time of recombining to an ARRAY_REF
in the case of
p + -4B
where -4B is represented as unsigned. */
void abort(void);
int main()
{
int a[10], *p, *q;
q = &a[1];
p = &q[-1];
if (p >= &a[9])
abort ();
return 0;
}
|