On: ISO C became unusable for operating systems develo...

[sanxiyn]

Yes, this is a consistent position, but bounds checking all indexing and making pointers larger by including length will cause slowdown much larger than 1-2%. My estimate is at least 10% slowdown. So citing 1-2% slowdown is misleading.

[gavinhoward → sanxiyn]

I agree 1-2% might be misleading, but Dr. John Regehr puts overflow checking overhead at 5%. [1]

I'll take 5% or even 10% for correctness because, again, fast and wrong is very bad.

[1]: https://blog.regehr.org/archives/1154

[Joky → gavinhoward]

You may be interested by https://www.microsoft.com/en-us/research/project/checked-c/