unsigned int i = 0;
int j = i - 1;
このようなコードがあったとき，jが-1になることは規格で保証されていますか？