1// RUN: %clangxx_asan -O0 %s -o %t -mllvm -asan-detect-invalid-pointer-pair
2
3// RUN: %env_asan_opts=detect_invalid_pointer_pairs=1 %run %t k 2>&1 | FileCheck %s -check-prefix=OK -allow-empty
4// RUN: %env_asan_opts=detect_invalid_pointer_pairs=1 not %run %t g 2>&1 | FileCheck %s -check-prefix=CMP -check-prefix=ALL-ERRORS
5// RUN: %env_asan_opts=detect_invalid_pointer_pairs=1 not %run %t s 2>&1 | FileCheck %s -check-prefix=SUB -check-prefix=ALL-ERRORS
6// RUN: %env_asan_opts=detect_invalid_pointer_pairs=1 not %run %t f 2>&1 | FileCheck %s -check-prefix=FREE -check-prefix=ALL-ERRORS
7
8#include <assert.h>
9#include <stdlib.h>
10
11int f(char c, char *p, char *q) {
12  // ALL-ERRORS: ERROR: AddressSanitizer: invalid-pointer-pair
13  // [[PTR1:0x[0-9a-f]+]] [[PTR2:0x[0-9a-f]+]]
14  switch (c) {
15  case 'g':
16    // CMP: #{{[0-9]+ .*}} in f({{char, char\*, char\*|char,char \*,char \*}}) {{.*}}invalid-pointer-pairs.cc:[[@LINE+1]]:14
17    return p > q;
18  case 's':
19    // SUB: #{{[0-9]+ .*}} in f({{char, char\*, char\*|char,char \*,char \*}}) {{.*}}invalid-pointer-pairs.cc:[[@LINE+1]]:14
20    return p - q;
21  case 'k': {
22    // OK-NOT: ERROR
23    char *p2 = p + 20;
24    return p > p2;
25  }
26  case 'f': {
27    char *p3 = p + 20;
28    free(p);
29    // FREE: #{{[0-9]+ .*}} in f({{char, char\*, char\*|char,char \*,char \*}}) {{.*}}invalid-pointer-pairs.cc:[[@LINE+2]]:14
30    // FREE: freed by thread
31    return p < p3;
32  }
33  }
34  assert(0);
35}
36
37int main(int argc, char **argv) {
38  char *p = (char *)malloc(42);
39  char *q = (char *)malloc(42);
40  assert(argc >= 2);
41  f(argv[1][0], p, q);
42  free(p);
43  free(q);
44}
45