Complete eradication should never be a goal though. There are extremely reasonable forms of undefined behavior that the compiler can use to optimize your code.

Complete eradication should never be a goal though. There are extremely reasonable forms of undefined behavior that the compiler can use to optimize your code. It just has to be known that tripping those guardrails is undefined.