diff --git a/clang/lib/CodeGen/ObjectFilePCHContainerOperations.cpp b/clang/lib/CodeGen/ObjectFilePCHContainerOperations.cpp index 9fe7e5d1f5c31f..d03e5bd508731a 100644 --- a/clang/lib/CodeGen/ObjectFilePCHContainerOperations.cpp +++ b/clang/lib/CodeGen/ObjectFilePCHContainerOperations.cpp @@ -96,6 +96,10 @@ class PCHContainerGenerator : public ASTConsumer { } bool VisitFunctionDecl(FunctionDecl *D) { + // Skip deduction guides. + if (isa(D)) + return true; + if (isa(D)) // This is not yet supported. Constructing the `this' argument // mandates a CodeGenFunction. diff --git a/clang/test/Modules/Inputs/gmodules-deduction-guide.h b/clang/test/Modules/Inputs/gmodules-deduction-guide.h new file mode 100644 index 00000000000000..47b5931083af1c --- /dev/null +++ b/clang/test/Modules/Inputs/gmodules-deduction-guide.h @@ -0,0 +1,11 @@ +struct A { +}; + +template +struct S{ + S(const A &); +}; + +S(const A&) -> S; + +typedef decltype(S(A())) Type0; diff --git a/clang/test/Modules/gmodules-deduction-guide.cpp b/clang/test/Modules/gmodules-deduction-guide.cpp new file mode 100644 index 00000000000000..6b5a4086b36352 --- /dev/null +++ b/clang/test/Modules/gmodules-deduction-guide.cpp @@ -0,0 +1,9 @@ +// REQUIRES: asserts + +// RUN: %clang_cc1 -std=c++2b -x c++-header -emit-pch -fmodule-format=obj -I %S/Inputs \ +// RUN: -o %t.pch %S/Inputs/gmodules-deduction-guide.h \ +// RUN: -mllvm -debug-only=pchcontainer &>%t-pch.ll +// RUN: cat %t-pch.ll | FileCheck %s + +// CHECK: ![[V0:.*]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "S", +// CHECK: !DIDerivedType(tag: DW_TAG_typedef, name: "Type0",{{.*}}, baseType: ![[V0]])