Unfortunately, we live in the real world where compilers do not do the things that you suggest that they ought to.