| 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) { |
|---|
| 58 | // CHECK-NOT: __ubsan_handle_out_of_bounds |
|---|
| 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 | } |
|---|
| 69 | |
|---|