aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJulia Lawall <Julia.Lawall@lip6.fr>2017-10-28 19:43:09 -0400
committerMasahiro Yamada <yamada.masahiro@socionext.com>2017-11-14 09:19:04 -0500
commit69c4907ba1ee9e9428363c9419c9116bb28c402c (patch)
tree063510c0df731e86a6d237729ebd32535e3df700
parentcd1af7cfbbdc7719b74ad9f3c88e50bb77713664 (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>
-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 @@
3/// Sometimes, code after an if that is indented is actually intended to be 3/// Sometimes, code after an if that is indented is actually intended to be
4/// part of the if branch. 4/// part of the if branch.
5/// 5///
6/// This has a high rate of false positives, because Coccinelle's column 6//# This has a high rate of false positives, because Coccinelle's column
7/// calculation does not distinguish between spaces and tabs, so code that 7//# calculation does not distinguish between spaces and tabs, so code that
8/// is not visually aligned may be considered to be in the same column. 8//# is not visually aligned may be considered to be in the same column.
9/// 9//
10// Confidence: Low 10// Confidence: Low
11// Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2. 11// Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2.
12// Copyright: (C) 2010 Julia Lawall, DIKU. GPLv2. 12// Copyright: (C) 2010 Julia Lawall, DIKU. GPLv2.