[clang] [clang][bytecode] Fix self-init diagnostics in C++23 (PR #141044)
Timm Baeder via cfe-commits
cfe-commits at lists.llvm.org
Thu May 22 04:35:13 PDT 2025
https://github.com/tbaederr created https://github.com/llvm/llvm-project/pull/141044
None
>From bbd228b43194e37e0b5441c3f682a35ff27171b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timm=20B=C3=A4der?= <tbaeder at redhat.com>
Date: Thu, 22 May 2025 13:34:33 +0200
Subject: [PATCH] [clang][bytecode] Fix self-init diagnostics in C++23
---
clang/lib/AST/ByteCode/Interp.cpp | 3 ++-
clang/test/AST/ByteCode/cxx23.cpp | 6 ++++++
2 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/clang/lib/AST/ByteCode/Interp.cpp b/clang/lib/AST/ByteCode/Interp.cpp
index b3ac84ce9278f..7cc0d2a526480 100644
--- a/clang/lib/AST/ByteCode/Interp.cpp
+++ b/clang/lib/AST/ByteCode/Interp.cpp
@@ -670,7 +670,8 @@ bool CheckInitialized(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
if (const auto *VD = Ptr.getDeclDesc()->asVarDecl();
VD && (VD->isConstexpr() || VD->hasGlobalStorage())) {
- if (!S.getLangOpts().CPlusPlus23 && VD == S.EvaluatingDecl) {
+ if (VD == S.EvaluatingDecl &&
+ !(S.getLangOpts().CPlusPlus23 && VD->getType()->isReferenceType())) {
if (!S.getLangOpts().CPlusPlus14 &&
!VD->getType().isConstant(S.getASTContext())) {
// Diagnose as non-const read.
diff --git a/clang/test/AST/ByteCode/cxx23.cpp b/clang/test/AST/ByteCode/cxx23.cpp
index ce18a9d473302..417d35dbca946 100644
--- a/clang/test/AST/ByteCode/cxx23.cpp
+++ b/clang/test/AST/ByteCode/cxx23.cpp
@@ -73,6 +73,12 @@ constexpr int k(int n) {
}
constexpr int k0 = k(0);
+#if __cplusplus >= 202302L
+constexpr int &b = b; // all-error {{must be initialized by a constant expression}} \
+ // all-note {{initializer of 'b' is not a constant expression}} \
+ // all-note {{declared here}}
+#endif
+
namespace StaticLambdas {
constexpr auto static_capture_constexpr() {
char n = 'n';
More information about the cfe-commits
mailing list