Cool GCC Patch

This is the most intruiging GCC patch I’ve seen for a while. It adds a customizable static checker to GCC, based on the mygcc work. I haven’t read the patch yet, or tried it out, and it went by on the list with little fanfare… much less than it deserves. Static analysis in the compiler has great potential.