Re: [PATCH] forcedeth: fix excluded_middle.cocci warnings

From: Jakub Kicinski
Date: Tue Nov 03 2020 - 20:48:32 EST


On Mon, 2 Nov 2020 09:38:30 +0100 (CET) Julia Lawall wrote:
> From: kernel test robot <lkp@xxxxxxxxx>
>
> Condition !A || A && B is equivalent to !A || B.
>
> Generated by: scripts/coccinelle/misc/excluded_middle.cocci
>
> Fixes: b76f0ea01312 ("coccinelle: misc: add excluded_middle.cocci script")
> CC: Denis Efremov <efremov@xxxxxxxxx>
> Signed-off-by: kernel test robot <lkp@xxxxxxxxx>
> Signed-off-by: Julia Lawall <julia.lawall@xxxxxxxx>

Applied, thanks!