Skip to content

Commit db30e9c

Browse files
author
Dawn Perchik
committed
CWG2299 constexpr vararg functions
1 parent 252380d commit db30e9c

File tree

1 file changed

+8
-5
lines changed

1 file changed

+8
-5
lines changed

source/expressions.tex

Lines changed: 8 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -5906,17 +5906,20 @@
59065906

59075907
\item
59085908
a relational\iref{expr.rel} or equality\iref{expr.eq}
5909-
operator where the result is unspecified; or
5909+
operator where the result is unspecified;
59105910

59115911
\item
5912-
a \grammarterm{throw-expression}\iref{expr.throw}.
5912+
a \grammarterm{throw-expression}\iref{expr.throw}; or
5913+
5914+
\item
5915+
an invocation of the \tcode{va_arg} macro\iref{cstdarg.syn}.
59135916
\end{itemize}
59145917

59155918
If \tcode{e} satisfies the constraints of a core constant expression, but
59165919
evaluation of \tcode{e} would evaluate an operation that has undefined behavior
5917-
as specified in \ref{library} through \ref{\lastlibchapter} of this
5918-
document, it is unspecified whether \tcode{e} is a core constant
5919-
expression.
5920+
as specified in \ref{library} through \ref{\lastlibchapter} of this document, or
5921+
an invocation of the \tcode{va_start} macro\iref{cstdarg.syn},
5922+
it is unspecified whether \tcode{e} is a core constant expression.
59205923

59215924
\begin{example}
59225925
\begin{codeblock}

0 commit comments

Comments
 (0)