diff mbox series

[1/2] net: thunderbolt: Fix sparse warnings

Message ID 20230404053636.51597-2-mika.westerberg@linux.intel.com (mailing list archive)
State Changes Requested
Delegated to: Netdev Maintainers
Headers show
Series net: thunderbolt: Fix for sparse warnings and typo | expand

Checks

Context Check Description
netdev/series_format warning Target tree name not specified in the subject
netdev/tree_selection success Guessed tree name to be net-next
netdev/fixes_present success Fixes tag not required for -next series
netdev/header_inline success No static functions without inline keyword in header files
netdev/build_32bit success Errors and warnings before: 28 this patch: 18
netdev/cc_maintainers success CCed 8 of 8 maintainers
netdev/build_clang success Errors and warnings before: 18 this patch: 18
netdev/verify_signedoff success Signed-off-by tag matches author and committer
netdev/deprecated_api success None detected
netdev/check_selftest success No net selftest shell script
netdev/verify_fixes success No Fixes tag
netdev/build_allmodconfig_warn success Errors and warnings before: 28 this patch: 18
netdev/checkpatch warning WARNING: A patch subject line should describe the change not the tool that found it
netdev/kdoc success Errors and warnings before: 0 this patch: 0
netdev/source_inline success Was 0 now: 0

Commit Message

Mika Westerberg April 4, 2023, 5:36 a.m. UTC
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]

No functional changes intended.

Signed-off-by: Mika Westerberg <mika.westerberg@linux.intel.com>
---
 drivers/net/thunderbolt/main.c | 21 ++++++++++++---------
 1 file changed, 12 insertions(+), 9 deletions(-)

Comments

Simon Horman April 4, 2023, 7:37 p.m. UTC | #1
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]
> 
> No functional changes intended.
> 
> Signed-off-by: Mika Westerberg <mika.westerberg@linux.intel.com>

Reviewed-by: Simon Horman <simon.horman@corigine.com>
Andy Shevchenko April 5, 2023, 8:45 a.m. UTC | #2
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.

> No functional changes intended.
> 
> Signed-off-by: Mika Westerberg <mika.westerberg@linux.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.
Mika Westerberg April 5, 2023, 9:52 a.m. UTC | #3
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@linux.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]
Andy Shevchenko April 5, 2023, 10:42 a.m. UTC | #4
On Wed, Apr 05, 2023 at 12:52:24PM +0300, Mika Westerberg wrote:
> 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:

...

> > > 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]

Fine by me.

...

> > > +		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;

...

> > > -	__wsum wsum = htonl(skb->len - skb_transport_offset(skb));
> > > +	/* Remove payload length from checksum */
> > > +	u32 paylen = skb->len - skb_transport_offset(skb);
> > > +	__wsum wsum = (__force __wsum)htonl(paylen);

> > 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]

While the main part is about header data type and endianess conversion between
protocol and CPU (with cpu_*() and *_cpu() macros) this one is completely network
related stuff as it's using hton*() and ntoh*() conversion macros. Yes, underneeth
it may be the same, but semantically these two parts are not of the same thing.
Mika Westerberg April 5, 2023, 12:28 p.m. UTC | #5
On Wed, Apr 05, 2023 at 01:42:08PM +0300, Andy Shevchenko wrote:
> > How they are different? The complain is pretty much the same for all
> > these AFAICT:
> > 
> > expected restricted xxx [usertype] yyy
> > got restricted zzz [usertype]
> 
> While the main part is about header data type and endianess conversion between
> protocol and CPU (with cpu_*() and *_cpu() macros) this one is completely network
> related stuff as it's using hton*() and ntoh*() conversion macros. Yes, underneeth
> it may be the same, but semantically these two parts are not of the same thing.

Okay, fair enough :) I'll make this split in v2.
diff mbox series

Patch

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;