leandrof/linux
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Coccinelle: use false positive annotation

Browse Source 
/// 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>
This commit is contained in:
Julia Lawall 2017-10-29 01:43:09 +02:00 committed by Masahiro Yamada
parent cd1af7cfbb
commit 69c4907ba1
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
scripts/coccinelle/misc/ifcol.cocci
View File

@ -3,10 +3,10 @@
/// Sometimes, code after an if that is indented is actually intended to be /// Sometimes, code after an if that is indented is actually intended to be
/// part of the if branch. /// part of the if branch.
/// ///
/// This has a high rate of false positives, because Coccinelle's column //# This has a high rate of false positives, because Coccinelle's column
/// calculation does not distinguish between spaces and tabs, so code that //# calculation does not distinguish between spaces and tabs, so code that
/// is not visually aligned may be considered to be in the same column. //# is not visually aligned may be considered to be in the same column.
/// //
// Confidence: Low // Confidence: Low
// Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2. // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2.
// Copyright: (C) 2010 Julia Lawall, DIKU. GPLv2. // Copyright: (C) 2010 Julia Lawall, DIKU. GPLv2.