xen: Fix the issue of resource not being properly released in xenbus_dev_probe()

This patch fixes an issue in the function xenbus_dev_probe(). In the
xenbus_dev_probe() function, within the if (err) branch at line 313, the
program incorrectly returns err directly without releasing the resources
allocated by err = drv->probe(dev, id). As the return value is non-zero,
the upper layers assume the processing logic has failed. However, the probe
operation was performed earlier without a corresponding remove operation.
Since the probe actually allocates resources, failing to perform the remove
operation could lead to problems.

To fix this issue, we followed the resource release logic of the
xenbus_dev_remove() function by adding a new block fail_remove before the
fail_put block. After entering the branch if (err) at line 313, the
function will use a goto statement to jump to the fail_remove block,
ensuring that the previously acquired resources are correctly released,
thus preventing the reference count leak.

This bug was identified by an experimental static analysis tool developed
by our team. The tool specializes in analyzing reference count operations
and detecting potential issues where resources are not properly managed.
In this case, the tool flagged the missing release operation as a
potential problem, which led to the development of this patch.

Fixes: 4bac07c993d0 ("xen: add the Xenbus sysfs and virtual device hotplug driver")
Cc: [email protected]
Signed-off-by: Qiu-ji Chen <[email protected]>
Reviewed-by: Juergen Gross <[email protected]>
Message-ID: <20241105130919[email protected]>
Signed-off-by: Juergen Gross <[email protected]>

diff --git a/drivers/xen/xenbus/xenbus_probe.c b/drivers/xen/xenbus/xenbus_probe.c
index 9f097f1f4a4cf380c7068f03d7b313201a778024..6d32ffb01136503184aeef3efecccfff2b6039ec 100644 (file)
--- a/drivers/xen/xenbus/xenbus_probe.c
+++ b/drivers/xen/xenbus/xenbus_probe.c
@@ -313,7 +313,7 @@ int xenbus_dev_probe(struct device *_dev)
        if (err) {
                dev_warn(&dev->dev, "watch_otherend on %s failed.\n",
                       dev->nodename);
-               return err;
+               goto fail_remove;
        }
 
        dev->spurious_threshold = 1;
@@ -322,6 +322,12 @@ int xenbus_dev_probe(struct device *_dev)
                         dev->nodename);
 
        return 0;
+fail_remove:
+       if (drv->remove) {
+               down(&dev->reclaim_sem);
+               drv->remove(dev);
+               up(&dev->reclaim_sem);
+       }
 fail_put:
        module_put(drv->driver.owner);
 fail: