3 ms·
Couldn't you fix that by just clearing the buffer in between the two calls? It won't be measurably slower to do that because the buffer should retain its alloca
by pcwalton 4y ago
Couldn't you fix that by just clearing the buffer in between the two calls? It won't be measurably slower to do that because the buffer should retain its allocated capacity.
- notriddle 4y agoIt's not a difficult bug to fix, but it is a very difficult bug to detect, since miri won't think anything is wrong.