固定長配列ではない a = malloc( NUM * sizeof( *a ) ) に対して &a[0] < &a[ NUM ] /* NUM-1 ではない */ は保証されていますか？
また、異なる2つのオブジェクトを指すポインタの比較結果について、同じオブジェクトの組に対しては常に &a < &b もしくは &a > &b の何れか一方のみが成り立つことが保証されていますか？