summaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authorJulia Lawall <Julia.Lawall@lip6.fr>2017-10-29 01:43:09 +0200
committerMasahiro Yamada <yamada.masahiro@socionext.com>2017-11-14 23:19:04 +0900
commit69c4907ba1ee9e9428363c9419c9116bb28c402c (patch)
tree063510c0df731e86a6d237729ebd32535e3df700 /scripts
parentcd1af7cfbbdc7719b74ad9f3c88e50bb77713664 (diff)
downloadlinux-stable-69c4907ba1ee9e9428363c9419c9116bb28c402c.tar.gz
linux-stable-69c4907ba1ee9e9428363c9419c9116bb28c402c.tar.bz2
linux-stable-69c4907ba1ee9e9428363c9419c9116bb28c402c.zip
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>
Diffstat (limited to 'scripts')
-rw-r--r--scripts/coccinelle/misc/ifcol.cocci8
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/coccinelle/misc/ifcol.cocci b/scripts/coccinelle/misc/ifcol.cocci
index d0d00ef1f12a..ffe75407c5d2 100644
--- a/scripts/coccinelle/misc/ifcol.cocci
+++ b/scripts/coccinelle/misc/ifcol.cocci
@@ -3,10 +3,10 @@
/// Sometimes, code after an if that is indented is actually intended to be
/// part of the if branch.
///
-/// This has a high rate of false positives, because Coccinelle's column
-/// calculation does not distinguish between spaces and tabs, so code that
-/// is not visually aligned may be considered to be in the same column.
-///
+//# This has a high rate of false positives, because Coccinelle's column
+//# calculation does not distinguish between spaces and tabs, so code that
+//# is not visually aligned may be considered to be in the same column.
+//
// Confidence: Low
// Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2.
// Copyright: (C) 2010 Julia Lawall, DIKU. GPLv2.