]> Gentwo Git Trees - linux/.git/commit
gentwo / linux / .git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd1af7c) | patch
Coccinelle: use false positive annotation
authorJulia Lawall <Julia.Lawall@lip6.fr>
Sat, 28 Oct 2017 23:43:09 +0000 (01:43 +0200)
committerMasahiro Yamada <yamada.masahiro@socionext.com>
Tue, 14 Nov 2017 14:19:04 +0000 (23:19 +0900)
commit69c4907ba1ee9e9428363c9419c9116bb28c402c
tree063510c0df731e86a6d237729ebd32535e3df700tree | snapshot
parentcd1af7cfbbdc7719b74ad9f3c88e50bb77713664commit | diff
Coccinelle: use false positive annotation

/// is to describe the semantic patch, while //# indicates reasons
for false positives.

Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
scripts/coccinelle/misc/ifcol.cocci diff | blob | blame | history
Development tree.