Author: Utkarsh Saxena Date: 2025-03-24T17:42:33+01:00 New Revision: 65ee2813f9f9a8cd11c5e9ea372da7d12867b52f
URL: https://github.com/llvm/llvm-project/commit/65ee2813f9f9a8cd11c5e9ea372da7d12867b52f DIFF: https://github.com/llvm/llvm-project/commit/65ee2813f9f9a8cd11c5e9ea372da7d12867b52f.diff LOG: [clang] Do not infer lifetimebound for functions with void return type (#131997) Fixes: https://github.com/llvm/llvm-project/issues/126231 Also found in : https://github.com/microsoft/STL/issues/5271 Added: clang/test/Sema/GH126231.cpp Modified: clang/lib/Sema/SemaAttr.cpp Removed: ################################################################################ diff --git a/clang/lib/Sema/SemaAttr.cpp b/clang/lib/Sema/SemaAttr.cpp index 6c0c0eb29369e..4cfe000dccf61 100644 --- a/clang/lib/Sema/SemaAttr.cpp +++ b/clang/lib/Sema/SemaAttr.cpp @@ -14,6 +14,7 @@ #include "CheckExprLifetime.h" #include "clang/AST/ASTConsumer.h" #include "clang/AST/Attr.h" +#include "clang/AST/DeclCXX.h" #include "clang/AST/Expr.h" #include "clang/Basic/TargetInfo.h" #include "clang/Lex/Preprocessor.h" @@ -219,6 +220,10 @@ void Sema::inferGslOwnerPointerAttribute(CXXRecordDecl *Record) { void Sema::inferLifetimeBoundAttribute(FunctionDecl *FD) { if (FD->getNumParams() == 0) return; + // Skip void returning functions (except constructors). This can occur in + // cases like 'as_const'. + if (!isa<CXXConstructorDecl>(FD) && FD->getReturnType()->isVoidType()) + return; if (unsigned BuiltinID = FD->getBuiltinID()) { // Add lifetime attribute to std::move, std::fowrard et al. diff --git a/clang/test/Sema/GH126231.cpp b/clang/test/Sema/GH126231.cpp new file mode 100644 index 0000000000000..d10fc79c3b628 --- /dev/null +++ b/clang/test/Sema/GH126231.cpp @@ -0,0 +1,18 @@ +// RUN: %clang_cc1 -std=c++20 -Wno-ignored-attributes -Wno-unused-value -verify %s +// expected-no-diagnostics +namespace std { +template <class T> +constexpr const T& as_const(T&) noexcept; + +// We need two declarations to see the error for some reason. +template <class T> void as_const(const T&&) noexcept = delete; +template <class T> void as_const(const T&&) noexcept; +} + +namespace GH126231 { + +void test() { + int a = 1; + std::as_const(a); +} +} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
