* [PATCH rdma-next v4] RDMA: Change capability fields in ib_device_attr from int to u32 @ 2026-05-26 19:42 Erni Sri Satya Vennela 2026-05-28 19:16 ` kernel test robot 0 siblings, 1 reply; 3+ messages in thread From: Erni Sri Satya Vennela @ 2026-05-26 19:42 UTC (permalink / raw) To: Jason Gunthorpe, Leon Romanovsky, linux-rdma, linux-kernel Cc: Erni Sri Satya Vennela, Jason Gunthorpe The capability counter fields in struct ib_device_attr are declared as signed int, but these values are inherently non-negative. Drivers maintain their cached caps as u32 and assign them directly into these int fields; if a cap exceeds INT_MAX the implicit narrowing yields a negative value visible to the IB core. Change the signed int capability fields to u32 to match the underlying nature of the data. Suggested-by: Jason Gunthorpe <jgg@nvidia.com> Signed-off-by: Erni Sri Satya Vennela <ernis@linux.microsoft.com> --- Changes in v4: * Drop clamping the values in mana_ib_query_device, instead update the props values from int to u32. Changes in v3: * Drop clamping from mana_ib_gd_query_adapter_caps(). The internal u32 caps cache does not need to be clamped. * Move all clamping exclusively to mana_ib_query_device(), which is the only place the cached u32 values are narrowed into the signed int fields of struct ib_device_attr. * Reframe commit message: this is a u32-to-int type boundary fix, not a CVM/untrusted-hardware hardening patch. Changes in v2: * Update patch title. --- include/rdma/ib_verbs.h | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/include/rdma/ib_verbs.h b/include/rdma/ib_verbs.h index 9dd76f489a0b..805ae294963c 100644 --- a/include/rdma/ib_verbs.h +++ b/include/rdma/ib_verbs.h @@ -406,21 +406,21 @@ struct ib_device_attr { u32 vendor_id; u32 vendor_part_id; u32 hw_ver; - int max_qp; - int max_qp_wr; + u32 max_qp; + u32 max_qp_wr; u64 device_cap_flags; u64 kernel_cap_flags; - int max_send_sge; - int max_recv_sge; - int max_sge_rd; - int max_cq; - int max_cqe; - int max_mr; - int max_pd; - int max_qp_rd_atom; + u32 max_send_sge; + u32 max_recv_sge; + u32 max_sge_rd; + u32 max_cq; + u32 max_cqe; + u32 max_mr; + u32 max_pd; + u32 max_qp_rd_atom; int max_ee_rd_atom; - int max_res_rd_atom; - int max_qp_init_rd_atom; + u32 max_res_rd_atom; + u32 max_qp_init_rd_atom; int max_ee_init_rd_atom; enum ib_atomic_cap atomic_cap; enum ib_atomic_cap masked_atomic_cap; -- 2.34.1 ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH rdma-next v4] RDMA: Change capability fields in ib_device_attr from int to u32 2026-05-26 19:42 [PATCH rdma-next v4] RDMA: Change capability fields in ib_device_attr from int to u32 Erni Sri Satya Vennela @ 2026-05-28 19:16 ` kernel test robot 2026-06-01 9:08 ` Erni Sri Satya Vennela 0 siblings, 1 reply; 3+ messages in thread From: kernel test robot @ 2026-05-28 19:16 UTC (permalink / raw) To: Erni Sri Satya Vennela, Jason Gunthorpe, Leon Romanovsky, linux-rdma, linux-kernel Cc: oe-kbuild-all, Erni Sri Satya Vennela Hi Erni, kernel test robot noticed the following build errors: [auto build test ERROR on rdma/for-next] [also build test ERROR on linus/master v7.1-rc5 next-20260528] [If your patch is applied to the wrong git tree, kindly drop us a note. And when submitting patch, we suggest to use '--base' as documented in https://git-scm.com/docs/git-format-patch#_base_tree_information] url: https://github.com/intel-lab-lkp/linux/commits/Erni-Sri-Satya-Vennela/RDMA-Change-capability-fields-in-ib_device_attr-from-int-to-u32/20260527-040218 base: https://git.kernel.org/pub/scm/linux/kernel/git/rdma/rdma.git for-next patch link: https://lore.kernel.org/r/20260526194225.1338210-1-ernis%40linux.microsoft.com patch subject: [PATCH rdma-next v4] RDMA: Change capability fields in ib_device_attr from int to u32 config: x86_64-rhel-9.4 (https://download.01.org/0day-ci/archive/20260529/202605290321.lRxnXfw4-lkp@intel.com/config) compiler: gcc-14 (Debian 14.2.0-19) 14.2.0 reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20260529/202605290321.lRxnXfw4-lkp@intel.com/reproduce) If you fix the issue in a separate patch/commit (i.e. not just a new version of the same patch/commit), kindly add following tags | Reported-by: kernel test robot <lkp@intel.com> | Closes: https://lore.kernel.org/oe-kbuild-all/202605290321.lRxnXfw4-lkp@intel.com/ All errors (new ones prefixed by >>): In file included from <command-line>: drivers/infiniband/hw/qedr/verbs.c: In function 'qedr_query_device': >> include/linux/compiler_types.h:699:45: error: call to '__compiletime_assert_818' declared with attribute error: min(1 << (fls(qattr->max_qp_resp_rd_atomic_resc) - 1), attr->max_qp_init_rd_atom) signedness error 699 | _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) | ^ include/linux/compiler_types.h:680:25: note: in definition of macro '__compiletime_assert' 680 | prefix ## suffix(); \ | ^~~~~~ include/linux/compiler_types.h:699:9: note: in expansion of macro '_compiletime_assert' 699 | _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) | ^~~~~~~~~~~~~~~~~~~ include/linux/build_bug.h:40:37: note: in expansion of macro 'compiletime_assert' 40 | #define BUILD_BUG_ON_MSG(cond, msg) compiletime_assert(!(cond), msg) | ^~~~~~~~~~~~~~~~~~ include/linux/minmax.h:93:9: note: in expansion of macro 'BUILD_BUG_ON_MSG' 93 | BUILD_BUG_ON_MSG(!__types_ok(ux, uy), \ | ^~~~~~~~~~~~~~~~ include/linux/minmax.h:98:9: note: in expansion of macro '__careful_cmp_once' 98 | __careful_cmp_once(op, x, y, __UNIQUE_ID(x_), __UNIQUE_ID(y_)) | ^~~~~~~~~~~~~~~~~~ include/linux/minmax.h:105:25: note: in expansion of macro '__careful_cmp' 105 | #define min(x, y) __careful_cmp(min, x, y) | ^~~~~~~~~~~~~ drivers/infiniband/hw/qedr/verbs.c:146:13: note: in expansion of macro 'min' 146 | min(1 << (fls(qattr->max_qp_resp_rd_atomic_resc) - 1), | ^~~ -- In file included from <command-line>: verbs.c: In function 'qedr_query_device': >> include/linux/compiler_types.h:699:45: error: call to '__compiletime_assert_818' declared with attribute error: min(1 << (fls(qattr->max_qp_resp_rd_atomic_resc) - 1), attr->max_qp_init_rd_atom) signedness error 699 | _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) | ^ include/linux/compiler_types.h:680:25: note: in definition of macro '__compiletime_assert' 680 | prefix ## suffix(); \ | ^~~~~~ include/linux/compiler_types.h:699:9: note: in expansion of macro '_compiletime_assert' 699 | _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) | ^~~~~~~~~~~~~~~~~~~ include/linux/build_bug.h:40:37: note: in expansion of macro 'compiletime_assert' 40 | #define BUILD_BUG_ON_MSG(cond, msg) compiletime_assert(!(cond), msg) | ^~~~~~~~~~~~~~~~~~ include/linux/minmax.h:93:9: note: in expansion of macro 'BUILD_BUG_ON_MSG' 93 | BUILD_BUG_ON_MSG(!__types_ok(ux, uy), \ | ^~~~~~~~~~~~~~~~ include/linux/minmax.h:98:9: note: in expansion of macro '__careful_cmp_once' 98 | __careful_cmp_once(op, x, y, __UNIQUE_ID(x_), __UNIQUE_ID(y_)) | ^~~~~~~~~~~~~~~~~~ include/linux/minmax.h:105:25: note: in expansion of macro '__careful_cmp' 105 | #define min(x, y) __careful_cmp(min, x, y) | ^~~~~~~~~~~~~ verbs.c:146:13: note: in expansion of macro 'min' 146 | min(1 << (fls(qattr->max_qp_resp_rd_atomic_resc) - 1), | ^~~ vim +/__compiletime_assert_818 +699 include/linux/compiler_types.h eb5c2d4b45e3d2 Will Deacon 2020-07-21 685 eb5c2d4b45e3d2 Will Deacon 2020-07-21 686 #define _compiletime_assert(condition, msg, prefix, suffix) \ eb5c2d4b45e3d2 Will Deacon 2020-07-21 687 __compiletime_assert(condition, msg, prefix, suffix) eb5c2d4b45e3d2 Will Deacon 2020-07-21 688 eb5c2d4b45e3d2 Will Deacon 2020-07-21 689 /** eb5c2d4b45e3d2 Will Deacon 2020-07-21 690 * compiletime_assert - break build and emit msg if condition is false eb5c2d4b45e3d2 Will Deacon 2020-07-21 691 * @condition: a compile-time constant condition to check eb5c2d4b45e3d2 Will Deacon 2020-07-21 692 * @msg: a message to emit if condition is false eb5c2d4b45e3d2 Will Deacon 2020-07-21 693 * eb5c2d4b45e3d2 Will Deacon 2020-07-21 694 * In tradition of POSIX assert, this macro will break the build if the eb5c2d4b45e3d2 Will Deacon 2020-07-21 695 * supplied condition is *false*, emitting the supplied error message if the eb5c2d4b45e3d2 Will Deacon 2020-07-21 696 * compiler has support to do so. eb5c2d4b45e3d2 Will Deacon 2020-07-21 697 */ eb5c2d4b45e3d2 Will Deacon 2020-07-21 698 #define compiletime_assert(condition, msg) \ eb5c2d4b45e3d2 Will Deacon 2020-07-21 @699 _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) eb5c2d4b45e3d2 Will Deacon 2020-07-21 700 -- 0-DAY CI Kernel Test Service https://github.com/intel/lkp-tests/wiki ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH rdma-next v4] RDMA: Change capability fields in ib_device_attr from int to u32 2026-05-28 19:16 ` kernel test robot @ 2026-06-01 9:08 ` Erni Sri Satya Vennela 0 siblings, 0 replies; 3+ messages in thread From: Erni Sri Satya Vennela @ 2026-06-01 9:08 UTC (permalink / raw) To: kernel test robot Cc: Jason Gunthorpe, Leon Romanovsky, linux-rdma, linux-kernel, oe-kbuild-all On Fri, May 29, 2026 at 03:16:24AM +0800, kernel test robot wrote: > Hi Erni, > > kernel test robot noticed the following build errors: > > [auto build test ERROR on rdma/for-next] > [also build test ERROR on linus/master v7.1-rc5 next-20260528] > [If your patch is applied to the wrong git tree, kindly drop us a note. > And when submitting patch, we suggest to use '--base' as documented in > https://git-scm.com/docs/git-format-patch#_base_tree_information] > > url: https://github.com/intel-lab-lkp/linux/commits/Erni-Sri-Satya-Vennela/RDMA-Change-capability-fields-in-ib_device_attr-from-int-to-u32/20260527-040218 > base: https://git.kernel.org/pub/scm/linux/kernel/git/rdma/rdma.git for-next > patch link: https://lore.kernel.org/r/20260526194225.1338210-1-ernis%40linux.microsoft.com > patch subject: [PATCH rdma-next v4] RDMA: Change capability fields in ib_device_attr from int to u32 > config: x86_64-rhel-9.4 (https://download.01.org/0day-ci/archive/20260529/202605290321.lRxnXfw4-lkp@intel.com/config) > compiler: gcc-14 (Debian 14.2.0-19) 14.2.0 > reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20260529/202605290321.lRxnXfw4-lkp@intel.com/reproduce) > > If you fix the issue in a separate patch/commit (i.e. not just a new version of > the same patch/commit), kindly add following tags > | Reported-by: kernel test robot <lkp@intel.com> > | Closes: https://lore.kernel.org/oe-kbuild-all/202605290321.lRxnXfw4-lkp@intel.com/ > > All errors (new ones prefixed by >>): > > In file included from <command-line>: > drivers/infiniband/hw/qedr/verbs.c: In function 'qedr_query_device': > >> include/linux/compiler_types.h:699:45: error: call to '__compiletime_assert_818' declared with attribute error: min(1 << (fls(qattr->max_qp_resp_rd_atomic_resc) - 1), attr->max_qp_init_rd_atom) signedness error > 699 | _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) > | ^ > include/linux/compiler_types.h:680:25: note: in definition of macro '__compiletime_assert' > 680 | prefix ## suffix(); \ > | ^~~~~~ > include/linux/compiler_types.h:699:9: note: in expansion of macro '_compiletime_assert' > 699 | _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) > | ^~~~~~~~~~~~~~~~~~~ > include/linux/build_bug.h:40:37: note: in expansion of macro 'compiletime_assert' > 40 | #define BUILD_BUG_ON_MSG(cond, msg) compiletime_assert(!(cond), msg) > | ^~~~~~~~~~~~~~~~~~ > include/linux/minmax.h:93:9: note: in expansion of macro 'BUILD_BUG_ON_MSG' > 93 | BUILD_BUG_ON_MSG(!__types_ok(ux, uy), \ > | ^~~~~~~~~~~~~~~~ > include/linux/minmax.h:98:9: note: in expansion of macro '__careful_cmp_once' > 98 | __careful_cmp_once(op, x, y, __UNIQUE_ID(x_), __UNIQUE_ID(y_)) > | ^~~~~~~~~~~~~~~~~~ > include/linux/minmax.h:105:25: note: in expansion of macro '__careful_cmp' > 105 | #define min(x, y) __careful_cmp(min, x, y) > | ^~~~~~~~~~~~~ > drivers/infiniband/hw/qedr/verbs.c:146:13: note: in expansion of macro 'min' > 146 | min(1 << (fls(qattr->max_qp_resp_rd_atomic_resc) - 1), > | ^~~ > -- > In file included from <command-line>: > verbs.c: In function 'qedr_query_device': > >> include/linux/compiler_types.h:699:45: error: call to '__compiletime_assert_818' declared with attribute error: min(1 << (fls(qattr->max_qp_resp_rd_atomic_resc) - 1), attr->max_qp_init_rd_atom) signedness error > 699 | _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) > | ^ > include/linux/compiler_types.h:680:25: note: in definition of macro '__compiletime_assert' > 680 | prefix ## suffix(); \ > | ^~~~~~ > include/linux/compiler_types.h:699:9: note: in expansion of macro '_compiletime_assert' > 699 | _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) > | ^~~~~~~~~~~~~~~~~~~ > include/linux/build_bug.h:40:37: note: in expansion of macro 'compiletime_assert' > 40 | #define BUILD_BUG_ON_MSG(cond, msg) compiletime_assert(!(cond), msg) > | ^~~~~~~~~~~~~~~~~~ > include/linux/minmax.h:93:9: note: in expansion of macro 'BUILD_BUG_ON_MSG' > 93 | BUILD_BUG_ON_MSG(!__types_ok(ux, uy), \ > | ^~~~~~~~~~~~~~~~ > include/linux/minmax.h:98:9: note: in expansion of macro '__careful_cmp_once' > 98 | __careful_cmp_once(op, x, y, __UNIQUE_ID(x_), __UNIQUE_ID(y_)) > | ^~~~~~~~~~~~~~~~~~ > include/linux/minmax.h:105:25: note: in expansion of macro '__careful_cmp' > 105 | #define min(x, y) __careful_cmp(min, x, y) > | ^~~~~~~~~~~~~ > verbs.c:146:13: note: in expansion of macro 'min' > 146 | min(1 << (fls(qattr->max_qp_resp_rd_atomic_resc) - 1), > | ^~~ > > > vim +/__compiletime_assert_818 +699 include/linux/compiler_types.h > > eb5c2d4b45e3d2 Will Deacon 2020-07-21 685 > eb5c2d4b45e3d2 Will Deacon 2020-07-21 686 #define _compiletime_assert(condition, msg, prefix, suffix) \ > eb5c2d4b45e3d2 Will Deacon 2020-07-21 687 __compiletime_assert(condition, msg, prefix, suffix) > eb5c2d4b45e3d2 Will Deacon 2020-07-21 688 > eb5c2d4b45e3d2 Will Deacon 2020-07-21 689 /** > eb5c2d4b45e3d2 Will Deacon 2020-07-21 690 * compiletime_assert - break build and emit msg if condition is false > eb5c2d4b45e3d2 Will Deacon 2020-07-21 691 * @condition: a compile-time constant condition to check > eb5c2d4b45e3d2 Will Deacon 2020-07-21 692 * @msg: a message to emit if condition is false > eb5c2d4b45e3d2 Will Deacon 2020-07-21 693 * > eb5c2d4b45e3d2 Will Deacon 2020-07-21 694 * In tradition of POSIX assert, this macro will break the build if the > eb5c2d4b45e3d2 Will Deacon 2020-07-21 695 * supplied condition is *false*, emitting the supplied error message if the > eb5c2d4b45e3d2 Will Deacon 2020-07-21 696 * compiler has support to do so. > eb5c2d4b45e3d2 Will Deacon 2020-07-21 697 */ > eb5c2d4b45e3d2 Will Deacon 2020-07-21 698 #define compiletime_assert(condition, msg) \ > eb5c2d4b45e3d2 Will Deacon 2020-07-21 @699 _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) > eb5c2d4b45e3d2 Will Deacon 2020-07-21 700 > > -- > 0-DAY CI Kernel Test Service > https://github.com/intel/lkp-tests/wiki I will fix this in the next version. Thanks, Vennela ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2026-06-01 9:08 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2026-05-26 19:42 [PATCH rdma-next v4] RDMA: Change capability fields in ib_device_attr from int to u32 Erni Sri Satya Vennela 2026-05-28 19:16 ` kernel test robot 2026-06-01 9:08 ` Erni Sri Satya Vennela
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®