[dcl.constexpr] modernize example of constexpr-usable functions

Author: Eisenwave

source/declarations.tex

@@ -879,33 +879,26 @@
 
 \begin{example}
 \begin{codeblock}
-constexpr int square(int x)
-  { return x * x; }             // OK
-constexpr long long_max()
-  { return 2147483647; }        // OK
-constexpr int abs(int x) {
-  if (x < 0)
-    x = -x;
-  return x;                     // OK
+constexpr int square(int x) {                   // OK
+  return x * x;
 }
-constexpr int constant_non_42(int n) {  // OK
-  if (n == 42) {
-    static int value = n;
-    return value;
-  }
-  return n;
+constexpr std::generator<int> iota(int n = 0) {
+    while (true) co_yield n++;                  // error: \tcode{co_yield} cannot be used in a constexpr function
 }
-constexpr int uninit() {
-  struct { int a; } s;
-  return s.a;                   // error: uninitialized read of \tcode{s.a}
+constexpr int not_really_constexpr(int n) {     // constexpr-usable function, but calls to
+  static int value = n;                         // \tcode{not_really_constexpr} never produce a constant expression
+  return value;
 }
-constexpr int prev(int x)
-  { return --x; }               // OK
-constexpr int g(int x, int n) { // OK
-  int r = 1;
-  while (--n > 0) r *= x;
-  return r;
+constexpr int uninit() {                        // constexpr-usable function, but a program which calls
+  struct { int a; } s;                          // \tcode{uninit} in a constant expression is ill-formed
+  return s.a;
 }
+struct Base {
+  constexpr Derived() = default;                // OK
+};
+struct Derived : virtual Base {
+    constexpr Derived() = default;              // error: constructor cannot be constexpr in a                                          
+};                                              // class or struct with virtual base classes
 \end{codeblock}
 \end{example}