At present, pointer overflow gets peculiar treatment in the front-end, and overflow expressions do not have well-defined semantics when their arguments are pointer typed. This should be remedied by moving the logic from the front-end to the back-end.