c - C 中潜在的未定义行为

Question

我需要知道以下代码是否可能是未定义的行为(我很确定它是):

int main(){
   int z=53;
   z=z<<=3;
   return 0;
}

这是类测试中的一道题。我告诉我的老师我认为是UB，但我的老师不相信我。

Answer 1

这是未定义的。引用 N1256，C99 草案，第 6.5/2 条(强调我的):

Between the previous and next sequence point an object shall have its stored value modified at most once by the evaluation of an expression. 72) Furthermore, the prior value shall be read only to determine the value to be stored. 73)