https://github.com/sdkrystian created
https://github.com/llvm/llvm-project/pull/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.
>From 31d1ff0656d1d9148f05ad045dd9ba04e00d0da6 Mon Sep 17 00:00:00 2001
From: Krystian Stasiowski <sdkryst...@gmail.com>
Date: Wed, 6 Nov 2024 10:18:19 -0500
Subject: [PATCH] [Clang][Test] Update test after #115159
---
.../temp.spec.partial/temp.spec.partial.member/p2.cpp | 11 ++++++++---
1 file changed, 8 insertions(+), 3 deletions(-)
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
