OSDN Git Service

(root) / uclinux-h8 / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a19d135) | patch
coccinelle: misc: add excluded_middle.cocci script
authorDenis Efremov <efremov@linux.com>
Mon, 21 Sep 2020 15:28:50 +0000 (18:28 +0300)
committerJulia Lawall <Julia.Lawall@lip6.fr>
Mon, 21 Sep 2020 17:45:46 +0000 (19:45 +0200)
commitb76f0ea013125358d1b4ca147a6f9b6883dd2493
tree0cc7e0f356310061ee86d6de2e5723fe87bdd30ftree | snapshot
parenta19d1358345e040af9164ee7dd0f39ea0a99d565commit | 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>
scripts/coccinelle/misc/excluded_middle.cocci [new file with mode: 0644] blob
About OSDN
Find Software
Develop Software
Help