1 // RUN: %clangxx -std=c++11 -fsanitize=pointer-overflow %s -o %t
2 // RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not="error:"
3 
main(int argc,char * argv[])4 int main(int argc, char *argv[]) {
5   char c;
6   char *p = &c;
7   unsigned long long neg_1 = -1;
8 
9   // CHECK: unsigned-index-expression.cpp:[[@LINE+1]]:15: runtime error: addition of unsigned offset to 0x{{.*}} overflowed to 0x{{.*}}
10   char *q = p + neg_1;
11 
12   // CHECK: unsigned-index-expression.cpp:[[@LINE+1]]:16: runtime error: subtraction of unsigned offset from 0x{{.*}} overflowed to 0x{{.*}}
13   char *q1 = p - neg_1;
14 
15   // CHECK: unsigned-index-expression.cpp:[[@LINE+2]]:16: runtime error: applying non-zero offset {{.*}} to null pointer
16   char *n = nullptr;
17   char *q2 = n - 1ULL;
18 
19   return 0;
20 }
21