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
next 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).