Show Your Support: Did you know that you can get Phoronix Premium for under $4 per month? Try it today to view our site ad-free, multi-page articles on a single page, and more while the proceeds allow us to write more Linux hardware reviews. At the very least, please disable your ad-blocker.
GCC 12's Static Analyzer Gaining Initial Assembly Support
With the GCC 12 compiler release due out early next year there will now be at least initial support for Assembly within this growing static analyzer functionality. Like with much of GCC's static analyzer support, this initial ASM support was worked on by Red Hat's David Malcolm.
This Assembly support right now for the analyzer is considered "minimal" but was written to improve the GCC static analysis support on the Linux kernel. Due to the Linux kernel's use of inline Assembly code, there were some false-positives being generated by the GCC analyzer to this point.
More details on this growing Assembly support for GCC's analyzer via this merge.
The GCC Static Analyzer was introduced in GCC 10, improved upon in GCC 11, and will be even better for next year's GCC 12.