> And generally, libc is vehemently opposed to the existence of smart compilers

Yes, as far as I'm aware none of the major libcs on Linux support LTO