diff options
| author | Denis Efremov <efremov@linux.com> | 2020-09-21 18:28:50 +0300 |
|---|---|---|
| committer | Julia Lawall <Julia.Lawall@lip6.fr> | 2020-09-21 19:45:46 +0200 |
| commit | b76f0ea013125358d1b4ca147a6f9b6883dd2493 (patch) | |
| tree | 0cc7e0f356310061ee86d6de2e5723fe87bdd30f /scripts/coccicheck | |
| 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>
Diffstat (limited to 'scripts/coccicheck')
0 files changed, 0 insertions, 0 deletions