GCC 12's Static Analyzer Gaining Initial Assembly Support

Written by Michael Larabel in GNU on 5 August 2021 at 04:00 AM EDT. 3 Comments
Merged into the GNU Compiler Collection development code on Wednesday was an initial implementation of Assembly support for its analyzer.

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.
Related News
About The Author
Michael Larabel

Michael Larabel is the principal author of Phoronix.com and founded the site in 2004 with a focus on enriching the Linux hardware experience. Michael has written more than 20,000 articles covering the state of Linux hardware support, Linux performance, graphics drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and OpenBenchmarking.org automated benchmarking software. He can be followed via Twitter, LinkedIn, or contacted via MichaelLarabel.com.

Popular News This Week