On Mon, 16 Nov 2020 22:15:01 +0100 Antoine Tenart wrote:
Quoting Julia Lawall (2020-11-16 16:34:44)
> From: kernel test robot <lkp(a)intel.com>
>
> 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(a)linux.com>
> Reported-by: kernel test robot <lkp(a)intel.com>
> Signed-off-by: kernel test robot <lkp(a)intel.com>
> Signed-off-by: Julia Lawall <julia.lawall(a)inria.fr>
Reviewed-by: Antoine Tenart <atenart(a)kernel.org>
Applied, thanks!