You are optimist. If compilers were good, there would be the base of these errors: http://www.viva64.com/en/examples/

And Coverity is not perfect: http://www.viva64.com/en/b/0408/#ID0EGMAC