Hi Jason, This patch series addresses several warnings reported by gcc + W=1, sparse and smatch. Please consider these patches for kernel v5.2. Thanks, Bart. Changes compared to v1: - As requested by Leon, left out patch "IB/mlx5: Only define uplink_rep_profile if CONFIG_MLX5_ESWITCH is enabled". Bart Van Assche (7): RDMA/uverbs: Add a __user annotation to a pointer RDMA/uverbs: Annotate uverbs_request_next_ptr() return value as a __user pointer RDMA/uverbs: Allow the compiler to verify declaration and definition consistency IB/mlx5: Declare devx_async_cmd_event_fops static IB/hfi1: Remove set-but-not-used variables IB/hfi1: Fix two format strings IB/qib: Remove a set-but-not-used variable drivers/infiniband/core/uverbs_cmd.c | 2 +- drivers/infiniband/core/uverbs_main.c | 2 +- .../infiniband/core/uverbs_std_types_counters.c | 1 + drivers/infiniband/core/uverbs_std_types_dm.c | 1 + .../core/uverbs_std_types_flow_action.c | 1 + drivers/infiniband/core/uverbs_std_types_mr.c | 1 + drivers/infiniband/hw/hfi1/init.c | 4 ++-- drivers/infiniband/hw/hfi1/tid_rdma.c | 15 +++++---------- drivers/infiniband/hw/hfi1/trace_dbg.h | 4 ++-- drivers/infiniband/hw/mlx5/devx.c | 2 +- drivers/infiniband/hw/qib/qib_user_sdma.c | 5 +---- 11 files changed, 17 insertions(+), 21 deletions(-) -- 2.21.0.196.g041f5ea1cf98