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 <l...@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 <efre...@linux.com>
> > Reported-by: kernel test robot <l...@intel.com>
> > Signed-off-by: kernel test robot <l...@intel.com>
> > Signed-off-by: Julia Lawall <julia.law...@inria.fr>
>
> Reviewed-by: Antoine Tenart <aten...@kernel.org>
Applied, thanks!
