diff options
author | Anders Carlsson <andersca@mac.com> | 2009-11-24 16:57:33 +0000 |
---|---|---|
committer | Anders Carlsson <andersca@mac.com> | 2009-11-24 16:57:33 +0000 |
commit | b9f96a3286c784e90bd50ce3ae45280a2e701b7f (patch) | |
tree | e3977db86416782816cb7779c6e991d398d9d43a /clang | |
parent | b7408b95edfeb6633db21d58e59d6a642cb73f1b (diff) | |
download | bcm5719-llvm-b9f96a3286c784e90bd50ce3ae45280a2e701b7f.tar.gz bcm5719-llvm-b9f96a3286c784e90bd50ce3ae45280a2e701b7f.zip |
We always need to emit the base expression of a member expression, even when the member decl refers to an enum. Thanks to Eli for pointing this out!
llvm-svn: 89775
Diffstat (limited to 'clang')
-rw-r--r-- | clang/lib/CodeGen/CGExprScalar.cpp | 11 | ||||
-rw-r--r-- | clang/test/CodeGenCXX/member-expressions.cpp | 13 |
2 files changed, 21 insertions, 3 deletions
diff --git a/clang/lib/CodeGen/CGExprScalar.cpp b/clang/lib/CodeGen/CGExprScalar.cpp index 84adc5fdcff..8bb02f9668c 100644 --- a/clang/lib/CodeGen/CGExprScalar.cpp +++ b/clang/lib/CodeGen/CGExprScalar.cpp @@ -169,9 +169,16 @@ public: Value *VisitShuffleVectorExpr(ShuffleVectorExpr *E); Value *VisitMemberExpr(MemberExpr *E) { if (const EnumConstantDecl *EC = - dyn_cast<EnumConstantDecl>(E->getMemberDecl())) + dyn_cast<EnumConstantDecl>(E->getMemberDecl())) { + + // We still need to emit the base. + if (E->isArrow()) + CGF.EmitScalarExpr(E->getBase()); + else + CGF.EmitLValue(E->getBase()); return llvm::ConstantInt::get(VMContext, EC->getInitVal()); - + } + return EmitLoadOfLValue(E); } diff --git a/clang/test/CodeGenCXX/member-expressions.cpp b/clang/test/CodeGenCXX/member-expressions.cpp index 223bab55e64..76b81e06882 100644 --- a/clang/test/CodeGenCXX/member-expressions.cpp +++ b/clang/test/CodeGenCXX/member-expressions.cpp @@ -19,9 +19,20 @@ void f() } struct A { + A(); + ~A(); enum E { Foo }; }; +A *g(); + void f(A *a) { - A::E e = a->Foo; + A::E e1 = a->Foo; + + // CHECK: call %struct.A* @_Z1gv() + A::E e2 = g()->Foo; + // CHECK: call void @_ZN1AC1Ev( + // CHECK: call void @_ZN1AD1Ev( + A::E e3 = A().Foo; } + |