Indeed, but getting into the spec is the first step to matter at all.
And you can get Annex K, on Windows.
On the other hand, exactly because of the way some C developers are against anything that helps security, is why Microsoft, Google, Oracle, ARM, Apple are all pursuing projects to have hardware memory tagging.
On Solaris SPARC, it already doesn't matter what those more religious developers think about bounds checking and similar issues.
And you can get Annex K, on Windows.
On the other hand, exactly because of the way some C developers are against anything that helps security, is why Microsoft, Google, Oracle, ARM, Apple are all pursuing projects to have hardware memory tagging.
On Solaris SPARC, it already doesn't matter what those more religious developers think about bounds checking and similar issues.