Add a new IsConvertableGlobalVarDecl function to avoid empty thread_locals

Author: FranciscoTGouveia

cpp2rust/converter/converter.cpp

@@ -457,6 +457,17 @@ void Converter::ConvertVaListVarDecl(clang::VarDecl *decl) {
   StrCat(keyword_mut_, GetNamedDeclAsString(decl), token::kColon, "VaList");
 }
 
+bool Converter::IsConvertableGlobalVarDecl(clang::VarDecl *decl) {
+  if (!decl->isFileVarDecl()) {
+    return true;
+  }
+  if (decl->isThisDeclarationADefinition() == clang::VarDecl::DeclarationOnly &&
+      !decl->hasInit()) {
+    return false;
+  }
+  return !globals_.contains(GetNamedDeclAsString(decl));
+}
+
 bool Converter::ConvertVarDeclSkipInit(clang::VarDecl *decl) {
   auto qual_type = decl->getType();
   auto name = GetNamedDeclAsString(decl);
@@ -467,12 +478,10 @@ bool Converter::ConvertVarDeclSkipInit(clang::VarDecl *decl) {
   }
 
   if (decl->isFileVarDecl()) {
-    if ((decl->isThisDeclarationADefinition() ==
-             clang::VarDecl::DeclarationOnly &&
-         !decl->hasInit()) ||
-        !globals_.insert(name).second) {
+    if (!IsConvertableGlobalVarDecl(decl)) {
       return false;
     }
+    globals_.insert(name);
     StrCat(AccessSpecifierAsString(decl->getAccess()), keyword::kStatic,
            keyword_mut_);
     ENSURE(decl_ids_.insert(GetID(decl)).second);

cpp2rust/converter/converter.h

@@ -100,6 +100,8 @@ class Converter : public clang::RecursiveASTVisitor<Converter> {
 
   virtual void ConvertGlobalVarDecl(clang::VarDecl *decl);
 
+  bool IsConvertableGlobalVarDecl(clang::VarDecl *decl);
+
   virtual void ConvertVaListVarDecl(clang::VarDecl *decl);
 
   virtual bool ConvertVarDeclSkipInit(clang::VarDecl *decl);

cpp2rust/converter/models/converter_refcount.cpp

@@ -740,6 +740,9 @@ void ConverterRefCount::EmitHoistedInArmAssignment(clang::VarDecl *decl) {
 }
 
 void ConverterRefCount::ConvertGlobalVarDecl(clang::VarDecl *decl) {
+  if (!IsConvertableGlobalVarDecl(decl)) {
+    return;
+  }
   StrCat("thread_local!");
   {
     PushParen paren(*this);