From: Dan Carpenter <dan.carpenter@oracle.com>
To: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Cc: Dan McDonald <danmcd@joyent.com>, smatch@vger.kernel.org
Subject: Re: Intel i40e code finds smatch bug
Date: Thu, 21 Jan 2021 11:49:49 +0300 [thread overview]
Message-ID: <20210121084949.GQ2696@kadam> (raw)
In-Reply-To: <20210119214221.6cgngihmjrrot56t@ltop.local>
On Tue, Jan 19, 2021 at 10:42:21PM +0100, Luc Van Oostenryck wrote:
> On Tue, Jan 19, 2021 at 03:51:57PM -0500, Dan McDonald wrote:
> > On Jan 19, 2021, at 1:55 PM, Dan Carpenter <dan.carpenter@oracle.com> wrote:
> > >
> > > Luk recently was working on better support of packed structs (which have
> > > been a known issue for a while) but I doubt that will help here.
>
> Indeed, the support for packed structs (via the attribute) is now
> complete in Sparse and was mainlined 2 weeks ago or so and ...
>
> > I tried using packed struct attributes instead of the pragma and no luck there either:
>
> now it just needs to be merged into smatch.
>
Awesome! I've merged it and will push the merge tomorrow if the tests
run well tonight. Thanks!
regards,
dan carpenter
next prev parent reply other threads:[~2021-01-21 8:50 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-01-19 17:22 Intel i40e code finds smatch bug Dan McDonald
2021-01-19 18:55 ` Dan Carpenter
2021-01-19 19:12 ` Dan McDonald
2021-01-19 20:51 ` Dan McDonald
2021-01-19 21:42 ` Luc Van Oostenryck
2021-01-19 21:49 ` Dan McDonald
2021-01-21 8:49 ` Dan Carpenter [this message]
2021-01-25 15:10 ` Dan Carpenter
2021-01-25 16:33 ` Luc Van Oostenryck
2021-01-25 16:41 ` Dan McDonald
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=20210121084949.GQ2696@kadam \
--to=dan.carpenter@oracle.com \
--cc=danmcd@joyent.com \
--cc=luc.vanoostenryck@gmail.com \
--cc=smatch@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.