[boomlinde]

> Why doesn’t the standard just say this explicitly?

It does say it explicitly, just using other terminology than "compile" (opting instead for "translate"). See e.g. 5.1.1 in C99.