Messages in this thread | | | Date | Wed, 13 Feb 2013 15:24:08 -0800 | From | "H. Peter Anvin" <> | Subject | Re: New Defect(s) reported by Coverity Scan |
| |
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.
-hpa
| |