P2242R3 Non-literal variables (and labels and gotos) in constexpr functions

Author: jensmaurer

source/declarations.tex

@@ -783,21 +783,7 @@
 
 \item
 if the function is a constructor or destructor,
-its class shall not have any virtual base classes;
-
-\item
-its \grammarterm{function-body} shall not enclose\iref{stmt.pre}
-\begin{itemize}
-\item a \tcode{goto} statement,
-\item a label with an \grammarterm{identifier}\iref{stmt.label},
-\item a definition of a variable
-of non-literal type or
-of static or thread storage duration.
-\end{itemize}
-\begin{note}
-A \grammarterm{function-body} that is \tcode{= delete} or \tcode{= default}
-encloses none of the above.
-\end{note}
+its class shall not have any virtual base classes.
 \end{itemize}
 
 \begin{example}
@@ -811,9 +797,12 @@
     x = -x;
   return x;                     // OK
 }
-constexpr int first(int n) {
-  static int value = n;         // error: variable has static storage duration
-  return value;
+constexpr int constant_non_42(int n) {  // OK
+  if (n == 42) {
+    static int value = n;
+    return value;
+  }
+  return n;
 }
 constexpr int uninit() {
   struct { int a; } s;
@@ -892,6 +881,12 @@
   constexpr D() : B(global) { }         // ill-formed, no diagnostic required
                                         // lvalue-to-rvalue conversion on non-constant \tcode{global}
 };
+
+constexpr int f(int x) {
+  static int n = x;
+  return n + x;                         // ill-formed, no diagnostic required
+                                        // all calls reach the static variable declaration
+}
 \end{codeblock}
 \end{example}
 

source/expressions.tex

@@ -7080,6 +7080,12 @@
 function\iref{dcl.constexpr} that is being evaluated as part
 of $E$;
 
+\item
+a control flow that passes through
+a declaration of a variable with
+static\iref{basic.stc.static} or
+thread\iref{basic.stc.thread} storage duration;
+
 \item
 an invocation of a non-constexpr function;
 \begin{footnote}
@@ -7249,10 +7255,13 @@
 that would throw an exception;
 
 \item
-an \grammarterm{asm-declaration}\iref{dcl.asm}; or
+an \grammarterm{asm-declaration}\iref{dcl.asm};
+
+\item
+an invocation of the \tcode{va_arg} macro\iref{cstdarg.syn}; or
 
 \item
-an invocation of the \tcode{va_arg} macro\iref{cstdarg.syn}.
+a \tcode{goto} statement\iref{stmt.goto}.
 \end{itemize}
 
 If $E$ satisfies the constraints of a core constant expression, but

source/preprocessor.tex

@@ -1765,7 +1765,7 @@
 \defnxname{cpp_char8_t}                           & \tcode{201811L} \\ \rowsep
 \defnxname{cpp_concepts}                          & \tcode{201907L} \\ \rowsep
 \defnxname{cpp_conditional_explicit}              & \tcode{201806L} \\ \rowsep
-\defnxname{cpp_constexpr}                         & \tcode{201907L} \\ \rowsep
+\defnxname{cpp_constexpr}                         & \tcode{202110L} \\ \rowsep
 \defnxname{cpp_constexpr_dynamic_alloc}           & \tcode{201907L} \\ \rowsep
 \defnxname{cpp_constexpr_in_decltype}             & \tcode{201711L} \\ \rowsep
 \defnxname{cpp_consteval}                         & \tcode{201811L} \\ \rowsep