Bluetooth: L2CAP: Fix l2cap_global_chan_by_psm regression
authorLuiz Augusto von Dentz <luiz.von.dentz@intel.com>
Mon, 1 Aug 2022 20:52:07 +0000 (13:52 -0700)
committerLuiz Augusto von Dentz <luiz.von.dentz@intel.com>
Tue, 9 Aug 2022 00:03:40 +0000 (17:03 -0700)
The patch d0be8347c623: "Bluetooth: L2CAP: Fix use-after-free caused
by l2cap_chan_put" from Jul 21, 2022, leads to the following Smatch
static checker warning:

        net/bluetooth/l2cap_core.c:1977 l2cap_global_chan_by_psm()
        error: we previously assumed 'c' could be null (see line 1996)

Fixes: d0be8347c623 ("Bluetooth: L2CAP: Fix use-after-free caused by l2cap_chan_put")
Reported-by: Dan Carpenter <dan.carpenter@oracle.com>
Signed-off-by: Luiz Augusto von Dentz <luiz.von.dentz@intel.com>
net/bluetooth/l2cap_core.c

index 77c0aac14539e0d9abe374e96bc94aefb4358165..cbe0cae73434f7a1631940a58d1b1a5036c6f830 100644 (file)
@@ -1970,11 +1970,11 @@ static struct l2cap_chan *l2cap_global_chan_by_psm(int state, __le16 psm,
                                                   bdaddr_t *dst,
                                                   u8 link_type)
 {
-       struct l2cap_chan *c, *c1 = NULL;
+       struct l2cap_chan *c, *tmp, *c1 = NULL;
 
        read_lock(&chan_list_lock);
 
-       list_for_each_entry(c, &chan_list, global_l) {
+       list_for_each_entry_safe(c, tmp, &chan_list, global_l) {
                if (state && c->state != state)
                        continue;
 
@@ -1993,11 +1993,10 @@ static struct l2cap_chan *l2cap_global_chan_by_psm(int state, __le16 psm,
                        dst_match = !bacmp(&c->dst, dst);
                        if (src_match && dst_match) {
                                c = l2cap_chan_hold_unless_zero(c);
-                               if (!c)
-                                       continue;
-
-                               read_unlock(&chan_list_lock);
-                               return c;
+                               if (c) {
+                                       read_unlock(&chan_list_lock);
+                                       return c;
+                               }
                        }
 
                        /* Closest match */