[Tooling] Add option to getFullyQualifiedName using a custom PritingPolicy

[mikhail.ramalho]

Summary

In our user case, we need to generate unique names for every tag, including anonymous structs/unions.

This adds a custom PrintingPolicy option to getFullyQualifiedName and the test case shows that different names are generated for different anonymous unions/structs.

[arphaman]

unittests/Tooling/QualTypeNamesTest.cpp

247

You should probably use multiline string here, i.e. R(" ... ")

[saugustine]

This is a good change as far as functionality, but I defer to others on the style and other details.

[mikhail.ramalho]

Should I update the other tests in QualTypeNamesTest.cpp to use multiline strings as well?

[mikhail.ramalho]

Updated QualTypeNamesTest.cpp to use multiline string in all tests.

Also ran clang-format -style=LLVM for code style.

[mikhail.ramalho]

ping

[klimek]

Sorry for jumping in late, but I'm somewhat questioning whether an extra function in the API is worth the cost here:
If you already have a printing policy, getting the type name will be 1 line instead of 2; having an extra function in a large API seems not worth it at a first glance.

[mikhail.ramalho]

Should we keep just the version with the custom printing policy then?

[mikhail.ramalho]

Rebased to current master.

Removed the getFullyQualifiedName overloaded function.

[rnk]

Mostly looks good.

unittests/Tooling/QualTypeNamesTest.cpp

225

Please choose a different variable name that doesn't clash with the PrintingPolicy type.

[mikhail.ramalho]

Renamed variables in the test so it doesn't match the type name

[mikhail.ramalho]

ping.

unittests/Tooling/QualTypeNamesTest.cpp

225

Done.

[mikhail.ramalho]

Ping.

[klimek]

I believe this was accepted by rnk - are you waiting for specific further feedback?

[mikhail.ramalho]

Last review asked to change the test case, I just want to make sure
everything is fine this time.

[saugustine]

In D36610#1083952, @mikhail.ramalho wrote:

Ping.

Given that richard smith is the only non-approver, and that he hasn't responded, and that I contributed this code, I'm going to make an executive decision and say that this is OK to submit.

We will roll back if there are problems.

[mikhail.ramalho]

Thanks.

I just need someone to push it, as I don't have write access to the repo.

[saugustine]

I applied this to a clean local copy, which has no other changes, and have
the following test error, which may be pilot error on my part, but
nevertheless, this test needs to be robust to changes in the line number.

llvm-svn/llvm/tools/clang/unittests/Tooling/QualTypeNamesTest.cpp:39:
Failure
Value of: false

Actual: false

Expected: true
Typename::getFullyQualifiedName failed for (anonymous struct)::un_in_st_1

Actual: union (anonymous struct at input.cc:1:1)::(anonymous union at

input.cc:2:27)
Exepcted: union (anonymous struct at input.cc:1:1)::(anonymous union at
input.cc:2:31)

[mikhail.ramalho]

Fixed the test case.

[saugustine]

Committed as r331552.

include/clang/AST/QualTypeNames.h

 /// \param[in] WithGlobalNsPrefix - If true, then the global namespace
 /// specifier "::" will be prepended to the fully qualified name.
 std::string getFullyQualifiedName(QualType QT, const ASTContext &Ctx,
+                                  const PrintingPolicy &Policy,
                                   bool WithGlobalNsPrefix = false);
 
 /// \brief Generates a QualType that can be used to name the same type

lib/AST/QualTypeNames.cpp

   return QT;
 }
 
-std::string getFullyQualifiedName(QualType QT,
-                                  const ASTContext &Ctx,
+std::string getFullyQualifiedName(QualType QT, const ASTContext &Ctx,
+                                  const PrintingPolicy &Policy,
                                   bool WithGlobalNsPrefix) {
-  PrintingPolicy Policy(Ctx.getPrintingPolicy());
-  Policy.SuppressScope = false;
-  Policy.AnonymousTagLocations = false;
-  Policy.PolishForDeclaration = true;
-  Policy.SuppressUnwrittenScope = true;
   QualType FQQT = getFullyQualifiedType(QT, Ctx, WithGlobalNsPrefix);
   return FQQT.getAsString(Policy);
 }

unittests/Tooling/QualTypeNamesTest.cpp

     std::string ExpectedName =
         ExpectedQualTypeNames.lookup(VD->getNameAsString());
     if (ExpectedName != "") {
-      std::string ActualName =
-          TypeName::getFullyQualifiedName(VD->getType(), *Context,
-                                          WithGlobalNsPrefix);
+      PrintingPolicy Policy(Context->getPrintingPolicy());
+      Policy.SuppressScope = false;
+      Policy.AnonymousTagLocations = true;
+      Policy.PolishForDeclaration = true;
+      Policy.SuppressUnwrittenScope = true;
+      std::string ActualName = TypeName::getFullyQualifiedName(
+          VD->getType(), *Context, Policy, WithGlobalNsPrefix);
       if (ExpectedName != ActualName) {
         // A custom message makes it much easier to see what declaration
         // failed compared to EXPECT_EQ.

       "  }\n"
       "}\n"
   );
+
+  TypeNameVisitor PrintingPolicy;
+  PrintingPolicy.ExpectedQualTypeNames["a"] = "short";
+  PrintingPolicy.ExpectedQualTypeNames["un_in_st_1"] =
+      "union (anonymous struct at input.cc:1:1)::(anonymous union at "
+      "input.cc:2:31)";
+  PrintingPolicy.ExpectedQualTypeNames["b"] = "short";
+  PrintingPolicy.ExpectedQualTypeNames["un_in_st_2"] =
+      "union (anonymous struct at input.cc:1:1)::(anonymous union at "
+      "input.cc:5:31)";
+  PrintingPolicy.ExpectedQualTypeNames["anon_st"] =
+      "struct (anonymous struct at input.cc:1:1)";
+  PrintingPolicy.runOver(R"(struct {
+                              union {
+                                short a;
+                              } un_in_st_1;
+                              union {
+                                short b;
+                              } un_in_st_2;
+                            } anon_st;)");
 }
 
 }  // end anonymous namespace