diff options
author | Julia Lawall <Julia.Lawall@lip6.fr> | 2017-10-28 19:43:09 -0400 |
---|---|---|
committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2017-11-14 09:19:04 -0500 |
commit | 69c4907ba1ee9e9428363c9419c9116bb28c402c (patch) | |
tree | 063510c0df731e86a6d237729ebd32535e3df700 | |
parent | cd1af7cfbbdc7719b74ad9f3c88e50bb77713664 (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.cocci | 8 |
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. |