| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Date: Wed, 5 Apr 2023 12:52:24 +0300
From: Mika Westerberg <mika.westerberg@...ux.intel.com>
To: Andy Shevchenko <andriy.shevchenko@...ux.intel.com>
Cc: "David S . Miller" <davem@...emloft.net>,
Eric Dumazet <edumazet@...gle.com>,
Jakub Kicinski <kuba@...nel.org>,
Paolo Abeni <pabeni@...hat.com>,
Michael Jamet <michael.jamet@...el.com>,
Yehezkel Bernat <YehezkelShB@...il.com>, netdev@...r.kernel.org
Subject: Re: [PATCH 1/2] net: thunderbolt: Fix sparse warnings
Hi Andy,
On Wed, Apr 05, 2023 at 11:45:43AM +0300, Andy Shevchenko wrote:
> On Tue, Apr 04, 2023 at 08:36:35AM +0300, Mika Westerberg wrote:
> > Fixes the following warnings when the driver is built with sparse
> > checks enabled:
>
> > drivers/net/thunderbolt/main.c:767:47: warning: restricted __le32 degrades to integer
> > drivers/net/thunderbolt/main.c:775:47: warning: restricted __le16 degrades to integer
> > drivers/net/thunderbolt/main.c:776:44: warning: restricted __le16 degrades to integer
> > drivers/net/thunderbolt/main.c:876:40: warning: incorrect type in assignment (different base types)
> > drivers/net/thunderbolt/main.c:876:40: expected restricted __le32 [usertype] frame_size
> > drivers/net/thunderbolt/main.c:876:40: got unsigned int [assigned] [usertype] frame_size
> > drivers/net/thunderbolt/main.c:877:41: warning: incorrect type in assignment (different base types)
> > drivers/net/thunderbolt/main.c:877:41: expected restricted __le32 [usertype] frame_count
> > drivers/net/thunderbolt/main.c:877:41: got unsigned int [usertype]
> > drivers/net/thunderbolt/main.c:878:41: warning: incorrect type in assignment (different base types)
> > drivers/net/thunderbolt/main.c:878:41: expected restricted __le16 [usertype] frame_index
> > drivers/net/thunderbolt/main.c:878:41: got unsigned short [usertype]
> > drivers/net/thunderbolt/main.c:879:38: warning: incorrect type in assignment (different base types)
> > drivers/net/thunderbolt/main.c:879:38: expected restricted __le16 [usertype] frame_id
> > drivers/net/thunderbolt/main.c:879:38: got unsigned short [usertype]
> > drivers/net/thunderbolt/main.c:880:62: warning: restricted __le32 degrades to integer
> > drivers/net/thunderbolt/main.c:880:35: warning: restricted __le16 degrades to integer
> > drivers/net/thunderbolt/main.c:993:23: warning: incorrect type in initializer (different base types)
> > drivers/net/thunderbolt/main.c:993:23: expected restricted __wsum [usertype] wsum
> > drivers/net/thunderbolt/main.c:993:23: got restricted __be32 [usertype]
>
> You can drop the whole part with file name and line numbers to make the above
> neater.
I guess it is good to leave the filename, there like this, no?
main.c:993:23: expected restricted __wsum [usertype] wsum
main.c:993:23: got restricted __be32 [usertype]
> > No functional changes intended.
> >
> > Signed-off-by: Mika Westerberg <mika.westerberg@...ux.intel.com>
> > ---
> > drivers/net/thunderbolt/main.c | 21 ++++++++++++---------
> > 1 file changed, 12 insertions(+), 9 deletions(-)
> >
> > diff --git a/drivers/net/thunderbolt/main.c b/drivers/net/thunderbolt/main.c
> > index 26ef3706445e..6a43ced74881 100644
> > --- a/drivers/net/thunderbolt/main.c
> > +++ b/drivers/net/thunderbolt/main.c
> > @@ -764,7 +764,7 @@ static bool tbnet_check_frame(struct tbnet *net, const struct tbnet_frame *tf,
> > */
> > if (net->skb && net->rx_hdr.frame_count) {
> > /* Check the frame count fits the count field */
> > - if (frame_count != net->rx_hdr.frame_count) {
> > + if (frame_count != le32_to_cpu(net->rx_hdr.frame_count)) {
> > net->stats.rx_length_errors++;
> > return false;
> > }
> > @@ -772,8 +772,8 @@ static bool tbnet_check_frame(struct tbnet *net, const struct tbnet_frame *tf,
> > /* Check the frame identifiers are incremented correctly,
> > * and id is matching.
> > */
> > - if (frame_index != net->rx_hdr.frame_index + 1 ||
> > - frame_id != net->rx_hdr.frame_id) {
> > + if (frame_index != le16_to_cpu(net->rx_hdr.frame_index) + 1 ||
> > + frame_id != le16_to_cpu(net->rx_hdr.frame_id)) {
> > net->stats.rx_missed_errors++;
> > return false;
> > }
> > @@ -873,11 +873,12 @@ static int tbnet_poll(struct napi_struct *napi, int budget)
> > TBNET_RX_PAGE_SIZE - hdr_size);
> > }
> >
> > - net->rx_hdr.frame_size = frame_size;
> > - net->rx_hdr.frame_count = le32_to_cpu(hdr->frame_count);
> > - net->rx_hdr.frame_index = le16_to_cpu(hdr->frame_index);
> > - net->rx_hdr.frame_id = le16_to_cpu(hdr->frame_id);
> > - last = net->rx_hdr.frame_index == net->rx_hdr.frame_count - 1;
> > + net->rx_hdr.frame_size = hdr->frame_size;
> > + net->rx_hdr.frame_count = hdr->frame_count;
> > + net->rx_hdr.frame_index = hdr->frame_index;
> > + net->rx_hdr.frame_id = hdr->frame_id;
> > + last = le16_to_cpu(net->rx_hdr.frame_index) ==
> > + le32_to_cpu(net->rx_hdr.frame_count) - 1;
> >
> > rx_packets++;
> > net->stats.rx_bytes += frame_size;
> > @@ -990,8 +991,10 @@ static bool tbnet_xmit_csum_and_map(struct tbnet *net, struct sk_buff *skb,
> > {
> > struct thunderbolt_ip_frame_header *hdr = page_address(frames[0]->page);
> > struct device *dma_dev = tb_ring_dma_device(net->tx_ring.ring);
> > - __wsum wsum = htonl(skb->len - skb_transport_offset(skb));
> > unsigned int i, len, offset = skb_transport_offset(skb);
> > + /* Remove payload length from checksum */
> > + u32 paylen = skb->len - skb_transport_offset(skb);
> > + __wsum wsum = (__force __wsum)htonl(paylen);
> > __be16 protocol = skb->protocol;
> > void *data = skb->data;
> > void *dest = hdr + 1;
>
> I would split wsum fix from the above as they are of different nature.
How they are different? The complain is pretty much the same for all
these AFAICT:
expected restricted xxx [usertype] yyy
got restricted zzz [usertype]
Powered by blists - more mailing lists