diff --git a/clang/lib/CodeGen/CGDebugInfo.cpp b/clang/lib/CodeGen/CGDebugInfo.cpp --- a/clang/lib/CodeGen/CGDebugInfo.cpp +++ b/clang/lib/CodeGen/CGDebugInfo.cpp @@ -1679,9 +1679,17 @@ SmallVector Elts; // First element is always return type. For 'void' functions it is NULL. QualType temp = Func->getReturnType(); - if (temp->getTypeClass() == Type::Auto && decl) - Elts.push_back(CreateType(cast(temp))); - else + if (temp->getTypeClass() == Type::Auto && decl) { + const AutoType *AT = cast(temp); + + // It may be tricky in some cases to link the specification back the lambda + // call operator and so we skip emitting "auto" for lambdas. This is + // consistent with gcc as well. + if (AT->isDeduced() && ThisPtr->getPointeeCXXRecordDecl()->isLambda()) + Elts.push_back(getOrCreateType(AT->getDeducedType(), Unit)); + else + Elts.push_back(CreateType(AT)); + } else Elts.push_back(Args[0]); // "this" pointer is always first argument. diff --git a/clang/test/CodeGenCXX/no_auto_return_lambda.cpp b/clang/test/CodeGenCXX/no_auto_return_lambda.cpp new file mode 100644 --- /dev/null +++ b/clang/test/CodeGenCXX/no_auto_return_lambda.cpp @@ -0,0 +1,25 @@ +// RUN: %clang_cc1 -emit-llvm -debug-info-kind=limited %s -o - | FileCheck %s + +// We emit "auto" for deduced return types for member functions but we should +// not emitting "auto" for deduced return types for lambdas call function which +// will be implmented as operator() in a class type. This test will verify that +// behavior. + +__attribute__((used)) int g() { + auto f = []() { return 10; }; + return f(); +} + +// g() is not a member function so we should not emit "auto" for the deduced +// return type. +// +// CHECK: !DISubprogram(name: "g",{{.*}}, type: ![[FUN_TYPE:[0-9]+]],{{.*}} +// CHECK: ![[FUN_TYPE]] = !DISubroutineType(types: ![[TYPE_NODE:[0-9]+]]) +// CHECK: ![[TYPE_NODE]] = !{![[INT_TYPE:[0-9]+]]} +// CHECK: ![[INT_TYPE]] = !DIBasicType(name: "int", {{.*}}) + +// operator() of the local lambda should have the same return type as g() +// +// CHECK: distinct !DISubprogram(name: "operator()",{{.*}}, type: ![[FUN_TYPE_LAMBDA:[0-9]+]],{{.*}} +// CHECK: ![[FUN_TYPE_LAMBDA]] = !DISubroutineType(types: ![[TYPE_NODE_LAMBDA:[0-9]+]]) +// CHECK: ![[TYPE_NODE_LAMBDA]] = !{![[INT_TYPE:[0-9]+]], {{.*}}