Bugs found in GCC with the help of PVS-Studio
I'd have loved to see references to actual GCC bug reports.  Did I miss those in the article?<p>Thankfully, the world is changing.  You have languages where variables are immutable by default or can be declared so that would prevent issues as <a href="http://www.viva64.com/en/d/0108/" rel="nofollow">http://www.viva64.com/en/d/0108/</a><p>Maybe gcc should do better for static analysis of a program.  Expressions like `a && a` or `a == 1 || a != 2` should be caught easily.