diff options
Diffstat (limited to 'clang/unittests/AST/StructuralEquivalenceTest.cpp')
| -rw-r--r-- | clang/unittests/AST/StructuralEquivalenceTest.cpp | 170 |
1 files changed, 170 insertions, 0 deletions
diff --git a/clang/unittests/AST/StructuralEquivalenceTest.cpp b/clang/unittests/AST/StructuralEquivalenceTest.cpp index 22c7b82..91dd717 100644 --- a/clang/unittests/AST/StructuralEquivalenceTest.cpp +++ b/clang/unittests/AST/StructuralEquivalenceTest.cpp @@ -2275,6 +2275,176 @@ TEST_F(StructuralEquivalenceStmtTest, UnaryOperatorDifferentOps) { EXPECT_FALSE(testStructuralMatch(t)); } +TEST_F(StructuralEquivalenceStmtTest, + CXXOperatorCallExprVsUnaryBinaryOperator) { + auto t = makeNamedDecls( + R"( + template <typename T, T x> + class A; + template <typename T, T x, T y> + void foo( + A<T, x + y>, + A<T, x - y>, + A<T, -x>, + A<T, x * y>, + A<T, *x>, + A<T, x / y>, + A<T, x % y>, + A<T, x ^ y>, + A<T, x & y>, + A<T, &x>, + A<T, x | y>, + A<T, ~x>, + A<T, !x>, + A<T, x < y>, + A<T, (x > y)>, + A<T, x << y>, + A<T, (x >> y)>, + A<T, x == y>, + A<T, x != y>, + A<T, x <= y>, + A<T, x >= y>, + A<T, x <=> y>, + A<T, x && y>, + A<T, x || y>, + A<T, ++x>, + A<T, --x>, + A<T, (x , y)>, + A<T, x ->* y>, + A<T, x -> y> + ); + )", + R"( + struct Bar { + Bar& operator=(Bar&); + Bar& operator->(); + }; + + Bar& operator+(Bar&, Bar&); + Bar& operator+(Bar&); + Bar& operator-(Bar&, Bar&); + Bar& operator-(Bar&); + Bar& operator*(Bar&, Bar&); + Bar& operator*(Bar&); + Bar& operator/(Bar&, Bar&); + Bar& operator%(Bar&, Bar&); + Bar& operator^(Bar&, Bar&); + Bar& operator&(Bar&, Bar&); + Bar& operator&(Bar&); + Bar& operator|(Bar&, Bar&); + Bar& operator~(Bar&); + Bar& operator!(Bar&); + Bar& operator<(Bar&, Bar&); + Bar& operator>(Bar&, Bar&); + Bar& operator+=(Bar&, Bar&); + Bar& operator-=(Bar&, Bar&); + Bar& operator*=(Bar&, Bar&); + Bar& operator/=(Bar&, Bar&); + Bar& operator%=(Bar&, Bar&); + Bar& operator^=(Bar&, Bar&); + Bar& operator&=(Bar&, Bar&); + Bar& operator|=(Bar&, Bar&); + Bar& operator<<(Bar&, Bar&); + Bar& operator>>(Bar&, Bar&); + Bar& operator<<=(Bar&, Bar&); + Bar& operator>>=(Bar&, Bar&); + Bar& operator==(Bar&, Bar&); + Bar& operator!=(Bar&, Bar&); + Bar& operator<=(Bar&, Bar&); + Bar& operator>=(Bar&, Bar&); + Bar& operator<=>(Bar&, Bar&); + Bar& operator&&(Bar&, Bar&); + Bar& operator||(Bar&, Bar&); + Bar& operator++(Bar&); + Bar& operator--(Bar&); + Bar& operator,(Bar&, Bar&); + Bar& operator->*(Bar&, Bar&); + + template <typename T, T x> + class A; + template <typename T, T x, T y> + void foo( + A<T, x + y>, + A<T, x - y>, + A<T, -x>, + A<T, x * y>, + A<T, *x>, + A<T, x / y>, + A<T, x % y>, + A<T, x ^ y>, + A<T, x & y>, + A<T, &x>, + A<T, x | y>, + A<T, ~x>, + A<T, !x>, + A<T, x < y>, + A<T, (x > y)>, + A<T, x << y>, + A<T, (x >> y)>, + A<T, x == y>, + A<T, x != y>, + A<T, x <= y>, + A<T, x >= y>, + A<T, x <=> y>, + A<T, x && y>, + A<T, x || y>, + A<T, ++x>, + A<T, --x>, + A<T, (x , y)>, + A<T, x ->* y>, + A<T, x -> y> + ); + )", + Lang_CXX20); + EXPECT_TRUE(testStructuralMatch(t)); +} + +TEST_F(StructuralEquivalenceStmtTest, + CXXOperatorCallExprVsUnaryBinaryOperatorNe) { + auto t = makeNamedDecls( + R"( + template <typename T, T x> + class A; + template <typename T, T x, T y> + void foo( + A<T, x + y> + ); + )", + R"( + struct Bar; + + Bar& operator-(Bar&, Bar&); + + template <typename T, T x> + class A; + template <typename T, T x, T y> + void foo( + A<T, x - y> + ); + )", + Lang_CXX11); + EXPECT_FALSE(testStructuralMatch(t)); +} + +TEST_F(StructuralEquivalenceStmtTest, NonTypeTemplateParm) { + auto t = makeNamedDecls( + R"( + template <typename T, T x> + class A; + template <typename T, T x, T y> + void foo(A<T, x>); + )", + R"( + template <typename T, T x> + class A; + template <typename T, T x, T y> + void foo(A<T, y>); + )", + Lang_CXX11); + // FIXME: These should not match, + EXPECT_TRUE(testStructuralMatch(t)); +} + TEST_F(StructuralEquivalenceStmtTest, UnresolvedLookupDifferentName) { auto t = makeStmts( R"( |