[gmodules] Skip CXXDeductionGuideDecls when visiting FunctionDecls in
authorAkira Hatanaka <ahatanaka@apple.com>
Tue, 17 May 2022 16:37:29 +0000 (09:37 -0700)
committerAkira Hatanaka <ahatanaka@apple.com>
Mon, 6 Jun 2022 19:51:36 +0000 (12:51 -0700)
DebugTypeVisitor

Differential Revision: https://reviews.llvm.org/D125839

clang/lib/CodeGen/ObjectFilePCHContainerOperations.cpp
clang/test/Modules/Inputs/gmodules-deduction-guide.h [new file with mode: 0644]
clang/test/Modules/gmodules-deduction-guide.cpp [new file with mode: 0644]

index 9fe7e5d..d03e5bd 100644 (file)
@@ -96,6 +96,10 @@ class PCHContainerGenerator : public ASTConsumer {
     }
 
     bool VisitFunctionDecl(FunctionDecl *D) {
+      // Skip deduction guides.
+      if (isa<CXXDeductionGuideDecl>(D))
+        return true;
+
       if (isa<CXXMethodDecl>(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 (file)
index 0000000..47b5931
--- /dev/null
@@ -0,0 +1,11 @@
+struct A {
+};
+
+template <class T>
+struct S{
+  S(const A &);
+};
+
+S(const A&) -> S<A>;
+
+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 (file)
index 0000000..1017b76
--- /dev/null
@@ -0,0 +1,7 @@
+// 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<A>",
+// CHECK: !DIDerivedType(tag: DW_TAG_typedef, name: "Type0",{{.*}}, baseType: ![[V0]])