Сообщение Re[4]: var++ к байтовой переменной на ARM64 от 13.01.2023 9:09
Изменено 13.01.2023 9:09 night beast
Re[4]: var++ к байтовой переменной на ARM64
Здравствуйте, σ, Вы писали:
ЕМ>>Вопрос в том, насколько эта конструкция корректна в смысле языка. В итоге в переменную записывается, как положено, байт (значение 0). Но функция проверки фактической разрядности значения вызывается для значения 0x100, полученного инкрементом 0xff, но не байтовой разрядности, а большей (какая там разрядность у w0/x0 — я с ARM почти не знаком).
ЕМ>>Есть ли у ++ возможный UB при применении к байтовой переменной?
σ>C99 / 6.3 Conversions / 6.3.1 Arithmetic operands / 6.3.1.3 Signed and unsigned integers
ЕМ>>Вопрос в том, насколько эта конструкция корректна в смысле языка. В итоге в переменную записывается, как положено, байт (значение 0). Но функция проверки фактической разрядности значения вызывается для значения 0x100, полученного инкрементом 0xff, но не байтовой разрядности, а большей (какая там разрядность у w0/x0 — я с ARM почти не знаком).
ЕМ>>Есть ли у ++ возможный UB при применении к байтовой переменной?
σ>C99 / 6.3 Conversions / 6.3.1 Arithmetic operands / 6.3.1.3 Signed and unsigned integers
1 When a value with integer type is converted to another integer type other than _Bool, if the value can be represented by the new type, it is unchanged.
Re[4]: var++ к байтовой переменной на ARM64
Здравствуйте, σ, Вы писали:
ЕМ>>Есть ли у ++ возможный UB при применении к байтовой переменной?
σ>C99 / 6.3 Conversions / 6.3.1 Arithmetic operands / 6.3.1.3 Signed and unsigned integers
ЕМ>>Есть ли у ++ возможный UB при применении к байтовой переменной?
σ>C99 / 6.3 Conversions / 6.3.1 Arithmetic operands / 6.3.1.3 Signed and unsigned integers
1 When a value with integer type is converted to another integer type other than _Bool, if the value can be represented by the new type, it is unchanged.