diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2014-04-14 23:47:48 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2014-04-14 23:47:48 +0000 |
| commit | a1a808c541db6528cdb18f08799a40116c35bb27 (patch) | |
| tree | c8b0e29f8b900f4bebb33426717bea7c83e1773b /clang/test | |
| parent | b818418689020297e7c634c183ac2e4f020383f0 (diff) | |
| download | bcm5719-llvm-a1a808c541db6528cdb18f08799a40116c35bb27.tar.gz bcm5719-llvm-a1a808c541db6528cdb18f08799a40116c35bb27.zip | |
Ensure we evaluate VLA bounds if a variably-modified type is used as the
argument to __builtin_va_arg. Patch by Rahul Jain, some test massaging and
IR emission order changes by me.
llvm-svn: 206223
Diffstat (limited to 'clang/test')
| -rw-r--r-- | clang/test/CodeGen/varargs.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/clang/test/CodeGen/varargs.c b/clang/test/CodeGen/varargs.c index b6973d8337d..3e2cce07938 100644 --- a/clang/test/CodeGen/varargs.c +++ b/clang/test/CodeGen/varargs.c @@ -1,5 +1,4 @@ -// RUN: %clang_cc1 -emit-llvm -o - %s | FileCheck %s - +// RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm -o - %s | FileCheck %s // PR6433 - Don't crash on va_arg(typedef). typedef double gdouble; @@ -15,3 +14,10 @@ void function_as_vararg() { // CHECK-NOT: llvm.trap vararg(0, focus_changed_cb); } + +void vla(int n, ...) +{ + __builtin_va_list ap; + void *p; + p = __builtin_va_arg(ap, typeof (int (*)[++n])); // CHECK: add nsw i32 {{.*}}, 1 +} |
