> If C was ever a thin layer over assembly, it stopped being that sometime in the 1980's, not recently.

Yes, if C were still a "thin layer over assembly", then cc -O1 and -O3 would not generate such different object code. :)