> bad compilers Good compilers. Compilers are, most commonly, judged on their ability to optimize code. > since the compiler does not know how it is used Tha

> bad compilers Good compilers. Compilers are, most commonly, judged on their ability to optimize code. > since the compiler does not know how it is used That's not what the programming language specification says. See the "as if" rule in C.