Malcolm: Improvements to static analysis in the GCC 14 compiler

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.