summaryrefslogtreecommitdiff
path: root/scripts/coccinelle/misc/excluded_middle.cocci
AgeCommit message (Collapse)AuthorFilesLines
2020-09-21coccinelle: misc: add excluded_middle.cocci scriptDenis Efremov1-0/+39
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>