intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-29 12:53:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

If a global initializer has a non-trivial destructor it can't be emitted as a constant (even if it has a trivial constructor).

Browse Source 
llvm-svn: 95363
This commit is contained in:
Anders Carlsson
2010-02-05 05:19:42 +00:00
parent f668204a6a
commit ecac409cb0
2 changed files with 15 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
clang/lib/CodeGen/CGExprConstant.cpp
View File

@@ -675,9 +675,18 @@ public:
if (!E->getConstructor()->isTrivial())
return 0;
QualType Ty = E->getType();
const CXXRecordDecl *RD =
cast<CXXRecordDecl>(Ty->getAs<RecordType>()->getDecl());
// If the class doesn't have a trivial destructor, we can't emit it as a
// constant expr.
if (!RD->hasTrivialDestructor())
return 0;
// Only copy and default constructors can be trivial.
QualType Ty = E->getType();
if (E->getNumArgs()) {
assert(E->getNumArgs() == 1 && "trivial ctor with > 1 argument");

5
clang/test/CodeGenCXX/global-init.cpp
View File

@@ -9,6 +9,8 @@ struct B { B(); ~B(); };
struct C { void *field; };
struct D { ~D(); };
// CHECK: @c = global %struct.C zeroinitializer, align 8
// CHECK: call void @_ZN1AC1Ev(%struct.A* @a)
@@ -23,4 +25,7 @@ B b;
// CHECK-NOT: call void @_ZN1CC1Ev(%struct.C* @c)
C c;
// CHECK: call i32 @__cxa_atexit(void (i8*)* bitcast (void (%struct.A*)* @_ZN1DD1Ev to void (i8*)*), i8* getelementptr inbounds (%struct.A* @d, i32 0, i32 0), i8* bitcast (i8** @__dso_handle to i8*))
D d;
// CHECK: define internal void @__cxx_global_initialization() {