]> git.baikalelectronics.ru Git - kernel.git/commit
net: mscc: ocelot: avoid type promotion when calling ocelot_ifh_set_dest
authorVladimir Oltean <vladimir.oltean@nxp.com>
Mon, 15 Feb 2021 13:31:43 +0000 (15:31 +0200)
committerDavid S. Miller <davem@davemloft.net>
Mon, 15 Feb 2021 20:42:19 +0000 (12:42 -0800)
commitec45538134ef7a0ca3434796e92452a4c3fc5128
tree1b20ab98813a34fb019ab48c9fc36e8c240210f3
parent614b578ff1c8f0674ac6a739600a488b3e4ae0c2
net: mscc: ocelot: avoid type promotion when calling ocelot_ifh_set_dest

Smatch is confused by the fact that a 32-bit BIT(port) macro is passed
as argument to the ocelot_ifh_set_dest function and warns:

ocelot_xmit() warn: should '(((1))) << (dp->index)' be a 64 bit type?
seville_xmit() warn: should '(((1))) << (dp->index)' be a 64 bit type?

The destination port mask is copied into a 12-bit field of the packet,
starting at bit offset 67 and ending at 56.

So this DSA tagging protocol supports at most 12 bits, which is clearly
less than 32. Attempting to send to a port number > 12 will cause the
packing() call to truncate way before there will be 32-bit truncation
due to type promotion of the BIT(port) argument towards u64.

Therefore, smatch's fears that BIT(port) will do the wrong thing and
cause unexpected truncation for "port" values >= 32 are unfounded.
Nonetheless, let's silence the warning by explicitly passing an u64
value to ocelot_ifh_set_dest, such that the compiler does not need to do
a questionable type promotion.

Reported-by: kernel test robot <lkp@intel.com>
Reported-by: Dan Carpenter <dan.carpenter@oracle.com>
Signed-off-by: Vladimir Oltean <vladimir.oltean@nxp.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
drivers/net/ethernet/mscc/ocelot.c
net/dsa/tag_ocelot.c