Among many other things, it explains how eliminating goto removes certain useful optimizations. In fact, I think it's hard even to think of some of the constructs that Knuth uses if you are only practiced in goto-less programming.
"Please don't fall into the trap of believing that I am terribly dogmatical about [the goto statement]. I have the uncomfortable feeling that others are making a religion out of it, as if the conceptual problems of programming could be solved by a single trick, by a simple form of coding discipline!"
http://pplab.snu.ac.kr/courses/adv_pl05/papers/p261-knuth.pd...
Among many other things, it explains how eliminating goto removes certain useful optimizations. In fact, I think it's hard even to think of some of the constructs that Knuth uses if you are only practiced in goto-less programming.