You don't have to "solve the halting problem" to have better heuristics/primitives than C that give a compiler more optimization room. Even Fortran does it, and of course there's tons of room for way bigger "intention defining" features in a language than what Fortran offers.

So nothing strange about the statement, except your hyperbole.