[clang] [Clang][Test] Update test after #115159 (PR #115172)
Krystian Stasiowski via cfe-commits
cfe-commits at lists.llvm.org
Wed Nov 6 07:21:52 PST 2024
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 <sdkrystian at 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 at -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 at -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);
More information about the cfe-commits
mailing list