12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400 |
- #include "clang/AST/ASTContext.h"
- #include "clang/ASTMatchers/ASTMatchers.h"
- #include "clang/AST/ASTStructuralEquivalence.h"
- #include "clang/Frontend/ASTUnit.h"
- #include "clang/Tooling/Tooling.h"
- #include "Language.h"
- #include "DeclMatcher.h"
- #include "gtest/gtest.h"
- namespace clang {
- namespace ast_matchers {
- using std::get;
- struct StructuralEquivalenceTest : ::testing::Test {
- std::unique_ptr<ASTUnit> AST0, AST1;
- std::string Code0, Code1; // Buffers for SourceManager
- // Get a pair of node pointers into the synthesized AST from the given code
- // snippets. To determine the returned node, a separate matcher is specified
- // for both snippets. The first matching node is returned.
- template <typename NodeType, typename MatcherType>
- std::tuple<NodeType *, NodeType *> makeDecls(
- const std::string &SrcCode0, const std::string &SrcCode1, Language Lang,
- const MatcherType &Matcher0, const MatcherType &Matcher1) {
- this->Code0 = SrcCode0;
- this->Code1 = SrcCode1;
- ArgVector Args = getBasicRunOptionsForLanguage(Lang);
- const char *const InputFileName = "input.cc";
- AST0 = tooling::buildASTFromCodeWithArgs(Code0, Args, InputFileName);
- AST1 = tooling::buildASTFromCodeWithArgs(Code1, Args, InputFileName);
- NodeType *D0 = FirstDeclMatcher<NodeType>().match(
- AST0->getASTContext().getTranslationUnitDecl(), Matcher0);
- NodeType *D1 = FirstDeclMatcher<NodeType>().match(
- AST1->getASTContext().getTranslationUnitDecl(), Matcher1);
- return std::make_tuple(D0, D1);
- }
- std::tuple<TranslationUnitDecl *, TranslationUnitDecl *> makeTuDecls(
- const std::string &SrcCode0, const std::string &SrcCode1, Language Lang) {
- this->Code0 = SrcCode0;
- this->Code1 = SrcCode1;
- ArgVector Args = getBasicRunOptionsForLanguage(Lang);
- const char *const InputFileName = "input.cc";
- AST0 = tooling::buildASTFromCodeWithArgs(Code0, Args, InputFileName);
- AST1 = tooling::buildASTFromCodeWithArgs(Code1, Args, InputFileName);
- return std::make_tuple(AST0->getASTContext().getTranslationUnitDecl(),
- AST1->getASTContext().getTranslationUnitDecl());
- }
- // Get a pair of node pointers into the synthesized AST from the given code
- // snippets. The same matcher is used for both snippets.
- template <typename NodeType, typename MatcherType>
- std::tuple<NodeType *, NodeType *> makeDecls(
- const std::string &SrcCode0, const std::string &SrcCode1, Language Lang,
- const MatcherType &AMatcher) {
- return makeDecls<NodeType, MatcherType>(
- SrcCode0, SrcCode1, Lang, AMatcher, AMatcher);
- }
- // Get a pair of Decl pointers to the synthesized declarations from the given
- // code snippets. We search for the first NamedDecl with given name in both
- // snippets.
- std::tuple<NamedDecl *, NamedDecl *> makeNamedDecls(
- const std::string &SrcCode0, const std::string &SrcCode1,
- Language Lang, const char *const Identifier = "foo") {
- auto Matcher = namedDecl(hasName(Identifier));
- return makeDecls<NamedDecl>(SrcCode0, SrcCode1, Lang, Matcher);
- }
- bool testStructuralMatch(Decl *D0, Decl *D1) {
- llvm::DenseSet<std::pair<Decl *, Decl *>> NonEquivalentDecls01;
- llvm::DenseSet<std::pair<Decl *, Decl *>> NonEquivalentDecls10;
- StructuralEquivalenceContext Ctx01(
- D0->getASTContext(), D1->getASTContext(),
- NonEquivalentDecls01, StructuralEquivalenceKind::Default, false, false);
- StructuralEquivalenceContext Ctx10(
- D1->getASTContext(), D0->getASTContext(),
- NonEquivalentDecls10, StructuralEquivalenceKind::Default, false, false);
- bool Eq01 = Ctx01.IsEquivalent(D0, D1);
- bool Eq10 = Ctx10.IsEquivalent(D1, D0);
- EXPECT_EQ(Eq01, Eq10);
- return Eq01;
- }
- bool testStructuralMatch(std::tuple<Decl *, Decl *> t) {
- return testStructuralMatch(get<0>(t), get<1>(t));
- }
- };
- TEST_F(StructuralEquivalenceTest, Int) {
- auto Decls = makeNamedDecls("int foo;", "int foo;", Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(Decls));
- }
- TEST_F(StructuralEquivalenceTest, IntVsSignedInt) {
- auto Decls = makeNamedDecls("int foo;", "signed int foo;", Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(Decls));
- }
- TEST_F(StructuralEquivalenceTest, Char) {
- auto Decls = makeNamedDecls("char foo;", "char foo;", Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(Decls));
- }
- // This test is disabled for now.
- // FIXME Whether this is equivalent is dependendant on the target.
- TEST_F(StructuralEquivalenceTest, DISABLED_CharVsSignedChar) {
- auto Decls = makeNamedDecls("char foo;", "signed char foo;", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(Decls));
- }
- TEST_F(StructuralEquivalenceTest, ForwardRecordDecl) {
- auto Decls = makeNamedDecls("struct foo;", "struct foo;", Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(Decls));
- }
- TEST_F(StructuralEquivalenceTest, IntVsSignedIntInStruct) {
- auto Decls = makeNamedDecls("struct foo { int x; };",
- "struct foo { signed int x; };", Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(Decls));
- }
- TEST_F(StructuralEquivalenceTest, CharVsSignedCharInStruct) {
- auto Decls = makeNamedDecls("struct foo { char x; };",
- "struct foo { signed char x; };", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(Decls));
- }
- TEST_F(StructuralEquivalenceTest, IntVsSignedIntTemplateSpec) {
- auto Decls = makeDecls<ClassTemplateSpecializationDecl>(
- R"(template <class T> struct foo; template<> struct foo<int>{};)",
- R"(template <class T> struct foo; template<> struct foo<signed int>{};)",
- Lang_CXX,
- classTemplateSpecializationDecl());
- auto Spec0 = get<0>(Decls);
- auto Spec1 = get<1>(Decls);
- EXPECT_TRUE(testStructuralMatch(Spec0, Spec1));
- }
- TEST_F(StructuralEquivalenceTest, CharVsSignedCharTemplateSpec) {
- auto Decls = makeDecls<ClassTemplateSpecializationDecl>(
- R"(template <class T> struct foo; template<> struct foo<char>{};)",
- R"(template <class T> struct foo; template<> struct foo<signed char>{};)",
- Lang_CXX,
- classTemplateSpecializationDecl());
- auto Spec0 = get<0>(Decls);
- auto Spec1 = get<1>(Decls);
- EXPECT_FALSE(testStructuralMatch(Spec0, Spec1));
- }
- TEST_F(StructuralEquivalenceTest, CharVsSignedCharTemplateSpecWithInheritance) {
- auto Decls = makeDecls<ClassTemplateSpecializationDecl>(
- R"(
- struct true_type{};
- template <class T> struct foo;
- template<> struct foo<char> : true_type {};
- )",
- R"(
- struct true_type{};
- template <class T> struct foo;
- template<> struct foo<signed char> : true_type {};
- )",
- Lang_CXX,
- classTemplateSpecializationDecl());
- EXPECT_FALSE(testStructuralMatch(Decls));
- }
- // This test is disabled for now.
- // FIXME Enable it, once the check is implemented.
- TEST_F(StructuralEquivalenceTest, DISABLED_WrongOrderInNamespace) {
- auto Code =
- R"(
- namespace NS {
- template <class T> class Base {
- int a;
- };
- class Derived : Base<Derived> {
- };
- }
- void foo(NS::Derived &);
- )";
- auto Decls = makeNamedDecls(Code, Code, Lang_CXX);
- NamespaceDecl *NS =
- LastDeclMatcher<NamespaceDecl>().match(get<1>(Decls), namespaceDecl());
- ClassTemplateDecl *TD = LastDeclMatcher<ClassTemplateDecl>().match(
- get<1>(Decls), classTemplateDecl(hasName("Base")));
- // Reorder the decls, move the TD to the last place in the DC.
- NS->removeDecl(TD);
- NS->addDeclInternal(TD);
- EXPECT_FALSE(testStructuralMatch(Decls));
- }
- TEST_F(StructuralEquivalenceTest, WrongOrderOfFieldsInClass) {
- auto Code = "class X { int a; int b; };";
- auto Decls = makeNamedDecls(Code, Code, Lang_CXX, "X");
- CXXRecordDecl *RD = FirstDeclMatcher<CXXRecordDecl>().match(
- get<1>(Decls), cxxRecordDecl(hasName("X")));
- FieldDecl *FD =
- FirstDeclMatcher<FieldDecl>().match(get<1>(Decls), fieldDecl(hasName("a")));
- // Reorder the FieldDecls
- RD->removeDecl(FD);
- RD->addDeclInternal(FD);
- EXPECT_FALSE(testStructuralMatch(Decls));
- }
- struct StructuralEquivalenceFunctionTest : StructuralEquivalenceTest {
- };
- TEST_F(StructuralEquivalenceFunctionTest, TemplateVsNonTemplate) {
- auto t = makeNamedDecls(
- "void foo();",
- "template<class T> void foo();",
- Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, DifferentOperators) {
- auto t = makeDecls<FunctionDecl>(
- "struct X{}; bool operator<(X, X);",
- "struct X{}; bool operator==(X, X);", Lang_CXX,
- functionDecl(hasOverloadedOperatorName("<")),
- functionDecl(hasOverloadedOperatorName("==")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, SameOperators) {
- auto t = makeDecls<FunctionDecl>(
- "struct X{}; bool operator<(X, X);",
- "struct X{}; bool operator<(X, X);", Lang_CXX,
- functionDecl(hasOverloadedOperatorName("<")),
- functionDecl(hasOverloadedOperatorName("<")));
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, CtorVsDtor) {
- auto t = makeDecls<FunctionDecl>(
- "struct X{ X(); };",
- "struct X{ ~X(); };", Lang_CXX,
- cxxConstructorDecl(),
- cxxDestructorDecl());
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ParamConstWithRef) {
- auto t = makeNamedDecls("void foo(int&);",
- "void foo(const int&);", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ParamConstSimple) {
- auto t = makeNamedDecls("void foo(int);",
- "void foo(const int);", Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(t));
- // consider this OK
- }
- TEST_F(StructuralEquivalenceFunctionTest, Throw) {
- auto t = makeNamedDecls("void foo();",
- "void foo() throw();", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, Noexcept) {
- auto t = makeNamedDecls("void foo();",
- "void foo() noexcept;", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ThrowVsNoexcept) {
- auto t = makeNamedDecls("void foo() throw();",
- "void foo() noexcept;", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ThrowVsNoexceptFalse) {
- auto t = makeNamedDecls("void foo() throw();",
- "void foo() noexcept(false);", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ThrowVsNoexceptTrue) {
- auto t = makeNamedDecls("void foo() throw();",
- "void foo() noexcept(true);", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, NoexceptNonMatch) {
- auto t = makeNamedDecls("void foo() noexcept(false);",
- "void foo() noexcept(true);", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, NoexceptMatch) {
- auto t = makeNamedDecls("void foo() noexcept(false);",
- "void foo() noexcept(false);", Lang_CXX11);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, NoexceptVsNoexceptFalse) {
- auto t = makeNamedDecls("void foo() noexcept;",
- "void foo() noexcept(false);", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, NoexceptVsNoexceptTrue) {
- auto t = makeNamedDecls("void foo() noexcept;",
- "void foo() noexcept(true);", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ReturnType) {
- auto t = makeNamedDecls("char foo();",
- "int foo();", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ReturnConst) {
- auto t = makeNamedDecls("char foo();",
- "const char foo();", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ReturnRef) {
- auto t = makeNamedDecls("char &foo();",
- "char &&foo();", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ParamCount) {
- auto t = makeNamedDecls("void foo(int);",
- "void foo(int, int);", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ParamType) {
- auto t = makeNamedDecls("void foo(int);",
- "void foo(char);", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ParamName) {
- auto t = makeNamedDecls("void foo(int a);",
- "void foo(int b);", Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, Variadic) {
- auto t = makeNamedDecls("void foo(int x...);",
- "void foo(int x);", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, ParamPtr) {
- auto t = makeNamedDecls("void foo(int *);",
- "void foo(int);", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, NameInParen) {
- auto t = makeNamedDecls(
- "void ((foo))();",
- "void foo();",
- Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, NameInParenWithExceptionSpec) {
- auto t = makeNamedDecls(
- "void (foo)() throw(int);",
- "void (foo)() noexcept;",
- Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, NameInParenWithConst) {
- auto t = makeNamedDecls(
- "struct A { void (foo)() const; };",
- "struct A { void (foo)(); };",
- Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, FunctionsWithDifferentNoreturnAttr) {
- auto t = makeNamedDecls(
- "__attribute__((noreturn)) void foo();",
- " void foo();",
- Lang_C);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest,
- FunctionsWithDifferentCallingConventions) {
- // These attributes may not be available on certain platforms.
- if (llvm::Triple(llvm::sys::getDefaultTargetTriple()).getArch() !=
- llvm::Triple::x86_64)
- return;
- auto t = makeNamedDecls(
- "__attribute__((preserve_all)) void foo();",
- "__attribute__((ms_abi)) void foo();",
- Lang_C);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceFunctionTest, FunctionsWithDifferentSavedRegsAttr) {
- if (llvm::Triple(llvm::sys::getDefaultTargetTriple()).getArch() !=
- llvm::Triple::x86_64)
- return;
- auto t = makeNamedDecls(
- "__attribute__((no_caller_saved_registers)) void foo();",
- " void foo();",
- Lang_C);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- struct StructuralEquivalenceCXXMethodTest : StructuralEquivalenceTest {
- };
- TEST_F(StructuralEquivalenceCXXMethodTest, Virtual) {
- auto t = makeDecls<CXXMethodDecl>(
- "struct X { void foo(); };",
- "struct X { virtual void foo(); };", Lang_CXX,
- cxxMethodDecl(hasName("foo")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, Pure) {
- auto t = makeNamedDecls("struct X { virtual void foo(); };",
- "struct X { virtual void foo() = 0; };", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, DISABLED_Final) {
- // The final-ness is not checked yet.
- auto t = makeNamedDecls("struct X { virtual void foo(); };",
- "struct X { virtual void foo() final; };", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, Const) {
- auto t = makeNamedDecls("struct X { void foo(); };",
- "struct X { void foo() const; };", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, Static) {
- auto t = makeNamedDecls("struct X { void foo(); };",
- "struct X { static void foo(); };", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, Ref1) {
- auto t = makeNamedDecls("struct X { void foo(); };",
- "struct X { void foo() &&; };", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, Ref2) {
- auto t = makeNamedDecls("struct X { void foo() &; };",
- "struct X { void foo() &&; };", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, AccessSpecifier) {
- auto t = makeDecls<CXXMethodDecl>(
- "struct X { public: void foo(); };",
- "struct X { private: void foo(); };", Lang_CXX,
- cxxMethodDecl(hasName("foo")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, Delete) {
- auto t = makeNamedDecls("struct X { void foo(); };",
- "struct X { void foo() = delete; };", Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, Constructor) {
- auto t = makeDecls<FunctionDecl>(
- "void foo();", "struct foo { foo(); };", Lang_CXX,
- functionDecl(hasName("foo")), cxxConstructorDecl(hasName("foo")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, ConstructorParam) {
- auto t = makeDecls<CXXConstructorDecl>("struct X { X(); };",
- "struct X { X(int); };", Lang_CXX,
- cxxConstructorDecl(hasName("X")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, ConstructorExplicit) {
- auto t = makeDecls<CXXConstructorDecl>("struct X { X(int); };",
- "struct X { explicit X(int); };",
- Lang_CXX11,
- cxxConstructorDecl(hasName("X")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, ConstructorDefault) {
- auto t = makeDecls<CXXConstructorDecl>("struct X { X(); };",
- "struct X { X() = default; };",
- Lang_CXX11,
- cxxConstructorDecl(hasName("X")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, Conversion) {
- auto t = makeDecls<CXXConversionDecl>("struct X { operator bool(); };",
- "struct X { operator char(); };",
- Lang_CXX11,
- cxxConversionDecl());
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, Operator) {
- auto t = makeDecls<FunctionDecl>(
- "struct X { int operator +(int); };",
- "struct X { int operator -(int); };", Lang_CXX,
- functionDecl(hasOverloadedOperatorName("+")),
- functionDecl(hasOverloadedOperatorName("-")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, OutOfClass1) {
- auto t = makeDecls<FunctionDecl>(
- "struct X { virtual void f(); }; void X::f() { }",
- "struct X { virtual void f() { }; };",
- Lang_CXX,
- functionDecl(allOf(hasName("f"), isDefinition())));
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceCXXMethodTest, OutOfClass2) {
- auto t = makeDecls<FunctionDecl>(
- "struct X { virtual void f(); }; void X::f() { }",
- "struct X { void f(); }; void X::f() { }",
- Lang_CXX,
- functionDecl(allOf(hasName("f"), isDefinition())));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- struct StructuralEquivalenceRecordTest : StructuralEquivalenceTest {
- // FIXME Use a common getRecordDecl with ASTImporterTest.cpp!
- RecordDecl *getRecordDecl(FieldDecl *FD) {
- auto *ET = cast<ElaboratedType>(FD->getType().getTypePtr());
- return cast<RecordType>(ET->getNamedType().getTypePtr())->getDecl();
- };
- };
- TEST_F(StructuralEquivalenceRecordTest, Name) {
- auto t = makeDecls<CXXRecordDecl>(
- "struct A{ };",
- "struct B{ };",
- Lang_CXX,
- cxxRecordDecl(hasName("A")),
- cxxRecordDecl(hasName("B")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest, Fields) {
- auto t = makeNamedDecls(
- "struct foo{ int x; };",
- "struct foo{ char x; };",
- Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest, DISABLED_Methods) {
- // Currently, methods of a class are not checked at class equivalence.
- auto t = makeNamedDecls(
- "struct foo{ int x(); };",
- "struct foo{ char x(); };",
- Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest, Bases) {
- auto t = makeNamedDecls(
- "struct A{ }; struct foo: A { };",
- "struct B{ }; struct foo: B { };",
- Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest, InheritanceVirtual) {
- auto t = makeNamedDecls(
- "struct A{ }; struct foo: A { };",
- "struct A{ }; struct foo: virtual A { };",
- Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest, DISABLED_InheritanceType) {
- // Access specifier in inheritance is not checked yet.
- auto t = makeNamedDecls(
- "struct A{ }; struct foo: public A { };",
- "struct A{ }; struct foo: private A { };",
- Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest, Match) {
- auto Code = R"(
- struct A{ };
- struct B{ };
- struct foo: A, virtual B {
- void x();
- int a;
- };
- )";
- auto t = makeNamedDecls(Code, Code, Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest, UnnamedRecordsShouldBeInequivalent) {
- auto t = makeTuDecls(
- R"(
- struct A {
- struct {
- struct A *next;
- } entry0;
- struct {
- struct A *next;
- } entry1;
- };
- )",
- "", Lang_C);
- auto *TU = get<0>(t);
- auto *Entry0 =
- FirstDeclMatcher<FieldDecl>().match(TU, fieldDecl(hasName("entry0")));
- auto *Entry1 =
- FirstDeclMatcher<FieldDecl>().match(TU, fieldDecl(hasName("entry1")));
- auto *R0 = getRecordDecl(Entry0);
- auto *R1 = getRecordDecl(Entry1);
- ASSERT_NE(R0, R1);
- EXPECT_TRUE(testStructuralMatch(R0, R0));
- EXPECT_TRUE(testStructuralMatch(R1, R1));
- EXPECT_FALSE(testStructuralMatch(R0, R1));
- }
- TEST_F(StructuralEquivalenceRecordTest, AnonymousRecordsShouldBeInequivalent) {
- auto t = makeTuDecls(
- R"(
- struct X {
- struct {
- int a;
- };
- struct {
- int b;
- };
- };
- )",
- "", Lang_C);
- auto *TU = get<0>(t);
- auto *A = FirstDeclMatcher<IndirectFieldDecl>().match(
- TU, indirectFieldDecl(hasName("a")));
- auto *FA = cast<FieldDecl>(A->chain().front());
- RecordDecl *RA = cast<RecordType>(FA->getType().getTypePtr())->getDecl();
- auto *B = FirstDeclMatcher<IndirectFieldDecl>().match(
- TU, indirectFieldDecl(hasName("b")));
- auto *FB = cast<FieldDecl>(B->chain().front());
- RecordDecl *RB = cast<RecordType>(FB->getType().getTypePtr())->getDecl();
- ASSERT_NE(RA, RB);
- EXPECT_TRUE(testStructuralMatch(RA, RA));
- EXPECT_TRUE(testStructuralMatch(RB, RB));
- EXPECT_FALSE(testStructuralMatch(RA, RB));
- }
- TEST_F(StructuralEquivalenceRecordTest,
- RecordsAreInequivalentIfOrderOfAnonRecordsIsDifferent) {
- auto t = makeTuDecls(
- R"(
- struct X {
- struct { int a; };
- struct { int b; };
- };
- )",
- R"(
- struct X { // The order is reversed.
- struct { int b; };
- struct { int a; };
- };
- )",
- Lang_C);
- auto *TU = get<0>(t);
- auto *A = FirstDeclMatcher<IndirectFieldDecl>().match(
- TU, indirectFieldDecl(hasName("a")));
- auto *FA = cast<FieldDecl>(A->chain().front());
- RecordDecl *RA = cast<RecordType>(FA->getType().getTypePtr())->getDecl();
- auto *TU1 = get<1>(t);
- auto *A1 = FirstDeclMatcher<IndirectFieldDecl>().match(
- TU1, indirectFieldDecl(hasName("a")));
- auto *FA1 = cast<FieldDecl>(A1->chain().front());
- RecordDecl *RA1 = cast<RecordType>(FA1->getType().getTypePtr())->getDecl();
- RecordDecl *X =
- FirstDeclMatcher<RecordDecl>().match(TU, recordDecl(hasName("X")));
- RecordDecl *X1 =
- FirstDeclMatcher<RecordDecl>().match(TU1, recordDecl(hasName("X")));
- ASSERT_NE(X, X1);
- EXPECT_FALSE(testStructuralMatch(X, X1));
- ASSERT_NE(RA, RA1);
- EXPECT_TRUE(testStructuralMatch(RA, RA));
- EXPECT_TRUE(testStructuralMatch(RA1, RA1));
- EXPECT_FALSE(testStructuralMatch(RA1, RA));
- }
- TEST_F(StructuralEquivalenceRecordTest,
- UnnamedRecordsShouldBeInequivalentEvenIfTheSecondIsBeingDefined) {
- auto Code =
- R"(
- struct A {
- struct {
- struct A *next;
- } entry0;
- struct {
- struct A *next;
- } entry1;
- };
- )";
- auto t = makeTuDecls(Code, Code, Lang_C);
- auto *FromTU = get<0>(t);
- auto *Entry1 =
- FirstDeclMatcher<FieldDecl>().match(FromTU, fieldDecl(hasName("entry1")));
- auto *ToTU = get<1>(t);
- auto *Entry0 =
- FirstDeclMatcher<FieldDecl>().match(ToTU, fieldDecl(hasName("entry0")));
- auto *A =
- FirstDeclMatcher<RecordDecl>().match(ToTU, recordDecl(hasName("A")));
- A->startDefinition(); // Set isBeingDefined, getDefinition() will return a
- // nullptr. This may be the case during ASTImport.
- auto *R0 = getRecordDecl(Entry0);
- auto *R1 = getRecordDecl(Entry1);
- ASSERT_NE(R0, R1);
- EXPECT_TRUE(testStructuralMatch(R0, R0));
- EXPECT_TRUE(testStructuralMatch(R1, R1));
- EXPECT_FALSE(testStructuralMatch(R0, R1));
- }
- TEST_F(StructuralEquivalenceRecordTest, TemplateVsNonTemplate) {
- auto t = makeDecls<CXXRecordDecl>(
- "struct A { };",
- "template<class T> struct A { };",
- Lang_CXX,
- cxxRecordDecl(hasName("A")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest,
- FwdDeclRecordShouldBeEqualWithFwdDeclRecord) {
- auto t = makeNamedDecls("class foo;", "class foo;", Lang_CXX11);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest,
- FwdDeclRecordShouldBeEqualWithRecordWhichHasDefinition) {
- auto t =
- makeNamedDecls("class foo;", "class foo { int A; };", Lang_CXX11);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest,
- RecordShouldBeEqualWithRecordWhichHasDefinition) {
- auto t = makeNamedDecls("class foo { int A; };", "class foo { int A; };",
- Lang_CXX11);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceRecordTest, RecordsWithDifferentBody) {
- auto t = makeNamedDecls("class foo { int B; };", "class foo { int A; };",
- Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- struct StructuralEquivalenceLambdaTest : StructuralEquivalenceTest {};
- TEST_F(StructuralEquivalenceLambdaTest, LambdaClassesWithDifferentMethods) {
- // Get the LambdaExprs, unfortunately we can't match directly the underlying
- // implicit CXXRecordDecl of the Lambda classes.
- auto t = makeDecls<LambdaExpr>(
- "void f() { auto L0 = [](int){}; }",
- "void f() { auto L1 = [](){}; }",
- Lang_CXX11,
- lambdaExpr(),
- lambdaExpr());
- CXXRecordDecl *L0 = get<0>(t)->getLambdaClass();
- CXXRecordDecl *L1 = get<1>(t)->getLambdaClass();
- EXPECT_FALSE(testStructuralMatch(L0, L1));
- }
- TEST_F(StructuralEquivalenceLambdaTest, LambdaClassesWithEqMethods) {
- auto t = makeDecls<LambdaExpr>(
- "void f() { auto L0 = [](int){}; }",
- "void f() { auto L1 = [](int){}; }",
- Lang_CXX11,
- lambdaExpr(),
- lambdaExpr());
- CXXRecordDecl *L0 = get<0>(t)->getLambdaClass();
- CXXRecordDecl *L1 = get<1>(t)->getLambdaClass();
- EXPECT_TRUE(testStructuralMatch(L0, L1));
- }
- TEST_F(StructuralEquivalenceLambdaTest, LambdaClassesWithDifferentFields) {
- auto t = makeDecls<LambdaExpr>(
- "void f() { char* X; auto L0 = [X](){}; }",
- "void f() { float X; auto L1 = [X](){}; }",
- Lang_CXX11,
- lambdaExpr(),
- lambdaExpr());
- CXXRecordDecl *L0 = get<0>(t)->getLambdaClass();
- CXXRecordDecl *L1 = get<1>(t)->getLambdaClass();
- EXPECT_FALSE(testStructuralMatch(L0, L1));
- }
- TEST_F(StructuralEquivalenceLambdaTest, LambdaClassesWithEqFields) {
- auto t = makeDecls<LambdaExpr>(
- "void f() { float X; auto L0 = [X](){}; }",
- "void f() { float X; auto L1 = [X](){}; }",
- Lang_CXX11,
- lambdaExpr(),
- lambdaExpr());
- CXXRecordDecl *L0 = get<0>(t)->getLambdaClass();
- CXXRecordDecl *L1 = get<1>(t)->getLambdaClass();
- EXPECT_TRUE(testStructuralMatch(L0, L1));
- }
- TEST_F(StructuralEquivalenceTest, CompareSameDeclWithMultiple) {
- auto t = makeNamedDecls(
- "struct A{ }; struct B{ }; void foo(A a, A b);",
- "struct A{ }; struct B{ }; void foo(A a, B b);",
- Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceTest, ExplicitBoolDifferent) {
- auto Decls = makeNamedDecls("struct foo {explicit(false) foo(int);};",
- "struct foo {explicit(true) foo(int);};", Lang_CXX2a);
- CXXConstructorDecl *First = FirstDeclMatcher<CXXConstructorDecl>().match(
- get<0>(Decls), cxxConstructorDecl(hasName("foo")));
- CXXConstructorDecl *Second = FirstDeclMatcher<CXXConstructorDecl>().match(
- get<1>(Decls), cxxConstructorDecl(hasName("foo")));
- EXPECT_FALSE(testStructuralMatch(First, Second));
- }
- TEST_F(StructuralEquivalenceTest, ExplicitBoolSame) {
- auto Decls = makeNamedDecls("struct foo {explicit(true) foo(int);};",
- "struct foo {explicit(true) foo(int);};", Lang_CXX2a);
- CXXConstructorDecl *First = FirstDeclMatcher<CXXConstructorDecl>().match(
- get<0>(Decls), cxxConstructorDecl(hasName("foo")));
- CXXConstructorDecl *Second = FirstDeclMatcher<CXXConstructorDecl>().match(
- get<1>(Decls), cxxConstructorDecl(hasName("foo")));
- EXPECT_TRUE(testStructuralMatch(First, Second));
- }
- struct StructuralEquivalenceEnumTest : StructuralEquivalenceTest {};
- TEST_F(StructuralEquivalenceEnumTest, FwdDeclEnumShouldBeEqualWithFwdDeclEnum) {
- auto t = makeNamedDecls("enum class foo;", "enum class foo;", Lang_CXX11);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceEnumTest,
- FwdDeclEnumShouldBeEqualWithEnumWhichHasDefinition) {
- auto t =
- makeNamedDecls("enum class foo;", "enum class foo { A };", Lang_CXX11);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceEnumTest,
- EnumShouldBeEqualWithEnumWhichHasDefinition) {
- auto t = makeNamedDecls("enum class foo { A };", "enum class foo { A };",
- Lang_CXX11);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceEnumTest, EnumsWithDifferentBody) {
- auto t = makeNamedDecls("enum class foo { B };", "enum class foo { A };",
- Lang_CXX11);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- struct StructuralEquivalenceTemplateTest : StructuralEquivalenceTest {};
- TEST_F(StructuralEquivalenceTemplateTest, ExactlySameTemplates) {
- auto t = makeNamedDecls("template <class T> struct foo;",
- "template <class T> struct foo;", Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceTemplateTest, DifferentTemplateArgName) {
- auto t = makeNamedDecls("template <class T> struct foo;",
- "template <class U> struct foo;", Lang_CXX);
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceTemplateTest, DifferentTemplateArgKind) {
- auto t = makeNamedDecls("template <class T> struct foo;",
- "template <int T> struct foo;", Lang_CXX);
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceTemplateTest, ExplicitBoolSame) {
- auto Decls = makeNamedDecls("template <bool b> struct foo {explicit(b) foo(int);};",
- "template <bool b> struct foo {explicit(b) foo(int);};", Lang_CXX2a);
- CXXConstructorDecl *First = FirstDeclMatcher<CXXConstructorDecl>().match(
- get<0>(Decls), cxxConstructorDecl(hasName("foo<b>")));
- CXXConstructorDecl *Second = FirstDeclMatcher<CXXConstructorDecl>().match(
- get<1>(Decls), cxxConstructorDecl(hasName("foo<b>")));
- EXPECT_TRUE(testStructuralMatch(First, Second));
- }
- TEST_F(StructuralEquivalenceTemplateTest, ExplicitBoolDifference) {
- auto Decls = makeNamedDecls("template <bool b> struct foo {explicit(b) foo(int);};",
- "template <bool b> struct foo {explicit(!b) foo(int);};", Lang_CXX2a);
- CXXConstructorDecl *First = FirstDeclMatcher<CXXConstructorDecl>().match(
- get<0>(Decls), cxxConstructorDecl(hasName("foo<b>")));
- CXXConstructorDecl *Second = FirstDeclMatcher<CXXConstructorDecl>().match(
- get<1>(Decls), cxxConstructorDecl(hasName("foo<b>")));
- EXPECT_FALSE(testStructuralMatch(First, Second));
- }
- TEST_F(StructuralEquivalenceTemplateTest,
- TemplateVsSubstTemplateTemplateParmInArgEq) {
- auto t = makeDecls<ClassTemplateSpecializationDecl>(
- R"(
- template <typename P1> class Arg { };
- template <template <typename PP1> class P1> class Primary { };
- void f() {
- // Make specialization with simple template.
- Primary <Arg> A;
- }
- )",
- R"(
- template <typename P1> class Arg { };
- template <template <typename PP1> class P1> class Primary { };
- template <template <typename PP1> class P1> class Templ {
- void f() {
- // Make specialization with substituted template template param.
- Primary <P1> A;
- };
- };
- // Instantiate with substitution Arg into P1.
- template class Templ <Arg>;
- )",
- Lang_CXX, classTemplateSpecializationDecl(hasName("Primary")));
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceTemplateTest,
- TemplateVsSubstTemplateTemplateParmInArgNotEq) {
- auto t = makeDecls<ClassTemplateSpecializationDecl>(
- R"(
- template <typename P1> class Arg { };
- template <template <typename PP1> class P1> class Primary { };
- void f() {
- // Make specialization with simple template.
- Primary <Arg> A;
- }
- )",
- R"(
- // Arg is different from the other, this should cause non-equivalence.
- template <typename P1> class Arg { int X; };
- template <template <typename PP1> class P1> class Primary { };
- template <template <typename PP1> class P1> class Templ {
- void f() {
- // Make specialization with substituted template template param.
- Primary <P1> A;
- };
- };
- // Instantiate with substitution Arg into P1.
- template class Templ <Arg>;
- )",
- Lang_CXX, classTemplateSpecializationDecl(hasName("Primary")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- struct StructuralEquivalenceDependentTemplateArgsTest
- : StructuralEquivalenceTemplateTest {};
- TEST_F(StructuralEquivalenceDependentTemplateArgsTest,
- SameStructsInDependentArgs) {
- std::string Code =
- R"(
- template <typename>
- struct S1;
- template <typename>
- struct enable_if;
- struct S
- {
- template <typename T, typename enable_if<S1<T>>::type>
- void f();
- };
- )";
- auto t = makeDecls<FunctionTemplateDecl>(Code, Code, Lang_CXX11,
- functionTemplateDecl(hasName("f")));
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceDependentTemplateArgsTest,
- DifferentStructsInDependentArgs) {
- std::string Code =
- R"(
- template <typename>
- struct S1;
- template <typename>
- struct S2;
- template <typename>
- struct enable_if;
- )";
- auto t = makeDecls<FunctionTemplateDecl>(Code + R"(
- struct S
- {
- template <typename T, typename enable_if<S1<T>>::type>
- void f();
- };
- )",
- Code + R"(
- struct S
- {
- template <typename T, typename enable_if<S2<T>>::type>
- void f();
- };
- )",
- Lang_CXX11,
- functionTemplateDecl(hasName("f")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceDependentTemplateArgsTest,
- SameStructsInDependentScopeDeclRefExpr) {
- std::string Code =
- R"(
- template <typename>
- struct S1;
- template <bool>
- struct enable_if;
- struct S
- {
- template <typename T, typename enable_if<S1<T>::value>::type>
- void f(); // DependentScopeDeclRefExpr:^^^^^^^^^^^^
- };
- )";
- auto t = makeDecls<FunctionTemplateDecl>(Code, Code, Lang_CXX11,
- functionTemplateDecl(hasName("f")));
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceDependentTemplateArgsTest,
- DifferentStructsInDependentScopeDeclRefExpr) {
- std::string Code =
- R"(
- template <typename>
- struct S1;
- template <typename>
- struct S2;
- template <bool>
- struct enable_if;
- )";
- auto t = makeDecls<FunctionTemplateDecl>(Code + R"(
- struct S
- {
- template <typename T, typename enable_if<S1<T>::value>::type>
- void f(); // DependentScopeDeclRefExpr:^^^^^^^^^^^^
- };
- )",
- Code + R"(
- struct S
- {
- template <typename T, typename enable_if<S2<T>::value>::type>
- void f();
- };
- )",
- Lang_CXX,
- functionTemplateDecl(hasName("f")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(StructuralEquivalenceDependentTemplateArgsTest,
- DifferentValueInDependentScopeDeclRefExpr) {
- std::string Code =
- R"(
- template <typename>
- struct S1;
- template <bool>
- struct enable_if;
- )";
- auto t = makeDecls<FunctionTemplateDecl>(Code + R"(
- struct S
- {
- template <typename T, typename enable_if<S1<T>::value1>::type>
- void f(); // DependentScopeDeclRefExpr:^^^^^^^^^^^^
- };
- )",
- Code + R"(
- struct S
- {
- template <typename T, typename enable_if<S1<T>::value2>::type>
- void f();
- };
- )",
- Lang_CXX,
- functionTemplateDecl(hasName("f")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(
- StructuralEquivalenceTemplateTest,
- ClassTemplSpecWithQualifiedAndNonQualifiedTypeArgsShouldBeEqual) {
- auto t = makeDecls<ClassTemplateSpecializationDecl>(
- R"(
- template <class T> struct Primary {};
- namespace N {
- struct Arg;
- }
- // Explicit instantiation with qualified name.
- template struct Primary<N::Arg>;
- )",
- R"(
- template <class T> struct Primary {};
- namespace N {
- struct Arg;
- }
- using namespace N;
- // Explicit instantiation with UNqualified name.
- template struct Primary<Arg>;
- )",
- Lang_CXX,
- classTemplateSpecializationDecl(hasName("Primary")));
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(
- StructuralEquivalenceTemplateTest,
- ClassTemplSpecWithInequivalentQualifiedAndNonQualifiedTypeArgs) {
- auto t = makeDecls<ClassTemplateSpecializationDecl>(
- R"(
- template <class T> struct Primary {};
- namespace N {
- struct Arg { int a; };
- }
- // Explicit instantiation with qualified name.
- template struct Primary<N::Arg>;
- )",
- R"(
- template <class T> struct Primary {};
- namespace N {
- // This struct is not equivalent with the other in the prev TU.
- struct Arg { double b; }; // -- Field mismatch.
- }
- using namespace N;
- // Explicit instantiation with UNqualified name.
- template struct Primary<Arg>;
- )",
- Lang_CXX,
- classTemplateSpecializationDecl(hasName("Primary")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(
- StructuralEquivalenceTemplateTest,
- ClassTemplSpecWithQualifiedAndNonQualifiedTemplArgsShouldBeEqual) {
- auto t = makeDecls<ClassTemplateSpecializationDecl>(
- R"(
- template <template <class> class T> struct Primary {};
- namespace N {
- template <class T> struct Arg;
- }
- // Explicit instantiation with qualified name.
- template struct Primary<N::Arg>;
- )",
- R"(
- template <template <class> class T> struct Primary {};
- namespace N {
- template <class T> struct Arg;
- }
- using namespace N;
- // Explicit instantiation with UNqualified name.
- template struct Primary<Arg>;
- )",
- Lang_CXX,
- classTemplateSpecializationDecl(hasName("Primary")));
- EXPECT_TRUE(testStructuralMatch(t));
- }
- TEST_F(
- StructuralEquivalenceTemplateTest,
- ClassTemplSpecWithInequivalentQualifiedAndNonQualifiedTemplArgs) {
- auto t = makeDecls<ClassTemplateSpecializationDecl>(
- R"(
- template <template <class> class T> struct Primary {};
- namespace N {
- template <class T> struct Arg { int a; };
- }
- // Explicit instantiation with qualified name.
- template struct Primary<N::Arg>;
- )",
- R"(
- template <template <class> class T> struct Primary {};
- namespace N {
- // This template is not equivalent with the other in the prev TU.
- template <class T> struct Arg { double b; }; // -- Field mismatch.
- }
- using namespace N;
- // Explicit instantiation with UNqualified name.
- template struct Primary<Arg>;
- )",
- Lang_CXX,
- classTemplateSpecializationDecl(hasName("Primary")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- TEST_F(
- StructuralEquivalenceTemplateTest,
- ClassTemplSpecWithInequivalentShadowedTemplArg) {
- auto t = makeDecls<ClassTemplateSpecializationDecl>(
- R"(
- template <template <class> class T> struct Primary {};
- template <class T> struct Arg { int a; };
- // Explicit instantiation with ::Arg
- template struct Primary<Arg>;
- )",
- R"(
- template <template <class> class T> struct Primary {};
- template <class T> struct Arg { int a; };
- namespace N {
- // This template is not equivalent with the other in the global scope.
- template <class T> struct Arg { double b; }; // -- Field mismatch.
- // Explicit instantiation with N::Arg which shadows ::Arg
- template struct Primary<Arg>;
- }
- )",
- Lang_CXX,
- classTemplateSpecializationDecl(hasName("Primary")));
- EXPECT_FALSE(testStructuralMatch(t));
- }
- struct StructuralEquivalenceCacheTest : public StructuralEquivalenceTest {
- llvm::DenseSet<std::pair<Decl *, Decl *>> NonEquivalentDecls;
- template <typename NodeType, typename MatcherType>
- std::pair<NodeType *, NodeType *>
- findDeclPair(std::tuple<TranslationUnitDecl *, TranslationUnitDecl *> TU,
- MatcherType M) {
- NodeType *D0 = FirstDeclMatcher<NodeType>().match(get<0>(TU), M);
- NodeType *D1 = FirstDeclMatcher<NodeType>().match(get<1>(TU), M);
- return {D0, D1};
- }
- template <typename NodeType>
- bool isInNonEqCache(std::pair<NodeType *, NodeType *> D) {
- return NonEquivalentDecls.count(D) > 0;
- }
- };
- TEST_F(StructuralEquivalenceCacheTest, SimpleNonEq) {
- auto TU = makeTuDecls(
- R"(
- class A {};
- class B {};
- void x(A, A);
- )",
- R"(
- class A {};
- class B {};
- void x(A, B);
- )",
- Lang_CXX);
- StructuralEquivalenceContext Ctx(
- get<0>(TU)->getASTContext(), get<1>(TU)->getASTContext(),
- NonEquivalentDecls, StructuralEquivalenceKind::Default, false, false);
- auto X = findDeclPair<FunctionDecl>(TU, functionDecl(hasName("x")));
- EXPECT_FALSE(Ctx.IsEquivalent(X.first, X.second));
- EXPECT_FALSE(isInNonEqCache(findDeclPair<CXXRecordDecl>(
- TU, cxxRecordDecl(hasName("A"), unless(isImplicit())))));
- EXPECT_FALSE(isInNonEqCache(findDeclPair<CXXRecordDecl>(
- TU, cxxRecordDecl(hasName("B"), unless(isImplicit())))));
- }
- TEST_F(StructuralEquivalenceCacheTest, SpecialNonEq) {
- auto TU = makeTuDecls(
- R"(
- class A {};
- class B { int i; };
- void x(A *);
- void y(A *);
- class C {
- friend void x(A *);
- friend void y(A *);
- };
- )",
- R"(
- class A {};
- class B { int i; };
- void x(A *);
- void y(B *);
- class C {
- friend void x(A *);
- friend void y(B *);
- };
- )",
- Lang_CXX);
- StructuralEquivalenceContext Ctx(
- get<0>(TU)->getASTContext(), get<1>(TU)->getASTContext(),
- NonEquivalentDecls, StructuralEquivalenceKind::Default, false, false);
- auto C = findDeclPair<CXXRecordDecl>(
- TU, cxxRecordDecl(hasName("C"), unless(isImplicit())));
- EXPECT_FALSE(Ctx.IsEquivalent(C.first, C.second));
- EXPECT_FALSE(isInNonEqCache(C));
- EXPECT_FALSE(isInNonEqCache(findDeclPair<CXXRecordDecl>(
- TU, cxxRecordDecl(hasName("A"), unless(isImplicit())))));
- EXPECT_FALSE(isInNonEqCache(findDeclPair<CXXRecordDecl>(
- TU, cxxRecordDecl(hasName("B"), unless(isImplicit())))));
- EXPECT_FALSE(isInNonEqCache(
- findDeclPair<FunctionDecl>(TU, functionDecl(hasName("x")))));
- EXPECT_FALSE(isInNonEqCache(
- findDeclPair<FunctionDecl>(TU, functionDecl(hasName("y")))));
- }
- TEST_F(StructuralEquivalenceCacheTest, Cycle) {
- auto TU = makeTuDecls(
- R"(
- class C;
- class A { C *c; };
- void x(A *);
- class C {
- friend void x(A *);
- };
- )",
- R"(
- class C;
- class A { C *c; };
- void x(A *);
- class C {
- friend void x(A *);
- };
- )",
- Lang_CXX);
- StructuralEquivalenceContext Ctx(
- get<0>(TU)->getASTContext(), get<1>(TU)->getASTContext(),
- NonEquivalentDecls, StructuralEquivalenceKind::Default, false, false);
- auto C = findDeclPair<CXXRecordDecl>(
- TU, cxxRecordDecl(hasName("C"), unless(isImplicit())));
- EXPECT_TRUE(Ctx.IsEquivalent(C.first, C.second));
- EXPECT_FALSE(isInNonEqCache(C));
- EXPECT_FALSE(isInNonEqCache(findDeclPair<CXXRecordDecl>(
- TU, cxxRecordDecl(hasName("A"), unless(isImplicit())))));
- EXPECT_FALSE(isInNonEqCache(
- findDeclPair<FunctionDecl>(TU, functionDecl(hasName("x")))));
- }
- } // end namespace ast_matchers
- } // end namespace clang
|