Ah, you're right, I guess I must've been directed to an outdated documentation site when I looked up the exact configuration Linux uses.

Still, it's not the official C standard, but a specific flavour of C11, so my point still stands.