Malcolm: Improvements to static analysis in the GCC 14 compiler

David Malcolm writesabout some static-analyzer features that are coming in the GCC14release.

Solving the halting problem?

Obviously I'm kidding with the title here, but for GCC 14 I'veimplemented a new warning: -Wanalyzer-infinite-loop that's able todetect some simple cases of infinite loops.

See also: this report from the 2023 GNUTools Cauldron.