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
76
77
78
79
80
81
82
|
/* { dg-do run } */
/* { dg-set-target-env-var ASAN_OPTIONS "detect_invalid_pointer_pairs=1 halt_on_error=1" } */
/* { dg-options "-fsanitize=address,pointer-compare" } */
volatile int v;
int
foo (char *p)
{
char *p2 = p + 20;
v = p > p2;
return v;
}
void
bar (char *p, char *q)
{
v = p <= q;
}
void
baz (char *p, char *q)
{
v = (p != 0 && p < q);
}
char global[8192] = {};
char small_global[7] = {};
int
main ()
{
/* Heap allocated memory. */
char *p = (char *)__builtin_malloc (42);
int r = foo (p);
__builtin_free (p);
p = (char *)__builtin_malloc (1024);
bar (p, p + 1024);
bar (p + 1024, p + 1023);
bar (p + 1, p + 1023);
__builtin_free (p);
p = (char *)__builtin_malloc (4096);
bar (p, p + 4096);
bar (p + 10, p + 100);
bar (p + 1024, p + 4096);
bar (p + 4095, p + 4096);
bar (p + 4095, p + 4094);
bar (p + 100, p + 4096);
bar (p + 100, p + 4094);
__builtin_free (p);
/* Global variable. */
bar (&global[0], &global[1]);
bar (&global[1], &global[2]);
bar (&global[2], &global[1]);
bar (&global[0], &global[100]);
bar (&global[1000], &global[7000]);
bar (&global[500], &global[10]);
p = &global[0];
bar (p, p + 8192);
p = &global[8000];
bar (p, p + 192);
p = &small_global[0];
bar (p, p + 1);
bar (p, p + 7);
bar (p + 7, p + 1);
bar (p + 6, p + 7);
bar (p + 7, p + 7);
/* Stack variable. */
char stack[10000];
bar (&stack[0], &stack[100]);
bar (&stack[1000], &stack[9000]);
bar (&stack[500], &stack[10]);
baz (0, &stack[10]);
return 0;
}
|
