maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[CodeGen] When promoting a reference temporary to a global use the inner type to fold it. 

The MaterializeTemporaryExpr can have a different type than the inner
expression, miscompiling the constant. PR23165.

llvm-svn: 234499
This commit is contained in:
Benjamin Kramer 2015-04-09 16:09:29 +00:00
parent 504a5dccc4
commit b2b81439a3
2 changed files with 25 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
clang/lib/CodeGen/CGExpr.cpp
View File

@ -309,12 +309,13 @@ createReferenceTemporary(CodeGenFunction &CGF,
(M->getType()->isArrayType() || M->getType()->isRecordType()) &&
CGF.CGM.isTypeConstant(M->getType(), true))
if (llvm::Constant *Init =
CGF.CGM.EmitConstantExpr(Inner, M->getType(), &CGF)) {
CGF.CGM.EmitConstantExpr(Inner, Inner->getType(), &CGF)) {
auto *GV = new llvm::GlobalVariable(
CGF.CGM.getModule(), Init->getType(), /*isConstant=*/true,
llvm::GlobalValue::PrivateLinkage, Init, ".ref.tmp");
GV->setAlignment(
CGF.getContext().getTypeAlignInChars(M->getType()).getQuantity());
GV->setAlignment(CGF.getContext()
.getTypeAlignInChars(Inner->getType())
.getQuantity());
// FIXME: Should we put the new global into a COMDAT?
return GV;
}

21
clang/test/CodeGenCXX/cxx0x-initializer-references.cpp
View File

@ -1,5 +1,7 @@
// RUN: %clang_cc1 -std=c++11 -S -triple armv7-none-eabi -emit-llvm -o - %s | FileCheck %s
// CHECK: private constant { i8** } { i8** getelementptr inbounds ([3 x i8*], [3 x i8*]* @_ZTVN7PR2316510ChildClassE, i64 0, i64 2) }, align 4
namespace reference {
struct A {
int i1, i2;
@ -79,3 +81,22 @@ namespace reference {
}
}
namespace PR23165 {
struct AbstractClass {
virtual void foo() const = 0;
};
struct ChildClass : public AbstractClass {
virtual void foo() const {}
};
void helper(const AbstractClass &param) {
param.foo();
}
void foo() {
// CHECK: call void @_ZN7PR231656helperERKNS_13AbstractClassE(%{{.*}} bitcast ({ i8** }* @{{.*}} to %{{.*}}*))
helper(ChildClass());
}
}