为什么在C和C ++中签名溢出的UB？

Question

我试图理解将C和C ++中的带符号溢出定义为未定义行为的背后原因。据推测，这是为了使优化不可能实现。但是，我不清楚这些优化是什么。

我知道有一个C ++ 20 proposal，它将使C ++中的带符号整数更加定义。但是，在撰写本文时，该建议还使有符号整数溢出未定义。