All of lore.kernel.org
 help / color / mirror / Atom feed
From: Dan Carpenter <error27@gmail.com>
To: kernel-janitors@vger.kernel.org
Subject: [patch] ipmi: make static checkers happy about range checks
Date: Fri, 17 Sep 2010 19:26:03 +0000	[thread overview]
Message-ID: <20100917190702.GA5384@bicker> (raw)

I'm working on a Smatch check that complains that addr->channel comes
from the user and it might be negative.  It actually can *not* be
negative because we already checked that when we called
ipmi_validate_addr() from handle_send_req().  Also it can't be greater
than or equal to IPMI_MAX_CHANNELS because we already verified that as
well.

Although this change doesn't do anything, it's still a cleanup because
it makes the checking consistent and also it silences the static
analysis warnings.

Signed-off-by: Dan Carpenter <error27@gmail.com>
---
Really, I would prefer to just make ->channel unsigned but the type
comes from the IPMI spec.

diff --git a/drivers/char/ipmi/ipmi_msghandler.c b/drivers/char/ipmi/ipmi_msghandler.c
index 4f3f8c9..57f4c80 100644
--- a/drivers/char/ipmi/ipmi_msghandler.c
+++ b/drivers/char/ipmi/ipmi_msghandler.c
@@ -1527,7 +1527,7 @@ static int i_ipmi_request(ipmi_user_t          user,
 		long                  seqid;
 		int                   broadcast = 0;
 
-		if (addr->channel >= IPMI_MAX_CHANNELS) {
+		if (addr->channel < 0 || addr->channel >= IPMI_MAX_CHANNELS) {
 			ipmi_inc_stat(intf, sent_invalid_commands);
 			rv = -EINVAL;
 			goto out_err;
@@ -1657,7 +1657,7 @@ static int i_ipmi_request(ipmi_user_t          user,
 		unsigned char         ipmb_seq;
 		long                  seqid;
 
-		if (addr->channel >= IPMI_MAX_CHANNELS) {
+		if (addr->channel < 0 || addr->channel >= IPMI_MAX_CHANNELS) {
 			ipmi_inc_stat(intf, sent_invalid_commands);
 			rv = -EINVAL;
 			goto out_err;
@@ -1797,7 +1797,7 @@ static int check_addr(ipmi_smi_t       intf,
 		      unsigned char    *saddr,
 		      unsigned char    *lun)
 {
-	if (addr->channel >= IPMI_MAX_CHANNELS)
+	if (addr->channel < 0 || addr->channel >= IPMI_MAX_CHANNELS)
 		return -EINVAL;
 	*lun = intf->channels[addr->channel].lun;
 	*saddr = intf->channels[addr->channel].address;

             reply	other threads:[~2010-09-17 19:26 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-09-17 19:26 Dan Carpenter [this message]
2010-09-18 19:19 ` [patch] ipmi: make static checkers happy about range checks Corey Minyard

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=20100917190702.GA5384@bicker \
    --to=error27@gmail.com \
    --cc=kernel-janitors@vger.kernel.org \
    /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.