> Since humans have to do a bit of alias analysis when maintaining > or writing code, the extra clarity of pulling things into temporary > variables isn't wasted.
Sorry, I don't follow. Why should we want to do "a bit of alias analysis" when maintaining or writing code? It would seem a far better practice to leave that to the optimizer and use local variables only when necessary for clarify. > BTW, there are more normal programming habits that defeat > type-based alias analysis. People pick data types by habit. > Mostly, people will use the same type for nearly everything. That depends on the language. What you describe is certainly the norm for C. The exact opposite is the norm for Ada. And Fortran programmers tend to think more about datatypes than C progammers too.
