| // RUN: %clang_cc1 -fsanitize=local-bounds -emit-llvm -triple x86_64-apple-darwin10 %s -o - | FileCheck %s |
| // RUN: %clang_cc1 -fsanitize=local-bounds -fexperimental-new-pass-manager -emit-llvm -triple x86_64-apple-darwin10 %s -o - | FileCheck %s |
| // RUN: %clang_cc1 -fsanitize=array-bounds -O -fsanitize-trap=array-bounds -emit-llvm -triple x86_64-apple-darwin10 -DNO_DYNAMIC %s -o - | FileCheck %s --check-prefixes=CHECK,NONLOCAL |
| // RUN: %clang_cc1 -fsanitize=array-bounds -O -fsanitize-trap=array-bounds -fexperimental-new-pass-manager -emit-llvm -triple x86_64-apple-darwin10 -DNO_DYNAMIC %s -o - | FileCheck %s --check-prefixes=CHECK,NONLOCAL |
| // |
| // REQUIRES: x86-registered-target |
| |
| // CHECK-LABEL: @f |
| double f(int b, int i) { |
| double a[b]; |
| // CHECK: call {{.*}} @llvm.{{(ubsan)?trap}} |
| return a[i]; |
| } |
| |
| // CHECK-LABEL: @f2 |
| void f2() { |
| // everything is constant; no trap possible |
| // CHECK-NOT: call {{.*}} @llvm.{{(ubsan)?trap}} |
| int a[2]; |
| a[1] = 42; |
| |
| #ifndef NO_DYNAMIC |
| short *b = malloc(64); |
| b[5] = *a + a[1] + 2; |
| #endif |
| } |
| |
| // CHECK-LABEL: @f3 |
| void f3() { |
| int a[1]; |
| // CHECK: call {{.*}} @llvm.{{(ubsan)?trap}} |
| a[2] = 1; |
| } |
| |
| union U { int a[0]; int b[1]; int c[2]; }; |
| |
| // CHECK-LABEL: define {{.*}} @f4 |
| int f4(union U *u, int i) { |
| // a and b are treated as flexible array members. |
| // CHECK-NOT: @llvm.ubsantrap |
| return u->a[i] + u->b[i]; |
| // CHECK: } |
| } |
| |
| // CHECK-LABEL: define {{.*}} @f5 |
| int f5(union U *u, int i) { |
| // c is not a flexible array member. |
| // NONLOCAL: call {{.*}} @llvm.ubsantrap |
| return u->c[i]; |
| // CHECK: } |
| } |