Re: [PATCH rdma-next v3-v5] Add OPA extended LID support

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 





On 8/14/2017 12:37 AM, Leon Romanovsky wrote:
On Sat, Aug 12, 2017 at 09:29:41AM +0300, Leon Romanovsky wrote:
On Fri, Aug 11, 2017 at 02:35:46PM -0400, Don Hiatt wrote:
This patch series primarily increases sizes of variables that hold
lid values from 16 to 32 bits. Additionally, it adds a check in
the IB mad stack to verify a properly formatted MAD when OPA
extended LIDs are used.

Signed-off-by: Don Hiatt <don.hiatt@xxxxxxxxx>
Reviewed-by: Dennis Dalessandro <dennis.dalessandro@xxxxxxxxx>


<...>

-/* Return slid in 16bit CPU encoding */
-static inline u16 ib_slid_cpu16(u32 slid)
+/**
+ * ib_lid_cpu16 - Return lid in 16bit CPU encoding.
+ *     In the current implementation the only way to get
+ *     get the 32bit lid is from other sources for OPA.
+ *     For IB, lids will always be 16bits so cast the
+ *     value accordingly.
+ *
+ * @lid: A 32bit LID
+ */
+static inline u16 ib_lid_cpu16(u32 lid)
  {
-	return (u16)slid;
+	WARN_ON_ONCE(lid && 0xFFFF0000);
It will print warning for first lid > 0
The proper lines should be "lid & 0xFFFF0000" (one ampersand).

+	return (u16)lid;
  }

