"Always right" is indeed hyperbolic, however the "never challenge compilers" is still good advice. I guess it would be very, very difficult for a human to apply the same optimization passes while introducing less bugs than a compiler would.