================
@@ -2527,6 +2527,32 @@ class FunctionDecl : public DeclaratorDecl,
/// If this function is an allocation/deallocation function that takes
/// the `std::nothrow_t` tag, return true through IsNothrow,
bool isReplaceableGlobalAllocationFunction(
+ std::optional<unsigned> *AlignmentParam = nullptr,
+ bool *IsNothrow = nullptr) const {
+ if (isTypeAwareOperatorNewOrDelete())
+ return false;
+ return isUsableAsGlobalAllocationFunctionInConstantEvaluation(
+ AlignmentParam, IsNothrow);
+ }
+
+ /// Determines whether this function is one of the replaceable global
+ /// allocation functions described in isReplaceableGlobalAllocationFunction,
+ /// or is a function that may be treated as such during constant evaluation.
+ /// This adds support for potentially templated type aware global allocation
+ /// functions of the form:
+ /// void *operator new(type-identity, std::size_t, std::align_val_t)
+ /// void *operator new(type-identity, std::size_t, std::align_val_t,
const std::nothrow_t &) noexcept;
+ /// void *operator new[](type-identity, std::size_t, std::align_val_t)
+ /// void *operator new[](type-identity, std::size_t, std::align_val_t,
const std::nothrow_t &) noexcept;
+ /// void operator delete(type-identity, void*, std::size_t,
std::align_val_t) noexcept;
----------------
ojhunt wrote:
I manually broke these across lines in some manner of semi-appropriate
formatting/line break
<!-- Reviewable comment -OMp1ME-782gxuSGybq_:bhtwkbf -->
<!-- Sent from Reviewable.io -->
https://github.com/llvm/llvm-project/pull/113510
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
