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?Thankfully, the world is changing.  You have languages where variables are immutable by default or can be declared so that would prevent issues as http://www.viva64.com/en/d/0108/Maybe gcc should do better for static analysis of a program.  Expressions like `a && a` or `a == 1 || a != 2` should be caught easily.