Malcolm: Improvements to static analysis in the GCC 14 compiler
Date:
Wed, 03 Apr 2024 16:44:48 +0000
Description:
David Malcolm writes
about some static-analyzer features that are coming in the GCC14
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.
======================================================================
Link to news story:
https://lwn.net/Articles/968297/
--- Mystic BBS v1.12 A47 (Linux/64)
* Origin: tqwNet UK HUB @ hub.uk.erb.pw (1337:1/100)