关于未定义行为的两个问题

除了瞎搞参数，a+++++a，随意玩弄类型转换这些常见的未定义行为，还有什么其实是未定义行为吗？
未定义行为完全可以被检测到，并且常常会得到Warning，可以通过编译。既然未定义行为会带来可移植性的灾难，而且不同的优化等级对未定义行为的实现有区别，为什么编译器不采用Error而是采用Warning呢？