Author: Krystian Stasiowski Date: 2024-11-06T11:04:35-05:00 New Revision: f548d39c3c751446d124c08769080214680d53ba
URL: https://github.com/llvm/llvm-project/commit/f548d39c3c751446d124c08769080214680d53ba DIFF: https://github.com/llvm/llvm-project/commit/f548d39c3c751446d124c08769080214680d53ba.diff LOG: [Clang][Test] Update test after #115159 (#115172) After #111852 was reverted in #115159, two tests now fail because they partially depend on its changes. This patch temporarily fixes the failing cases by updating the expected output to match the actual output. Once #111852 is relanded, this can be reverted. Added: Modified: clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp Removed: ################################################################################ diff --git a/clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp b/clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp index 7969b7efe597f9..61f8b1c32e2646 100644 --- a/clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp +++ b/clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp @@ -1,5 +1,4 @@ // RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %s -// expected-no-diagnostics template<typename T> struct A { @@ -70,11 +69,17 @@ constexpr int A<long>::x<U&> = 5; static_assert(A<int>::B<int>::y == 3); static_assert(A<int>::B<int*>::y == 3); static_assert(A<int>::B<int[]>::y == 3); -static_assert(A<int>::B<int&>::y == 4); + +// FIXME: This should pass! +static_assert(A<int>::B<int&>::y == 4); // expected-error {{static assertion failed due to requirement 'A<int>::B<int &>::y == 4'}} + // expected-note@-1 {{expression evaluates to '3 == 4'}} static_assert(A<int>::x<int> == 3); static_assert(A<int>::x<int*> == 3); static_assert(A<int>::x<int[]> == 3); -static_assert(A<int>::x<int&> == 4); + +// FIXME: This should pass! +static_assert(A<int>::x<int&> == 4); // expected-error {{static assertion failed due to requirement 'A<int>::x<int &> == 4'}} + // expected-note@-1 {{expression evaluates to '3 == 4'}} static_assert(A<long>::B<int>::y == 0); static_assert(A<long>::B<int*>::y == 1); static_assert(A<long>::B<int[]>::y == 2); _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
