Improvements to static analysis in the GCC 13 compiler
developers.redhat.com