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.

Reply via email to