From bb699b07426be017056c2c549ac3ffb488cab6e3 Mon Sep 17 00:00:00 2001 From: John McCall Date: Mon, 7 Feb 2011 18:37:40 +0000 Subject: [PATCH] When copy-capturing values for a nested capture, use a BlockDeclRefExpr. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125021 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/CGBlocks.cpp | 14 +++++++++++--- test/CodeGenCXX/blocks.cpp | 10 ++++++++++ 2 files changed, 21 insertions(+), 3 deletions(-) create mode 100644 test/CodeGenCXX/blocks.cpp diff --git a/lib/CodeGen/CGBlocks.cpp b/lib/CodeGen/CGBlocks.cpp index bdbc9d3b55..1a7abd242a 100644 --- a/lib/CodeGen/CGBlocks.cpp +++ b/lib/CodeGen/CGBlocks.cpp @@ -583,10 +583,18 @@ llvm::Value *CodeGenFunction::EmitBlockLiteral(const BlockExpr *blockExpr) { // Otherwise, fake up a POD copy into the block field. } else { - DeclRefExpr declRef(const_cast(variable), type, VK_LValue, - SourceLocation()); + // We use one of these or the other depending on whether the + // reference is nested. + DeclRefExpr notNested(const_cast(variable), type, VK_LValue, + SourceLocation()); + BlockDeclRefExpr nested(const_cast(variable), type, + VK_LValue, SourceLocation(), /*byref*/ false); + + Expr *declRef = + (ci->isNested() ? static_cast(&nested) : ¬Nested); + ImplicitCastExpr l2r(ImplicitCastExpr::OnStack, type, CK_LValueToRValue, - &declRef, VK_RValue); + declRef, VK_RValue); EmitAnyExprToMem(&l2r, blockField, /*volatile*/ false, /*init*/ true); } diff --git a/test/CodeGenCXX/blocks.cpp b/test/CodeGenCXX/blocks.cpp new file mode 100644 index 0000000000..568f9b1e4b --- /dev/null +++ b/test/CodeGenCXX/blocks.cpp @@ -0,0 +1,10 @@ +// RUN: %clang_cc1 %s -fblocks -triple x86_64-apple-darwin -emit-llvm -o - | FileCheck %s + +namespace test0 { + // CHECK: define void @_ZN5test04testEi( + // CHECK: define internal void @__test_block_invoke_{{.*}}( + // CHECK: define internal void @__block_global_{{.*}}( + void test(int x) { + ^{ ^{ (void) x; }; }; + } +} -- 2.40.0