So you're suggesting restricting the optimisation to trivial cases only, greatly hampering what it can do. Again, your suggestion is imprecise. Would you want

So you're suggesting restricting the optimisation to trivial cases only, greatly hampering what it can do. Again, your suggestion is imprecise. Would you want undefined behaviour eliminated from the language entirely? If yes, deep changes would need to be made. If no, there's little point, as it's still a highly unsafe language.