符号つき整数の拡張

C

むう? 規格にこれの規定って無かった? 見当たらんけど…

uint32_t x = (int8_t)-1;

6.3.1.8 (Usual Arithmetic Conversion) には "[...]the operand with signed integer type is converted to the type of the operand with unsigned integer type." とあるだけで、値が符号拡張されるのかどうか書いてない。Annex の implementation-defined behavior にも特にそれらしい記述は見当たらず。あり?