Re: C23 thoughts and opinions

On 6/6/2024 7:57 PM, Lawrence D'Oliveiro wrote:

On Wed, 5 Jun 2024 04:01:28 -0500, BGB wrote:
 

For my bounds-checking in C, there are no syntactic changes to C.

 But how efficient is it? Those research papers I mentioned reported being
able to get the execution overhead in Pascal down to something like 5-10%.

Also somewhere around a 10% slowdown in this case, but this was with dedicated ISA level support and various specialized helper instructions (to check/set/adjust the pointer bounds bits).
If it were done purely in software using "fat pointers" or similar, likely the overhead would be significantly higher than this.
It seems sensible for debugging or for code that represents an attack surface (such as possible network-facing code), but granted, probably not ideal for performance sensitive code.