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/lib/CodeGen/CGExprScalar.cpp | |
| 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/lib/CodeGen/CGExprScalar.cpp')
| -rw-r--r-- | clang/lib/CodeGen/CGExprScalar.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/lib/CodeGen/CGExprScalar.cpp b/clang/lib/CodeGen/CGExprScalar.cpp index 5f932b08b55..08e410be013 100644 --- a/clang/lib/CodeGen/CGExprScalar.cpp +++ b/clang/lib/CodeGen/CGExprScalar.cpp @@ -3199,6 +3199,10 @@ Value *ScalarExprEmitter::VisitChooseExpr(ChooseExpr *E) { } Value *ScalarExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { + QualType Ty = VE->getType(); + if (Ty->isVariablyModifiedType()) + CGF.EmitVariablyModifiedType(Ty); + llvm::Value *ArgValue = CGF.EmitVAListRef(VE->getSubExpr()); llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, VE->getType()); |
