Linux IIO development
 help / color / mirror / Atom feed
From: Dan Carpenter <dan.carpenter@oracle.com>
To: jic23@cam.ac.uk
Cc: linux-iio@vger.kernel.org
Subject: [bug report] staging:iio:sca3000 extract old event handling and move to poll for events from buffer
Date: Fri, 28 May 2021 15:00:52 +0300	[thread overview]
Message-ID: <YLDbdN688C0xBgMn@mwanda> (raw)

Hello Jonathan Cameron,

The patch 25888dc51163: "staging:iio:sca3000 extract old event
handling and move to poll for events from buffer" from May 18, 2011,
leads to the following static checker warning:

	drivers/iio/accel/sca3000.c:734 sca3000_read_raw()
	warn: no-op. '((*val) << 19) >> 19'

drivers/iio/accel/sca3000.c
   709  static int sca3000_read_raw(struct iio_dev *indio_dev,
   710                              struct iio_chan_spec const *chan,
   711                              int *val,
   712                              int *val2,
   713                              long mask)
   714  {
   715          struct sca3000_state *st = iio_priv(indio_dev);
   716          int ret;
   717          u8 address;
   718  
   719          switch (mask) {
   720          case IIO_CHAN_INFO_RAW:
   721                  mutex_lock(&st->lock);
   722                  if (chan->type == IIO_ACCEL) {
   723                          if (st->mo_det_use_count) {
   724                                  mutex_unlock(&st->lock);
   725                                  return -EBUSY;
   726                          }
   727                          address = sca3000_addresses[chan->address][0];
   728                          ret = sca3000_read_data_short(st, address, 2);
   729                          if (ret < 0) {
   730                                  mutex_unlock(&st->lock);
   731                                  return ret;
   732                          }
   733                          *val = (be16_to_cpup((__be16 *)st->rx) >> 3) & 0x1FFF;
   734                          *val = ((*val) << (sizeof(*val) * 8 - 13)) >>
                                                  ^^^^^^^^^^^^^^^^^^^^^^^
   735                                  (sizeof(*val) * 8 - 13);
                                        ^^^^^^^^^^^^^^^^^^^^^^^

This code works, but it relies on undefined behavior of left shift
overflow and it's very unsatisfying.  Pretty sure there is a UBSan
warning for this at runtime.

   736                  } else {
   737                          /* get the temperature when available */
   738                          ret = sca3000_read_data_short(st,
   739                                                        SCA3000_REG_TEMP_MSB_ADDR,
   740                                                        2);
   741                          if (ret < 0) {
   742                                  mutex_unlock(&st->lock);
   743                                  return ret;
   744                          }
   745                          *val = ((st->rx[0] & 0x3F) << 3) |
   746                                 ((st->rx[1] & 0xE0) >> 5);
   747                  }
   748                  mutex_unlock(&st->lock);
   749                  return IIO_VAL_INT;

regards,
dan carpenter

             reply	other threads:[~2021-05-28 12:01 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-05-28 12:00 Dan Carpenter [this message]
2021-06-03 16:38 ` [bug report] staging:iio:sca3000 extract old event handling and move to poll for events from buffer Jonathan Cameron
2021-06-04  6:45   ` Dan Carpenter
2021-06-04 17:11   ` Andy Shevchenko

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=YLDbdN688C0xBgMn@mwanda \
    --to=dan.carpenter@oracle.com \
    --cc=jic23@cam.ac.uk \
    --cc=linux-iio@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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox