CWG2887 Missing compatibility entries for xvalues

Author: burblebee

source/compatibility.tex

@@ -1997,6 +1997,28 @@
 \end{codeblock}
 \end{example}
 
+\diffref{expr.typeid}
+\change
+Evaluation of operands in \keyword{typeid}.
+\rationale
+Introduce additional expression value categories.
+\effect
+Valid \CppIII{} code that uses xvalues as operands for \keyword{typeid}
+may change behavior in this revision of \Cpp{}.
+\begin{example}
+\begin{codeblock}
+void f() {
+  struct B {
+    B() {}
+    virtual ~B() { }
+  };
+
+  struct C { B b; };
+  typeid(C().b);    // unevaluated in \CppIII{}, evaluated in \CppXI{}
+}
+\end{codeblock}
+\end{example}
+
 \diffref{expr.mul}
 \change
 Specify rounding for results of integer \tcode{/} and \tcode{\%}.
@@ -2023,6 +2045,31 @@
 \end{codeblock}
 \end{example}
 
+\diffref{expr.cond}
+\change
+Fewer copies in the conditional operator.
+\rationale
+Introduce additional expression value categories.
+\effect
+Valid \CppIII{} code that uses xvalues as operands for the conditional operator
+may change behavior in this revision of \Cpp{}.
+\begin{example}
+\begin{codeblock}
+void f() {
+  struct B {
+    B() {}
+    B(const B&) { }
+  };
+  struct D : B {};
+
+  struct BB { B b; };
+  struct DD { D d; };
+
+  true ? BB().b : DD().d;       // additional copy in \CppIII{}, no copy or move in \CppXI{}
+}
+\end{codeblock}
+\end{example}
+
 \rSec2[diff.cpp03.dcl.dcl]{\ref{dcl.dcl}: declarations}
 
 \diffref{dcl.spec}