lv3语义规范相关说明有误。
Extra-Creativity opened this issue · 1 comments
Extra-Creativity commented
C语言中无符号整数溢出是确定行为，即溢出后截断；有符号整数溢出才是UB。见cppreference。
MaxXSoft commented
感谢指出！
其实这里本来的意思是说“有符号整数溢出是UB”的，而且SysY的整数确实全都是有符号整数，结果刚刚发现我居然全部写成了“无符号整数”，原来我手癌了这么长时间而且这个typo一直没人发现（手动捂脸