Thanks for pointing out Klocwork, I haven't heard of it until you mentioned it! Sorry for the title, I was aware of its clickbaitiness but thought any way of d

Thanks for pointing out Klocwork, I haven't heard of it until you mentioned it! Sorry for the title, I was aware of its clickbaitiness but thought any way of drawing attention to a problem is necessary. The example is there just to show the most minimal and obvious case where automatic tools were unable to predict the mistake. Of course, in real world things are way more complicated than that and if tools fail on simple examples like this they definitely won't be able to find anything in real codebases.