CWG2763 Ignorability of [[noreturn]] during constant evaluation

Author: burblebee

source/expressions.tex

@@ -7447,7 +7447,7 @@
 \item
 an operation that would have undefined behavior
 as specified in \ref{intro} through \ref{cpp},
-excluding \ref{dcl.attr.assume};
+excluding \ref{dcl.attr.assume} and \ref{dcl.attr.noreturn};
 \begin{footnote}
 This includes,
 for example, signed integer overflow\iref{expr.pre}, certain
@@ -7604,6 +7604,7 @@
 \end{note}
 \end{itemize}
 
+\pnum
 It is unspecified whether $E$ is a core constant expression
 if $E$ satisfies the constraints of a core constant expression, but
 evaluation of $E$ would evaluate
@@ -7612,7 +7613,12 @@
 an operation that has undefined behavior
 as specified in \ref{library} through \ref{\lastlibchapter},
 \item
-an invocation of the \tcode{va_start} macro\iref{cstdarg.syn}, or
+an invocation of the \tcode{va_start} macro\iref{cstdarg.syn},
+\item
+a call to a function
+that was previously declared
+with the \tcode{noreturn} attribute\iref{dcl.attr.noreturn} and
+that call returns to its caller, or
 \item
 a statement with an assumption\iref{dcl.attr.assume}
 whose converted \grammarterm{conditional-expression},