| 1 | // RUN: %clangxx -std=c++11 -fsanitize=pointer-overflow %s -o %t |
|---|
| 2 | // RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not="runtime error:" |
|---|
| 3 | |
|---|
| 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 | |
|---|
