Re: [PATCH] power: supply: core: fix static checker warning

From: Hans de Goede
Date: Mon Jul 07 2025 - 06:04:53 EST


Hi,

On 7-Jul-25 01:26, Sebastian Reichel wrote:
> static checker complains, that the block already breaks if IS_ERR(np)
> and thus the extra !IS_ERR(np) check in the while condition is
> superfluous. Avoid the extra check by using while(true) instead. This
> should not change the runtime behavior at all and I expect the binary
> to be more or less the same for an optimizing compiler.
>
> Fixes: f368f87b22da ("power: supply: core: convert to fwnnode")
> Reported-by: Dan Carpenter <dan.carpenter@xxxxxxxxxx>
> Closes: https://lore.kernel.org/linux-pm/285c9c39-482c-480c-8b0b-07111e39fdfe@sabinyo.mountain/
> Signed-off-by: Sebastian Reichel <sebastian.reichel@xxxxxxxxxxxxx>

Thanks, patch looks good to me:

Reviewed-by: Hans de Goede <hansg@xxxxxxxxxx>

Regards,

Hans


> ---
> drivers/power/supply/power_supply_core.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/drivers/power/supply/power_supply_core.c b/drivers/power/supply/power_supply_core.c
> index aedb20c1d2767309ae716712f8be8002b988f1b4..7c3913155dc0b7e51cdefe2974b09a9259ccb4b9 100644
> --- a/drivers/power/supply/power_supply_core.c
> +++ b/drivers/power/supply/power_supply_core.c
> @@ -212,7 +212,7 @@ static int __power_supply_populate_supplied_from(struct power_supply *epsy,
> break;
> }
> fwnode_handle_put(np);
> - } while (!IS_ERR(np));
> + } while (true);
>
> return 0;
> }
>
> ---
> base-commit: f9335bb4f5d4f3b913efd5872c2794d027dd85a6
> change-id: 20250707-fix-psy-static-checker-warning-f6aac00b24dd
>
> Best regards,