| Vedant Kumar | 36347d9 | 2017-12-08 01:51:47 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -emit-llvm -w -triple x86_64-apple-darwin10 -fsanitize=array-bounds -o - | FileCheck %s |
| 2 | |
| 3 | // CHECK-LABEL: define i32 @foo( |
| 4 | int foo(int *const p __attribute__((pass_object_size(0))), int n) { |
| 5 | int x = (p)[n]; |
| 6 | |
| 7 | // CHECK: [[SIZE_ALLOCA:%.*]] = alloca i64, align 8 |
| 8 | // CHECK: store i64 %{{.*}}, i64* [[SIZE_ALLOCA]], align 8 |
| 9 | // CHECK: [[LOAD_SIZE:%.*]] = load i64, i64* [[SIZE_ALLOCA]], align 8, !nosanitize |
| 10 | // CHECK-NEXT: [[SCALED_SIZE:%.*]] = udiv i64 [[LOAD_SIZE]], 4, !nosanitize |
| 11 | // CHECK-NEXT: [[SEXT_N:%.*]] = sext i32 %{{.*}} to i64, !nosanitize |
| 12 | // CHECK-NEXT: [[ICMP:%.*]] = icmp ult i64 [[SEXT_N]], [[SCALED_SIZE]], !nosanitize |
| 13 | // CHECK-NEXT: br i1 [[ICMP]], {{.*}} !nosanitize |
| 14 | // CHECK: __ubsan_handle_out_of_bounds |
| 15 | |
| 16 | { |
| 17 | int **p = &p; // Shadow the parameter. The pass_object_size info is lost. |
| 18 | // CHECK-NOT: __ubsan_handle_out_of_bounds |
| 19 | x = *p[n]; |
| 20 | } |
| 21 | |
| 22 | // CHECK: ret i32 |
| 23 | return x; |
| 24 | } |
| 25 | |
| 26 | typedef struct {} ZeroSizedType; |
| 27 | |
| 28 | // CHECK-LABEL: define void @bar( |
| 29 | ZeroSizedType bar(ZeroSizedType *const p __attribute__((pass_object_size(0))), int n) { |
| 30 | // CHECK-NOT: __ubsan_handle_out_of_bounds |
| 31 | // CHECK: ret void |
| 32 | return p[n]; |
| 33 | } |
| 34 | |
| 35 | // CHECK-LABEL: define i32 @baz( |
| 36 | int baz(int *const p __attribute__((pass_object_size(1))), int n) { |
| 37 | // CHECK: __ubsan_handle_out_of_bounds |
| 38 | // CHECK: ret i32 |
| 39 | return p[n]; |
| 40 | } |
| 41 | |
| 42 | // CHECK-LABEL: define i32 @mat( |
| 43 | int mat(int *const p __attribute__((pass_object_size(2))), int n) { |
| 44 | // CHECK-NOT: __ubsan_handle_out_of_bounds |
| 45 | // CHECK: ret i32 |
| 46 | return p[n]; |
| 47 | } |
| 48 | |
| 49 | // CHECK-LABEL: define i32 @pat( |
| 50 | int pat(int *const p __attribute__((pass_object_size(3))), int n) { |
| 51 | // CHECK-NOT: __ubsan_handle_out_of_bounds |
| 52 | // CHECK: ret i32 |
| 53 | return p[n]; |
| 54 | } |
| 55 | |
| 56 | // CHECK-LABEL: define i32 @cat( |
| 57 | int cat(int p[static 10], int n) { |
| Vedant Kumar | 9174b68 | 2017-12-08 19:51:42 +0000 | [diff] [blame] | 58 | // CHECK-NOT: __ubsan_handle_out_of_bounds |
| Vedant Kumar | 36347d9 | 2017-12-08 01:51:47 +0000 | [diff] [blame] | 59 | // CHECK: ret i32 |
| 60 | return p[n]; |
| 61 | } |
| 62 | |
| 63 | // CHECK-LABEL: define i32 @bat( |
| 64 | int bat(int n, int p[n]) { |
| 65 | // CHECK-NOT: __ubsan_handle_out_of_bounds |
| 66 | // CHECK: ret i32 |
| 67 | return p[n]; |
| 68 | } |