Skip to content

P2013R5 Freestanding Language: Optional ::operator new #6358

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 21, 2023
Merged

P2013R5 Freestanding Language: Optional ::operator new #6358

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 19 additions & 0 deletions source/support.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2279,6 +2279,25 @@
is not a valid alignment value,
the behavior is undefined.

\pnum
On freestanding implementations,
it is \impldef{whether freestanding default replaceable global allocation functions satisfy required behavior}
whether the default versions of the replaceable global allocation functions
satisfy the required behaviors
described in \ref{new.delete.single} and \ref{new.delete.array}.
\begin{note}
A freestanding implementation's default versions of
the replaceable global allocation functions
can cause undefined behavior when invoked.
During constant evaluation,
the behaviors of those default versions are irrelevant,
as those calls are omitted\iref{expr.new}.
\end{note}

\recommended
If any of the default versions of the replaceable global allocation functions
meet the requirements of a hosted implementation, they all should.

\newcommand{\replaceabledesc}[1]{%
A \Cpp{} program may define functions with #1 of these function signatures,
and thereby displace the default versions defined by the
Expand Down