linux-fpga.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: Dan Carpenter <dan.carpenter@oracle.com>
To: nava.manne@xilinx.com, Moritz Fischer <mdf@kernel.org>, lkp@intel.com
Cc: linux-fpga@vger.kernel.org
Subject: [bug report] fpga: zynq: Fix incorrect variable type
Date: Mon, 25 Apr 2022 14:36:39 +0300	[thread overview]
Message-ID: <YmaHxydsy/Ff1awV@kili> (raw)

Hello Nava kishore Manne,

The patch ada14a023a64: "fpga: zynq: Fix incorrect variable type"
from Apr 21, 2022, leads to the following Smatch static checker
warning:

	drivers/fpga/zynq-fpga.c:245 zynq_fpga_has_sync()
	warn: impossible condition '(buf[2] == 153) => ((-128)-127 == 153)'

drivers/fpga/zynq-fpga.c
    242 static bool zynq_fpga_has_sync(const char *buf, size_t count)
    243 {
    244         for (; count >= 4; buf += 4, count -= 4)
--> 245                 if (buf[0] == 0x66 && buf[1] == 0x55 && buf[2] == 0x99 &&
                                                                ^^^^^^^^^^^^^^
The patch changed the u8 to char.

The kbuild bot sent an email about this bug on Apr 4 but only Nava was
on the CC and the warning was ignored.  This kind of a dangerous thing,
because I tend to only send warnings once.

https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org/thread/4RFIS5FM43D2U26PX7ZL44AFA5RYBWX2/

There is a process issue somewhere.  Why was the linux-fpga@vger.kernel.org
not CC'd on the original report?  Did you deliberately ask to be left
off automated bug reports?

    246                     buf[3] == 0xaa)
    247                         return true;
    248         return false;
    249 }

regards,
dan carpenter

             reply	other threads:[~2022-04-25 11:38 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-04-25 11:36 Dan Carpenter [this message]
2022-04-25 13:21 ` [bug report] fpga: zynq: Fix incorrect variable type Xu Yilun

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=YmaHxydsy/Ff1awV@kili \
    --to=dan.carpenter@oracle.com \
    --cc=linux-fpga@vger.kernel.org \
    --cc=lkp@intel.com \
    --cc=mdf@kernel.org \
    --cc=nava.manne@xilinx.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;
as well as URLs for NNTP newsgroup(s).