Malcolm: Improvements to static analysis in the GCC 14 compiler

[Posted April 3, 2024 by corbet]

David Malcolm writes about some static-analyzer features that are coming in the GCC 14 release.

Solving the halting problem?
Obviously I'm kidding with the title here, but for GCC 14 I've implemented a new warning: -Wanalyzer-infinite-loop that's able to detect some simple cases of infinite loops.

See also: this report from the 2023 GNU Tools Cauldron.