On Tue, 03 Dec 2024 15:44:25 +0200, Leon Romanovsky wrote:
> Smatch generates the following false error report:
> drivers/infiniband/hw/mlx4/main.c:393 mlx4_ib_del_gid() error: uninitialized symbol 'gids'.
>
> Traditionally, we are not changing kernel code and asking people to fix
> the tools. However in this case, the fix can be done by simply rearranging
> the code to be more clear.
>
> [...]
Applied, thanks!
[1/1] RDMA/mlx4: Avoid false error about access to uninitialized gids array
https://git.kernel.org/rdma/rdma/c/1f53d88cbb0dcc
Best regards,
--
Leon Romanovsky <leon@xxxxxxxxxx>
