From: Anders Carlsson <andersca@mac.com>
Date: Mon, 12 Oct 2009 19:45:47 +0000 (+0000)
Subject: Devirtualize calls on temporaries. A().f() for example.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=76366487694e92509f938164f384bbdfad002f2b;p=clang

Devirtualize calls on temporaries. A().f() for example.

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

diff --git a/lib/CodeGen/CGCXX.cpp b/lib/CodeGen/CGCXX.cpp
index 0744b79d45..ed7ee4298c 100644
--- a/lib/CodeGen/CGCXX.cpp
+++ b/lib/CodeGen/CGCXX.cpp
@@ -206,8 +206,14 @@ static bool canDevirtualizeMemberFunctionCalls(const Expr *Base) {
       // This is a record decl. We know the type and can devirtualize it.
       return VD->getType()->isRecordType();
     }
+    
+    return false;
   }
   
+  // We can always devirtualize calls on temporaries.
+  if (isa<CXXTemporaryObjectExpr>(Base))
+    return true;
+  
   // We can't devirtualize the call.
   return false;
 }
diff --git a/test/CodeGenCXX/devirtualize-virtual-function-calls.cpp b/test/CodeGenCXX/devirtualize-virtual-function-calls.cpp
index 19206aebce..3dd2551bbc 100644
--- a/test/CodeGenCXX/devirtualize-virtual-function-calls.cpp
+++ b/test/CodeGenCXX/devirtualize-virtual-function-calls.cpp
@@ -15,4 +15,7 @@ void f(A a, A *ap, A& ar) {
 
   // CHECK: call void %  
   ar.f();
+  
+  // CHECK: call void @_ZN1A1fEv
+  A().f();
 }