blob: ce7f24fde937cc84343f91f419ec5649a91e15cb [file] [log] [blame]
Nuno Lopes08a9ae92012-05-09 15:53:34 +00001// RUN: %clang_cc1 -fbounds-checking=4 -emit-llvm -triple x86_64-apple-darwin10 < %s | FileCheck %s
2
3// CHECK: @f
4double f(int b, int i) {
5 double a[b];
6 return a[i];
7 // CHECK: objectsize.i64({{.*}}, i1 false, i32 4)
8 // CHECK: icmp uge i64 {{.*}}, 8
9}
10
11// CHECK: @f2
12void f2() {
13 int a[2];
14 // CHECK: objectsize.i64({{.*}}, i1 false, i32 4)
15 // CHECK: icmp uge i64 {{.*}}, 4
16 a[1] = 42;
17
18 short *b = malloc(64);
19 // CHECK: objectsize.i64({{.*}}, i1 false, i32 4)
20 // CHECK: icmp uge i64 {{.*}}, 4
21 // CHECK: getelementptr {{.*}}, i64 5
22 // CHECK: objectsize.i64({{.*}}, i1 false, i32 4)
23 // CHECK: icmp uge i64 {{.*}}, 2
24 b[5] = a[1]+2;
25}