diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-05-07 20:23:03 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-05-07 20:23:03 +0000 |
| commit | f4c7679f35eb0775d63ecab19d0fed6b19154658 (patch) | |
| tree | 62bf84a3dfe2890a8c752794e7b5ee97a5813fe6 | |
| parent | 386e832c07a32c6e82dc3ec25907bccfd2e08261 (diff) | |
| download | bcm5719-llvm-f4c7679f35eb0775d63ecab19d0fed6b19154658.tar.gz bcm5719-llvm-f4c7679f35eb0775d63ecab19d0fed6b19154658.zip | |
make this test a little more useful. I'll add more tests for bound checking once -fbounds-checking patch gets in
llvm-svn: 156321
| -rw-r--r-- | clang/test/CodeGen/catch-undef-behavior.c | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/clang/test/CodeGen/catch-undef-behavior.c b/clang/test/CodeGen/catch-undef-behavior.c index fef1587fad0..c2ad7c26720 100644 --- a/clang/test/CodeGen/catch-undef-behavior.c +++ b/clang/test/CodeGen/catch-undef-behavior.c @@ -1,7 +1,17 @@ -// RUN: %clang_cc1 -fcatch-undefined-behavior -emit-llvm-only %s +// RUN: %clang_cc1 -fcatch-undefined-behavior -emit-llvm %s -o - | FileCheck %s // PR6805 +// CHECK: @foo void foo() { union { int i; } u; + // CHECK: objectsize + // CHECK-NEXT: icmp uge u.i=1; } + +// CHECK: @bar +int bar(int *a) { + // CHECK: objectsize + // CHECK-NEXT: icmp uge + return *a; +} |
