https://github.com/tbaederr created https://github.com/llvm/llvm-project/pull/200366
Fixes https://github.com/llvm/llvm-project/issues/200295 >From 0390ec9dd21664e10ffea6f4a8927d49c737c0f5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timm=20B=C3=A4der?= <[email protected]> Date: Fri, 29 May 2026 12:05:55 +0200 Subject: [PATCH] [clang][bytecode] Fix a crash with an empty InitListExpr Fixes https://github.com/llvm/llvm-project/issues/200295 --- clang/lib/AST/ByteCode/Compiler.cpp | 2 +- clang/test/AST/ByteCode/new-delete.cpp | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/clang/lib/AST/ByteCode/Compiler.cpp b/clang/lib/AST/ByteCode/Compiler.cpp index f339d9a41ac2e..e6ab810b4c398 100644 --- a/clang/lib/AST/ByteCode/Compiler.cpp +++ b/clang/lib/AST/ByteCode/Compiler.cpp @@ -4039,7 +4039,7 @@ bool Compiler<Emitter>::VisitCXXNewExpr(const CXXNewExpr *E) { if (const auto *ILE = dyn_cast<InitListExpr>(Init)) { if (ILE->hasArrayFiller()) DynamicInit = ILE->getArrayFiller(); - else if (isa<StringLiteral>(ILE->getInit(0))) + else if (StaticInitElems > 0 && isa<StringLiteral>(ILE->getInit(0))) ElemT = classifyPrim(CAT->getElementType()); } } diff --git a/clang/test/AST/ByteCode/new-delete.cpp b/clang/test/AST/ByteCode/new-delete.cpp index b6e6d333a4bcb..930e090dd5bce 100644 --- a/clang/test/AST/ByteCode/new-delete.cpp +++ b/clang/test/AST/ByteCode/new-delete.cpp @@ -29,6 +29,9 @@ struct S { static_assert(((delete[] (new int[true])), true)); static_assert(((delete[] (new S[true])), true)); +static_assert((new int[]{})[0] == 0); // both-error {{not an integral constant expression}} \ + // both-note {{read of dereferenced one-past-the-end pointer}} + constexpr int a() { new int(12); // both-note {{allocation performed here was not deallocated}} return 1; _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
