2022-07-11 16:01:18

by Andrey Strachuk

Subject: [PATCH] usb: remove useless condition _ep_queue()

Comparison of 'ep' with NULL is useless since
'ep' is a result of container_of and cannot be NULL
in any reasonable scenario.

Found by Linux Verification Center (linuxtesting.org) with SVACE.

Signed-off-by: Andrey Strachuk <[email protected]>
Fixes: 2dbc5c4c8314 ("usb: chipidea: get rid of camelcase names")
---
drivers/usb/chipidea/udc.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/drivers/usb/chipidea/udc.c b/drivers/usb/chipidea/udc.c
index 3b8bf6daf7d0..8ce31f9933e1 100644
--- a/drivers/usb/chipidea/udc.c
+++ b/drivers/usb/chipidea/udc.c
@@ -933,7 +933,7 @@ static int _ep_queue(struct usb_ep *ep, struct usb_request *req,
struct ci_hdrc *ci = hwep->ci;
int retval = 0;

- if (ep == NULL || req == NULL || hwep->ep.desc == NULL)
+ if (req == NULL || hwep->ep.desc == NULL)
return -EINVAL;

if (hwep->type == USB_ENDPOINT_XFER_CONTROL) {
--
2.25.1

2022-07-14 14:51:19

by Greg Kroah-Hartman

Subject: Re: [PATCH] usb: remove useless condition _ep_queue()

On Mon, Jul 11, 2022 at 06:25:03PM +0300, Andrey Strachuk wrote:
> Comparison of 'ep' with NULL is useless since
> 'ep' is a result of container_of and cannot be NULL
> in any reasonable scenario.
>
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
>
> Signed-off-by: Andrey Strachuk <[email protected]>
> Fixes: 2dbc5c4c8314 ("usb: chipidea: get rid of camelcase names")
> ---
> drivers/usb/chipidea/udc.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)

Subject line is wrong :(

Also this is not a "Fix".