1*673dc3d4SNico Weber // RUN: %clangxx_asan -O0 %s -o %t -mllvm -asan-detect-invalid-pointer-pair
2*673dc3d4SNico Weber
3*673dc3d4SNico Weber // RUN: %env_asan_opts=detect_invalid_pointer_pairs=1 %run %t
4*673dc3d4SNico Weber
5*673dc3d4SNico Weber #include <assert.h>
6*673dc3d4SNico Weber #include <stdlib.h>
7*673dc3d4SNico Weber
foo(char * p,char * q)8*673dc3d4SNico Weber int foo(char *p, char *q) {
9*673dc3d4SNico Weber return p <= q;
10*673dc3d4SNico Weber }
11*673dc3d4SNico Weber
12*673dc3d4SNico Weber char global[8192] = {};
13*673dc3d4SNico Weber char small_global[7] = {};
14*673dc3d4SNico Weber
main()15*673dc3d4SNico Weber int main() {
16*673dc3d4SNico Weber // Heap allocated memory.
17*673dc3d4SNico Weber char *p = (char *)malloc(42);
18*673dc3d4SNico Weber int r = foo(p, NULL);
19*673dc3d4SNico Weber free(p);
20*673dc3d4SNico Weber
21*673dc3d4SNico Weber p = (char *)malloc(1024);
22*673dc3d4SNico Weber foo(NULL, p);
23*673dc3d4SNico Weber free(p);
24*673dc3d4SNico Weber
25*673dc3d4SNico Weber p = (char *)malloc(4096);
26*673dc3d4SNico Weber foo(p, NULL);
27*673dc3d4SNico Weber free(p);
28*673dc3d4SNico Weber
29*673dc3d4SNico Weber // Global variable.
30*673dc3d4SNico Weber foo(&global[0], NULL);
31*673dc3d4SNico Weber foo(&global[1000], NULL);
32*673dc3d4SNico Weber
33*673dc3d4SNico Weber p = &small_global[0];
34*673dc3d4SNico Weber foo(p, NULL);
35*673dc3d4SNico Weber
36*673dc3d4SNico Weber // Stack variable.
37*673dc3d4SNico Weber char stack[10000];
38*673dc3d4SNico Weber foo(&stack[0], NULL);
39*673dc3d4SNico Weber foo(NULL, &stack[9000]);
40*673dc3d4SNico Weber
41*673dc3d4SNico Weber return 0;
42*673dc3d4SNico Weber }
43