diff options
| -rw-r--r-- | clang/lib/CodeGen/CodeGenFunction.cpp | 11 | ||||
| -rw-r--r-- | clang/test/CodeGen/cleanup-stack.c | 15 |
2 files changed, 23 insertions, 3 deletions
diff --git a/clang/lib/CodeGen/CodeGenFunction.cpp b/clang/lib/CodeGen/CodeGenFunction.cpp index a54f9bd235f..441c9fcdbf6 100644 --- a/clang/lib/CodeGen/CodeGenFunction.cpp +++ b/clang/lib/CodeGen/CodeGenFunction.cpp @@ -549,7 +549,7 @@ CodeGenFunction::CleanupBlockInfo CodeGenFunction::PopCleanupBlock() EndBlock = createBasicBlock("cleanup.end"); llvm::BasicBlock *CurBB = Builder.GetInsertBlock(); - + Builder.SetInsertPoint(SwitchBlock); llvm::Value *DestCodePtr = CreateTempAlloca(llvm::Type::Int32Ty, @@ -561,9 +561,14 @@ CodeGenFunction::CleanupBlockInfo CodeGenFunction::PopCleanupBlock() BranchFixups.size()); // Restore the current basic block (if any) - if (CurBB) + if (CurBB) { Builder.SetInsertPoint(CurBB); - else + + // If we had a current basic block, we also need to emit an instruction + // to initialize the cleanup destination. + Builder.CreateStore(llvm::Constant::getNullValue(llvm::Type::Int32Ty), + DestCodePtr); + } else Builder.ClearInsertionPoint(); for (size_t i = 0, e = BranchFixups.size(); i != e; ++i) { diff --git a/clang/test/CodeGen/cleanup-stack.c b/clang/test/CodeGen/cleanup-stack.c new file mode 100644 index 00000000000..360f6e701be --- /dev/null +++ b/clang/test/CodeGen/cleanup-stack.c @@ -0,0 +1,15 @@ +// RUN: clang -emit-llvm %s -o %t && +// RUN: grep "store i32 0, i32* %cleanup" %t | count 2 +void f(int n) { + int a[n]; + + { + int b[n]; + + if (n) + return; + } + + if (n) + return; +} |
