Which is all to say: It doesn't improve correctness at all. You improve correctness by making your interface difficult to use incorrectly, not by limiting the b

Which is all to say: It doesn't improve correctness at all. You improve correctness by making your interface difficult to use incorrectly, not by limiting the bad effects of incorrect usage. And any time your code accesses memory that is for all intents and purposes undefined (which it still is, even if you overwrite it with zeros that have no semantic intention behind them), your code is behaving incorrectly by definition.