On May 2, 2006, at 11:19:35, Avi Kivity wrote:I wasn't talking about modifying gcc to do the checking, rather using language features so that the checks would happen during a regular compile. That would mean we weren't dependent on somebody running sparse with a configuration that triggers the bug, but those few who compile the code before submitting the patch would get it automatically checked.
There's a reason that we tell all patch submitters to run "make C=1" on several configs before submitting patches. Besides, you seem to have a vast misunderstanding of LK development processes; we frown heavily on people who don't "compile their code before submitting the patch", it's not a rare thing at all.