Re: New Defect(s) reported by Coverity Scan

From: H. Peter Anvin
Date: Wed Feb 13 2013 - 18:25:35 EST

On 02/13/2013 03:22 PM, Borislav Petkov wrote:
> On Wed, Feb 13, 2013 at 03:15:26PM -0800, H. Peter Anvin wrote:
>> Not really, since exit() does that. We might want it for clarity's
>> sake, though.
> Well, I would add a comment only then and teach the tool when parsing
> exit() to know that - no need for fixing perfectly good code only for a
> tool's sake.

No, but clarity is good. It isn't just the tool that might get annoyed.


To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at