Hello Faisal Latif,
This is a semi-automatic email about new static checker warnings.
The patch f27b4746f378: "i40iw: add connection management code" from
Jan 20, 2016, leads to the following Smatch complaint:
drivers/infiniband/hw/i40iw/i40iw_cm.c:3691 i40iw_accept()
error: we previously assumed 'cm_node->listener' could be null (see line 3689)
drivers/infiniband/hw/i40iw/i40iw_cm.c:4061 i40iw_cm_event_connected()
error: we previously assumed 'cm_node->listener' could be null (see line 4059)
drivers/infiniband/hw/i40iw/i40iw_cm.c
3688 if (cm_node->accept_pend) {
3689 if (!cm_node->listener)
^^^^^^^^^^^^^^^^^
Check
3690 i40iw_pr_err("cm_node->listener NULL for passive node\n");
3691 atomic_dec(&cm_node->listener->pend_accepts_cnt);
^^^^^^^^^^^^^^^^^
Unchecked dereference
3692 cm_node->accept_pend = 0;
3693 }
[ snip ]
4058 if (cm_node->accept_pend) {
4059 if (!cm_node->listener)
^^^^^^^^^^^^^^^^^
4060 i40iw_pr_err("listener is null for passive node\n");
4061 atomic_dec(&cm_node->listener->pend_accepts_cnt);
^^^^^^^^^^^^^^^^^
4062 cm_node->accept_pend = 0;
4063 }
regards,
dan carpenter
--
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
