Skip TraverseExplicitInstantiationDecl

Author: lucic71

cpp2rust/converter/converter.h

@@ -503,6 +503,10 @@ class Converter : public clang::RecursiveASTVisitor<Converter> {
     return true;
   }
 
+  bool TraverseExplicitInstantiationDecl(clang::ExplicitInstantiationDecl *) {
+    return true;
+  }
+
   virtual bool
   VisitCXXStdInitializerListExpr(clang::CXXStdInitializerListExpr *expr);
 

cpp2rust/converter/converter_lib.cpp

@@ -265,7 +265,14 @@ bool IsCodeUnitStringLiteral(const clang::StringLiteral *expr) {
 bool IsUserDefinedDecl(const clang::Decl *decl) {
   const auto &ctx = decl->getASTContext();
   const auto &src_mgr = ctx.getSourceManager();
-  const auto src_loc = decl->getLocation();
+  auto src_loc = decl->getLocation();
+  if (auto *spec = clang::dyn_cast<clang::ClassTemplateSpecializationDecl>(decl);
+      spec && (spec->getSpecializationKind() ==
+                   clang::TSK_ExplicitInstantiationDeclaration ||
+               spec->getSpecializationKind() ==
+                   clang::TSK_ExplicitInstantiationDefinition)) {
+    src_loc = spec->getSpecializedTemplate()->getLocation();
+  }
   return !decl->getBeginLoc().isInvalid() && !decl->isImplicit() &&
          !src_mgr.isInSystemHeader(src_loc) &&
          !src_mgr.isInSystemMacro(src_loc);

tests/unit/class_templates.cpp

@@ -39,7 +39,20 @@ template <typename T> struct Outer {
   Inner<int> with(int n) const { return Inner<int>{v, n}; }
 };
 
+struct Elem {
+  int i;
+};
+
+template class std::vector<Elem>;
+
+template struct Boxed<short>;
+
 int main() {
+  std::vector<Elem> ev;
+  ev.push_back(Elem{2});
+  assert(ev[0].i == 2);
+  assert(Boxed<short>::twice(2) == 4);
+
   Outer<int> oi{3};
   assert(oi.with(4).sum() == 7);
   Outer<long> ol{5};