Fix for PR32992. Static const classes not exported.

[hans]

Interesting!

lib/Sema/SemaDeclCXX.cpp

5479

Maybe rename this to ReferenceDllExportedMembers now that it applies to variables as well.

5503

Let's move the MD part down until where it's used.

5506

The intendation looks off here. Can you run it through clang-format maybe? It would also be good with a comment explaining why the code is here.

5508

Does the 'const' really make a difference for whether the member should be exported?

test/SemaCXX/export_static_const.cpp

1 ↗

(On Diff #132999)

This test doesn't seem to have any "RUN" line, which means nothing actually gets tested.

Can you add a case to test/CodeGenCXX/dllexport.cpp instead?

[zahiraam]

lib/Sema/SemaDeclCXX.cpp

5508

No it doesn't. I removed that condition.

[hans]

Thanks! Just a few more comments.

lib/Sema/SemaDeclCXX.cpp

5500

Since VD is a class member, I think isDefinedOutsideFunctionOrMethod() is always true and not interesting to check.

test/CodeGenCXX/dllexport.cpp

571 ↗

(On Diff #133498)

Can you move this check down where the class etc. are declared below? Maybe also add a comment explaining what it's testing and reference the bug number.

985 ↗

(On Diff #133498)

No need for the semicolon in the empty function, here and below. The rest of the file doesn't use this style.

[zahiraam]

[hans]

Looks good to me. Do you have commit access or would you like me to commit it for you?

[zahiraam]

In D42968#1004673, @hans wrote:

Looks good to me. Do you have commit access or would you like me to commit it for you?

Hello.
Please go ahead and to the commit.
Thanks.

[zahiraam]

Fixing the assert in the build.

[zahiraam]

[hans]

In D42968#1013662, @zahiraam wrote:

Fixing the assert in the build.

I don't see any difference compared to the previous version. What is the fix for the assert?

[zahiraam]

Added a test case to check the suppression of the warning.

[hans]

lib/Sema/SemaDeclCXX.cpp

5501

I wonder if this is the right thing to do..

Would MarkVariableReferenced work instead, similarly to how MarkFunctionReferenced is used for the methods below?

[zahiraam]

lib/Sema/SemaDeclCXX.cpp

5501

Yes.

[hans]

I think you only uploaded the diff between this and the previous version. But the S.MarkVariableReferenced version LGTM. Do you want me to commit it for you?

[zahiraam]

In D42968#1019198, @hans wrote:

I think you only uploaded the diff between this and the previous version. But the S.MarkVariableReferenced version LGTM. Do you want me to commit it for you?

Yes only the diff. Do you want the entire diff?
If no please go ahead and commit it.
Thanks.

[hans]

In D42968#1019201, @zahiraam wrote:

In D42968#1019198, @hans wrote:

I think you only uploaded the diff between this and the previous version. But the S.MarkVariableReferenced version LGTM. Do you want me to commit it for you?

Yes only the diff. Do you want the entire diff?
If no please go ahead and commit it.
Thanks.

r326089

lib/Sema/SemaDeclCXX.cpp

// Nested classes and class templates.
       CheckAbstractClassUsage(Info, cast<CXXRecordDecl>(D));
     } else if (isa<ClassTemplateDecl>(D)) {
       CheckAbstractClassUsage(Info,
                              cast<ClassTemplateDecl>(D)->getTemplatedDecl());
     }
   }
 }
 
 static void ReferenceDllExportedMembers(Sema &S, CXXRecordDecl *Class) {
   Attr *ClassAttr = getDLLAttr(Class);
   if (!ClassAttr)
     return;
 
   assert(ClassAttr->getKind() == attr::DLLExport);
 
   TemplateSpecializationKind TSK = Class->getTemplateSpecializationKind();
 
   if (TSK == TSK_ExplicitInstantiationDeclaration)
     // Don't go any further if this is just an explicit instantiation
     // declaration.
     return;
 
   for (Decl *Member : Class->decls()) {
     // Defined static variables that are members of an exported base
     // class must be marked export too. Push them to implicit instantiation
     // queue.
     auto *VD = dyn_cast<VarDecl>(Member);
     if (VD && Member->getAttr<DLLExportAttr>() &&
         VD->getStorageClass() == SC_Static &&
         TSK == TSK_ImplicitInstantiation)
-      S.PendingInstantiations.push_back(
-    std::make_pair(VD, VD->getLocation()));
+      S.MarkVariableReferenced(VD->getLocation(), VD);
 
     auto *MD = dyn_cast<CXXMethodDecl>(Member);
     if (!MD)
       continue;
 
     if (Member->getAttr<DLLExportAttr>()) {
       if (MD->isUserProvided()) {
         // Instantiate non-default class member functions ...
 
         // .. except for certain kinds of template specializations.
         if (TSK == TSK_ImplicitInstantiation && !ClassAttr->isInherited())
           continue;
 
         S.MarkFunctionReferenced(Class->getLocation(), MD);