blob: 55265353369540872e8fba4da99d9be92a7ad99b (
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
68
|
/* { dg-do compile } */
/* Ensure the sanitizer can handle very large offsets (i.e. that the hooks
handle offsets too large for the relevant instructions).
Just want to make sure this compiles without an ICE. */
#ifndef ASIZE
# define ASIZE 0x10000000000UL
#endif
typedef __UINT64_TYPE__ uint64_t;
#if __LONG_MAX__ < 8 * ASIZE
# undef ASIZE
# define ASIZE 4096
#endif
extern void abort (void);
int __attribute__((noinline))
foo (const char *s)
{
if (!s)
return 1;
if (s[0] != 'a')
abort ();
s += ASIZE - 1;
if (s[0] != 'b')
abort ();
return 0;
}
int (*fn) (const char *) = foo;
int __attribute__((noinline))
bar (void)
{
char s[ASIZE];
s[0] = 'a';
s[ASIZE - 1] = 'b';
foo (s);
foo (s);
return 0;
}
int __attribute__((noinline))
baz (long i)
{
if (i)
return fn (0);
else
{
char s[ASIZE];
s[0] = 'a';
s[ASIZE - 1] = 'b';
foo (s);
foo (s);
return fn (0);
}
}
int __attribute__((noinline))
very_large_offset (int *p)
{
char init_array[(uint64_t)0xfefefef];
char other_array[(uint64_t)0xfefefef];
return (int)init_array[p[1]] + (int)other_array[p[0]];
}
|
