From: "H. Peter Anvin" <hpa@zytor.com>
To: Borislav Petkov <bp@alien8.de>,
Scan Subscription <scan-subscription@coverity.com>,
"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
David Woodhouse <dwmw2@infradead.org>
Subject: Re: New Defect(s) reported by Coverity Scan
Date: Wed, 13 Feb 2013 15:24:08 -0800 [thread overview]
Message-ID: <511C2098.3050303@zytor.com> (raw)
In-Reply-To: <20130213232228.GF18013@pd.tnic>
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
next prev parent reply other threads:[~2013-02-13 23:25 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-02-13 17:40 New Defect(s) reported by Coverity Scan Scan Subscription
2013-02-13 18:38 ` Borislav Petkov
2013-02-13 18:55 ` Scan Subscription
2013-02-13 19:13 ` Borislav Petkov
2013-02-13 23:15 ` H. Peter Anvin
2013-02-13 23:22 ` Borislav Petkov
2013-02-13 23:24 ` H. Peter Anvin [this message]
-- strict thread matches above, loose matches on Subject: below --
2013-04-05 15:32 Scan Subscription
2013-04-01 22:34 Scan Subscription
2013-04-01 22:53 ` David Miller
2013-04-08 18:33 ` Steven Rostedt
2013-01-29 20:00 Scan Subscription
2013-01-01 0:13 Scan Subscription
2012-08-22 22:00 Scan Subscription
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=511C2098.3050303@zytor.com \
--to=hpa@zytor.com \
--cc=bp@alien8.de \
--cc=dwmw2@infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=scan-subscription@coverity.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.