Hacker News new | past | comments | ask | show | jobs | submit login

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 Spring batch! Applications are open till Feb 11.

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

Search: