>>709
後者はno。
aとbが同じオブジェクトであるとか、同じ配列オブジェクトの要素であるとか、
同じ構造体や共用体のメンバであるとかの場合を除いて、
オブジェクトのポインタの順序を比較した場合の動作は未定義。