Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.


It's not a difficult bug to fix, but it is a very difficult bug to detect, since miri won't think anything is wrong.




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: