From: Anders Carlsson <andersca@mac.com>
Date: Mon, 12 Oct 2009 19:59:15 +0000 (+0000)
Subject: Even more devirtualization cleverness.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4a0d832ecdc15b0667616d3ec570cade4761ceaf;p=clang

Even more devirtualization cleverness.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@83886 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/CodeGen/CGCXX.cpp b/lib/CodeGen/CGCXX.cpp
index f19067941e..ff56c8c85a 100644
--- a/lib/CodeGen/CGCXX.cpp
+++ b/lib/CodeGen/CGCXX.cpp
@@ -210,10 +210,14 @@ static bool canDevirtualizeMemberFunctionCalls(const Expr *Base) {
     return false;
   }
   
-  // We can always devirtualize calls on temporaries.
+  // We can always devirtualize calls on temporary object expressions.
   if (isa<CXXTemporaryObjectExpr>(Base))
     return true;
   
+  // And calls on bound temporaries.
+  if (isa<CXXBindTemporaryExpr>(Base))
+    return true;
+  
   // Check if this is a call expr that returns a record type.
   if (const CallExpr *CE = dyn_cast<CallExpr>(Base))
     return CE->getCallReturnType()->isRecordType();
diff --git a/test/CodeGenCXX/devirtualize-virtual-function-calls.cpp b/test/CodeGenCXX/devirtualize-virtual-function-calls.cpp
index 76f9520bfd..cbf55ad613 100644
--- a/test/CodeGenCXX/devirtualize-virtual-function-calls.cpp
+++ b/test/CodeGenCXX/devirtualize-virtual-function-calls.cpp
@@ -29,3 +29,19 @@ void f(A a, A *ap, A& ar) {
   // CHECK: call void @_ZN1A1fEv
   a.h().f();
 }
+
+struct B {
+  virtual void f();
+  ~B();
+  
+  B h();
+};
+
+
+void f() {
+  // CHECK: call void @_ZN1B1fEv
+  B().f();
+  
+  // CHECK: call void @_ZN1B1fEv
+  B().h().f();
+}