[PATCH 0/8] Multiple fixes for issues reported by static checkers

Bart Van Assche <bvanassche@xxxxxxx> · Thu, 21 Mar 2019 10:24:09 -0700

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.

Bart Van Assche (8):
  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: Only define uplink_rep_profile if CONFIG_MLX5_ESWITCH is
    enabled
  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/mlx5/main.c                 |  2 ++
 drivers/infiniband/hw/qib/qib_user_sdma.c         |  5 +----
 12 files changed, 19 insertions(+), 21 deletions(-)

-- 
2.21.0.155.ge902e9bcae20