我想询问一些 SF 在日报里没有提到的语句是不是属于未定义行为，如果不是，是属于非良构行为或者是错误行为？

1. 尝试修改字符串字面值，char *s="Hello World"; s[0]='A';，本句运行不能正常通过。

2. 尝试修改常量（int），本句编译会报错。

3. 有返回值的函数没有返回值，本句本地编译可以通过，洛谷编译也可以通过，一些 oj 上会 RE 或 TLE。

另外，除了以上情况及 SF 在日报提及的以外，是否还有别的 UB？或者有没有比较官方的定义？