Weekly edition	Kernel	Security	Distributions	Contact Us	Search
Archives	Calendar	Subscribe	Write for LWN	LWN.net FAQ	Sponsors

Caveat: GCC-based analysis unreliable for Free Software

Posted Jan 26, 2010 21:22 UTC (Tue) by paulj (subscriber, #341)
In reply to: Caveat: GCC-based analysis unreliable for Free Software by pjm
Parent article: LCA: Static analysis with GCC plugins

A static analyser should be able to warn just fine about multiple stores to
objects in the same sequence point (aliases excepted). Such code is inherently
buggy.

(Log in to post comments)