>>407
lvalue, xvalue, prvalue は排反集合なのですが、
glvalueとrvalueは、正確に

#define IS_GLVALUE(X) (IS_LVALUE(X) || IS_XVALUE(X)) // glvalue は、lvalue と xvalue の和集合
#define IS_RVALUE(X) (IS_PRVALUE(X) || IS_XVALUE(X)) // rvalue は、 prvalue と xvalue の和集合

なので、rvalueであっても、xvalueで無い場合がありえます。
それは、prvalueです。