Bluetooth: cmtp: Remove unnecessary null test
authorHimangi Saraogi <himangi774@gmail.com>
Mon, 14 Jul 2014 20:34:13 +0000 (02:04 +0530)
committerMarcel Holtmann <marcel@holtmann.org>
Mon, 14 Jul 2014 21:00:13 +0000 (23:00 +0200)
This patch removes the null test on ctrl. ctrl is initialized at the
beginning of the function to &session->ctrl. Since session is
dereferenced prior to the null test, session must be a valid pointer,
and &session->ctrl cannot be null.

The following Coccinelle script is used for detecting the change:

@r@
expression e,f;
identifier g,y;
statement S1,S2;
@@

*e = &f->g
<+...
 f->y
 ...+>
*if (e != NULL || ...)
 S1 else S2

Signed-off-by: Himangi Saraogi <himangi774@gmail.com>
Acked-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Marcel Holtmann <marcel@holtmann.org>
net/bluetooth/cmtp/capi.c

index cd75e4d64b9093df7f3d07c711b43ba983779197..1ca8a87a078776d75d223a204aa4f42770c229a3 100644 (file)
@@ -362,12 +362,6 @@ void cmtp_recv_capimsg(struct cmtp_session *session, struct sk_buff *skb)
                CAPIMSG_SETCONTROL(skb->data, contr);
        }
 
-       if (!ctrl) {
-               BT_ERR("Can't find controller %d for message", session->num);
-               kfree_skb(skb);
-               return;
-       }
-
        capi_ctr_handle_message(ctrl, appl, skb);
 }