tree 0cc7e0f356310061ee86d6de2e5723fe87bdd30f
parent a19d1358345e040af9164ee7dd0f39ea0a99d565
author Denis Efremov <efremov@linux.com> 1600702130 +0300
committer Julia Lawall <Julia.Lawall@lip6.fr> 1600710346 +0200

coccinelle: misc: add excluded_middle.cocci script

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>