Subj : Malcolm: Improvements to static analysis in the GCC 14 compiler
To   : All
From : LWN.net
Date : Wed Apr 03 2024 18:00:06

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)

.