https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59491
--- Comment #2 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Marek Polacek from comment #1) > Looks useful. Lots of time has elapsed, but I checked a recent Linux kernel and it would find about three bugs. I also checked about 9,500 packages of Fedora and it would find faults in about four packages. Given that success rate this year, it doesn't look very important to me now.