| commit | b76f0ea013125358d1b4ca147a6f9b6883dd2493 | [log] [tgz] |
|---|---|---|
| author | Denis Efremov <efremov@linux.com> | Mon Sep 21 18:28:50 2020 +0300 |
| committer | Julia Lawall <Julia.Lawall@lip6.fr> | Mon Sep 21 19:45:46 2020 +0200 |
| tree | 0cc7e0f356310061ee86d6de2e5723fe87bdd30f | |
| parent | a19d1358345e040af9164ee7dd0f39ea0a99d565 [diff] |
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>