Rebase and address zygoloid's comments.

Revert some of the mechanical
  * OK: back to OK,
  * ill-formed, no diagnostic required back to ill-formed, no diagnostic required
  * error: -> error, (in one case).

Author: vgvassilev

source/access.tex

@@ -840,14 +840,14 @@
   class Y;
   extern void b();
   class A {
-  friend class X;   // OK: but \tcode{X} is a local class, not \tcode{::X}
+  friend class X;   // OK, but \tcode{X} is a local class, not \tcode{::X}
   friend class Y;   // OK
   friend class Z;   // OK: introduces local class \tcode{Z}
   friend void a();  // error: \tcode{::a} is not considered
   friend void b();  // OK
   friend void c();  // error
   };
-  X* px;            // OK: but \tcode{::X} is found
+  X* px;            // OK, but \tcode{::X} is found
   Z* pz;            // error: no \tcode{Z} is found
 }
 \end{codeblock}

source/basic.tex

@@ -940,7 +940,7 @@
 
 typedef int I;
 class D {
-  typedef I I;                      // error: even though no reordering involved
+  typedef I I;                      // error, even though no reordering involved
 };
 \end{codeblock}
 \end{example}

source/declarations.tex

@@ -155,7 +155,7 @@
 
 \begin{codeblock}
 enum { };           // ill-formed
-typedef class { };  //  ill-formed
+typedef class { };  // ill-formed
 \end{codeblock}
 \end{example}
 
@@ -905,7 +905,7 @@
 \begin{codeblock}
 constexpr int f(bool b)
   { return b ? throw 0 : 0; }               // OK
-constexpr int f() { return f(true); }       // ill-formed: no diagnostic required
+constexpr int f() { return f(true); }       // ill-formed, no diagnostic required
 
 struct B {
   constexpr B(int x) : i(0) { }             // \tcode{x} is unused
@@ -915,7 +915,7 @@
 int global;
 
 struct D : B {
-  constexpr D() : B(global) { }             // ill-formed: no diagnostic required
+  constexpr D() : B(global) { }             // ill-formed, no diagnostic required
                                             // lvalue-to-rvalue conversion on non-constant \tcode{global}
 };
 \end{codeblock}
@@ -1680,7 +1680,7 @@
 body.
 \begin{example}
 \begin{codeblock}
-auto  f() { } // OK: return type is \tcode{void}
+auto  f() { } // OK, return type is \tcode{void}
 auto* g() { } // error: cannot deduce \tcode{auto*} from \tcode{void()}
 \end{codeblock}
 \end{example}
@@ -1736,7 +1736,7 @@
 decltype(auto) f();     // error: \tcode{auto} and \tcode{decltype(auto)} don't match
 
 template <typename T> auto g(T t) { return t; } // \#1
-template auto g(int);                           // OK: return type is \tcode{int}
+template auto g(int);                           // OK, return type is \tcode{int}
 template char g(char);                          // error: no matching template
 template<> auto g(double);                      // OK: forward declaration with unknown return type
 

source/declarators.tex

@@ -620,7 +620,7 @@
 or allow it to be changed through a cv-unqualified pointer later, for example:
 
 \begin{codeblock}
-*ppc = &ci;         // OK: but would make \tcode{p} point to \tcode{ci} ...
+*ppc = &ci;         // OK, but would make \tcode{p} point to \tcode{ci} ...
                     // ... because of previous error
 *p = 5;             // clobber \tcode{ci}
 \end{codeblock}
@@ -2271,7 +2271,7 @@
 
 \begin{codeblock}
 struct onlydouble {
-  onlydouble() = delete;              // OK: but redundant
+  onlydouble() = delete;              // OK, but redundant
   onlydouble(std::intmax_t) = delete;
   onlydouble(double);
 };
@@ -2711,7 +2711,7 @@
 \begin{codeblock}
   int f(bool b) {
     unsigned char c;
-    unsigned char d = c; // OK: \tcode{d} has an indeterminate value
+    unsigned char d = c; // OK, \tcode{d} has an indeterminate value
     int e = d;           // undefined behavior
     return b ? d : 0;    // undefined behavior if \tcode{b} is \tcode{true}
   }