kernel/scripts/coccinelle/misc/excluded_middle.cocci, branch linux-rolling-stable Hosts the 0x221E linux distro kernel. https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-rolling-stable 2020-09-21T17:45:46Z coccinelle: misc: add excluded_middle.cocci script 2020-09-21T17:45:46Z Denis Efremov efremov@linux.com 2020-09-21T15:28:50Z urn:sha1:b76f0ea013125358d1b4ca147a6f9b6883dd2493 Check for !A || A && B condition. It's equivalent to !A || B. Signed-off-by: Denis Efremov <efremov@linux.com> Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>