-/* Return slid in 16bit BE encoding */
-static inline u16 ib_slid_be16(u32 slid)
+/**
+ * ib_lid_be16 - Return lid in 16bit BE encoding.
+ *
+ * @lid: A 32bit LID
+ */
+static inline u16 ib_lid_be16(u32 lid)
This function returns be16 and not u16.

  {
-	return cpu_to_be16((u16)slid);
+	WARN_ON_ONCE(lid && 0xFFFF0000);
The same as above.
Hi Don,

Are you planning to fix it?
Right now, for-next is overflowed with smatch errors.
Hi Leon,

Yes, sorry I missed that. Will post a fix.

don


Partial output from my checkers:
===== SPARSE =========
<...>

drivers/infiniband/hw/mlx4/mad.c:628:45: warning: incorrect type in assignment (different base types)
drivers/infiniband/hw/mlx4/mad.c:628:45:    expected restricted __be16 [usertype] slid_mac_47_32
drivers/infiniband/hw/mlx4/mad.c:628:45:    got unsigned short

<..>

drivers/infiniband/core/cm.c:1181:60: warning: incorrect type in argument 1 (different base types)
drivers/infiniband/core/cm.c:1181:60:    expected unsigned int [unsigned] [usertype] dlid
drivers/infiniband/core/cm.c:1181:60:    got restricted __be32 [usertype] dlid
drivers/infiniband/core/cm.c:1182:60: warning: incorrect type in argument 2 (different base types)
drivers/infiniband/core/cm.c:1182:60:    expected unsigned int [unsigned] [usertype] slid
drivers/infiniband/core/cm.c:1182:60:    got restricted __be32 [usertype] slid
./include/rdma/opa_addr.h:90:14: warning: cast to restricted __be32
./include/rdma/opa_addr.h:92:14: warning: cast to restricted __be32
drivers/infiniband/core/cm.c:1242:68: warning: incorrect type in argument 1 (different base types)
drivers/infiniband/core/cm.c:1242:68:    expected unsigned int [unsigned] [usertype] dlid
drivers/infiniband/core/cm.c:1242:68:    got restricted __be32 [usertype] dlid
drivers/infiniband/core/cm.c:1243:68: warning: incorrect type in argument 2 (different base types)
drivers/infiniband/core/cm.c:1243:68:    expected unsigned int [unsigned] [usertype] slid
drivers/infiniband/core/cm.c:1243:68:    got restricted __be32 [usertype] slid
./include/rdma/opa_addr.h:90:14: warning: cast to restricted __be32
./include/rdma/opa_addr.h:92:14: warning: cast to restricted __be32
./include/rdma/ib_verbs.h:3757:16: warning: incorrect type in return expression (different base types)
./include/rdma/ib_verbs.h:3757:16:    expected unsigned short
./include/rdma/ib_verbs.h:3757:16:    got restricted __be16 [usertype] <noident>
drivers/infiniband/core/cm.c:1773:52: warning: incorrect type in assignment (different base types)
drivers/infiniband/core/cm.c:1773:52:    expected restricted __be16 [usertype] primary_local_lid
drivers/infiniband/core/cm.c:1773:52:    got unsigned short
./include/rdma/ib_verbs.h:3757:16: warning: incorrect type in return expression (different base types)
./include/rdma/ib_verbs.h:3757:16:    expected unsigned short
./include/rdma/ib_verbs.h:3757:16:    got restricted __be16 [usertype] <noident>
drivers/infiniband/core/cm.c:1783:48: warning: incorrect type in assignment (different base types)
drivers/infiniband/core/cm.c:1783:48:    expected restricted __be16 [usertype] alt_local_lid
drivers/infiniband/core/cm.c:1783:48:    got unsigned short
drivers/infiniband/core/cm.c:2922:66: warning: incorrect type in argument 1 (different base types)
drivers/infiniband/core/cm.c:2922:66:    expected unsigned int [unsigned] [usertype] dlid
drivers/infiniband/core/cm.c:2922:66:    got restricted __be32 [usertype] dlid
drivers/infiniband/core/cm.c:2923:66: warning: incorrect type in argument 2 (different base types)
drivers/infiniband/core/cm.c:2923:66:    expected unsigned int [unsigned] [usertype] slid
drivers/infiniband/core/cm.c:2923:66:    got restricted __be32 [usertype] slid
./include/rdma/opa_addr.h:90:14: warning: cast to restricted __be32
./include/rdma/opa_addr.h:92:14: warning: cast to restricted __be32
./include/rdma/ib_verbs.h:3757:16: warning: incorrect type in return expression (different base types)
./include/rdma/ib_verbs.h:3757:16:    expected unsigned short
./include/rdma/ib_verbs.h:3757:16:    got restricted __be16 [usertype] <noident>
drivers/infiniband/core/user_mad.c:232:36: warning: incorrect type in assignment (different base types)
drivers/infiniband/core/user_mad.c:232:36:    expected restricted __be16 [usertype] lid
drivers/infiniband/core/user_mad.c:232:36:    got unsigned short
./include/rdma/ib_addr.h:313:63: warning: incorrect type in argument 1 (different base types)
./include/rdma/ib_addr.h:313:63:    expected restricted __be32 [usertype] addr
./include/rdma/ib_addr.h:313:63:    got unsigned int [unsigned] [addressable] [usertype] ipv4_addr
drivers/infiniband/hw/ocrdma/ocrdma_hw.c:3186:32: warning: Using plain integer as NULL pointer
./include/rdma/ib_addr.h:313:63: warning: incorrect type in argument 1 (different base types)
./include/rdma/ib_addr.h:313:63:    expected restricted __be32 [usertype] addr
./include/rdma/ib_addr.h:313:63:    got unsigned int [unsigned] [addressable] [usertype] ipv4_addr
./include/rdma/ib_addr.h:313:63: warning: incorrect type in argument 1 (different base types)
./include/rdma/ib_addr.h:313:63:    expected restricted __be32 [usertype] addr
./include/rdma/ib_addr.h:313:63:    got unsigned int [unsigned] [addressable] [usertype] ipv4_addr

+	return cpu_to_be16((u16)lid);
  }
  #endif /* IB_VERBS_H */
--
1.8.3.1

--
To unsubscribe from this list: send the line "unsubscribe linux-rdma" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html


--
To unsubscribe from this list: send the line "unsubscribe linux-rdma" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Photo]     [Yosemite News]     [Yosemite Photos]     [Linux Kernel]     [Linux SCSI]     [XFree86]
  Powered by Linux