https://gcc.gnu.org/bugzilla/show_bug.cgi?id=46476 --- Comment #13 from Jon Grant <jg at jguk dot org> --- May be simpler to just implement these static analysis checkers outside of a compiler.