https://gcc.gnu.org/bugzilla/show_bug.cgi?id=46476 --- Comment #11 from Jon Grant <jg at jguk dot org> --- Perhaps some new static analysis tools could be added to GCC. I'd be happy to contribute to costs.