[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20230112111450.2eefe7b6@kernel.org>
Date: Thu, 12 Jan 2023 11:14:50 -0800
From: Jakub Kicinski <kuba@...nel.org>
To: "Palczewski, Mateusz" <mateusz.palczewski@...el.com>
Cc: "intel-wired-lan@...ts.osuosl.org" <intel-wired-lan@...ts.osuosl.org>,
"netdev@...r.kernel.org" <netdev@...r.kernel.org>,
"leon@...nel.org" <leon@...nel.org>
Subject: Re: [PATCH net v2] ice: Fix deadlock on the rtnl_mutex
On Thu, 12 Jan 2023 13:31:06 +0000 Palczewski, Mateusz wrote:
> >Why do cases which jump to err_vectors no need any changes?
>
> During my testing I saw no issues with cases when goto err_vectors
> were used. Did You manage to have other results?
I'm just reviewing the code.
Exhaustively testing all the cases is probably very hard,
which is why we generally try to reason about the code
from first principles.
IOW "it didn't fail in my testing" is rarely a sufficient proof
upstream.
Powered by blists - more mailing lists