diff options
author | Vedant Kumar <vsk@apple.com> | 2017-12-08 01:51:51 +0000 |
---|---|---|
committer | Vedant Kumar <vsk@apple.com> | 2017-12-08 01:51:51 +0000 |
commit | 54a1331a5027f748f0088ef64d010dafc8f6e23e (patch) | |
tree | 2a3b06705339b0427c219fe26f8753a069ee0ab5 /test | |
parent | 7161621467402530c62b75c9c74c1dc2b9dd5962 (diff) |
[ubsan] Test for pass_object_size bounds checks
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@320129 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/ubsan/TestCases/Misc/bounds.cpp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/ubsan/TestCases/Misc/bounds.cpp b/test/ubsan/TestCases/Misc/bounds.cpp index 199690dad..9f890f290 100644 --- a/test/ubsan/TestCases/Misc/bounds.cpp +++ b/test/ubsan/TestCases/Misc/bounds.cpp @@ -5,7 +5,23 @@ // RUN: %run %t 0 3 0 2>&1 | FileCheck %s --check-prefix=CHECK-B-3 // RUN: %run %t 0 0 4 2>&1 | FileCheck %s --check-prefix=CHECK-C-4 +int get_int(int *const p __attribute__((pass_object_size(0))), int i) { + // CHECK-A-2: bounds.cpp:[[@LINE+1]]:10: runtime error: index 2 out of bounds for type 'int *' + return p[i]; +} + +int get_double(double *const p __attribute__((pass_object_size(0))), int i) { + // CHECK-A-2: bounds.cpp:[[@LINE+1]]:10: runtime error: index 2 out of bounds for type 'double *' + return p[i]; +} + int main(int argc, char **argv) { + int bar[2]; + get_int(bar, argv[1][0] - '0'); + + double baz[2]; + get_double(baz, argv[1][0] - '0'); + int arr[2][3][4] = {}; return arr[argv[1][0] - '0'][argv[2][0] - '0'][argv[3][0] - '0']; |