summaryrefslogtreecommitdiff
path: root/ANDROID_3.4.5/scripts/coccinelle/misc/ifcol.cocci
diff options
context:
space:
mode:
Diffstat (limited to 'ANDROID_3.4.5/scripts/coccinelle/misc/ifcol.cocci')
-rw-r--r--ANDROID_3.4.5/scripts/coccinelle/misc/ifcol.cocci48
1 files changed, 0 insertions, 48 deletions
diff --git a/ANDROID_3.4.5/scripts/coccinelle/misc/ifcol.cocci b/ANDROID_3.4.5/scripts/coccinelle/misc/ifcol.cocci
deleted file mode 100644
index b7ed91db..00000000
--- a/ANDROID_3.4.5/scripts/coccinelle/misc/ifcol.cocci
+++ /dev/null
@@ -1,48 +0,0 @@
-/// Find confusingly indented code in or after an if. An if branch should
-/// be indented. The code following an if should not be indented.
-/// 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.
-///
-// Confidence: Low
-// Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2.
-// Copyright: (C) 2010 Julia Lawall, DIKU. GPLv2.
-// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6. GPLv2.
-// URL: http://coccinelle.lip6.fr/
-// Comments:
-// Options: -no_includes -include_headers
-
-virtual org
-virtual report
-
-@r disable braces4@
-position p1,p2;
-statement S1,S2;
-@@
-
-(
-if (...) { ... }
-|
-if (...) S1@p1 S2@p2
-)
-
-@script:python depends on org@
-p1 << r.p1;
-p2 << r.p2;
-@@
-
-if (p1[0].column == p2[0].column):
- cocci.print_main("branch",p1)
- cocci.print_secs("after",p2)
-
-@script:python depends on report@
-p1 << r.p1;
-p2 << r.p2;
-@@
-
-if (p1[0].column == p2[0].column):
- msg = "code aligned with following code on line %s" % (p2[0].line)
- coccilib.report.print_report(p1[0],msg)