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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox