| 1 | // RUN: %clangxx -fsanitize=bounds %s -O3 -o %t |
|---|
| 2 | // RUN: %run %t 0 0 0 |
|---|
| 3 | // RUN: %run %t 1 2 3 |
|---|
| 4 | // RUN: %expect_crash %run %t 2 0 0 2>&1 | FileCheck %s --check-prefix=CHECK-A-2 |
|---|
| 5 | // RUN: %run %t 0 3 0 2>&1 | FileCheck %s --check-prefix=CHECK-B-3 |
|---|
| 6 | // RUN: %run %t 0 0 4 2>&1 | FileCheck %s --check-prefix=CHECK-C-4 |
|---|
| 7 | |
|---|
| 8 | int get_int(int *const p __attribute__((pass_object_size(0))), int i) { |
|---|
| 9 | // CHECK-A-2: bounds.cpp:[[@LINE+1]]:10: runtime error: index 2 out of bounds for type 'int *' |
|---|
| 10 | return p[i]; |
|---|
| 11 | } |
|---|
| 12 | |
|---|
| 13 | int get_double(double *const p __attribute__((pass_object_size(0))), int i) { |
|---|
| 14 | // CHECK-A-2: bounds.cpp:[[@LINE+1]]:10: runtime error: index 2 out of bounds for type 'double *' |
|---|
| 15 | return p[i]; |
|---|
| 16 | } |
|---|
| 17 | |
|---|
| 18 | int main(int argc, char **argv) { |
|---|
| 19 | int bar[2]; |
|---|
| 20 | get_int(p: bar, i: argv[1][0] - '0'); |
|---|
| 21 | |
|---|
| 22 | double baz[2]; |
|---|
| 23 | get_double(p: baz, i: argv[1][0] - '0'); |
|---|
| 24 | |
|---|
| 25 | int arr[2][3][4] = {}; |
|---|
| 26 | |
|---|
| 27 | return arr[argv[1][0] - '0'][argv[2][0] - '0'][argv[3][0] - '0']; |
|---|
| 28 | // CHECK-A-2: bounds.cpp:[[@LINE-1]]:10: runtime error: index 2 out of bounds for type 'int[2][3][4]' |
|---|
| 29 | // CHECK-B-3: bounds.cpp:[[@LINE-2]]:10: runtime error: index 3 out of bounds for type 'int[3][4]' |
|---|
| 30 | // CHECK-C-4: bounds.cpp:[[@LINE-3]]:10: runtime error: index 4 out of bounds for type 'int[4]' |
|---|
| 31 | } |
|---|
| 32 | |
|---|
