diff options
author | Srikant Patnaik | 2015-01-11 12:28:04 +0530 |
---|---|---|
committer | Srikant Patnaik | 2015-01-11 12:28:04 +0530 |
commit | 871480933a1c28f8a9fed4c4d34d06c439a7a422 (patch) | |
tree | 8718f573808810c2a1e8cb8fb6ac469093ca2784 /ANDROID_3.4.5/scripts/coccinelle/free/clk_put.cocci | |
parent | 9d40ac5867b9aefe0722bc1f110b965ff294d30d (diff) | |
download | FOSSEE-netbook-kernel-source-871480933a1c28f8a9fed4c4d34d06c439a7a422.tar.gz FOSSEE-netbook-kernel-source-871480933a1c28f8a9fed4c4d34d06c439a7a422.tar.bz2 FOSSEE-netbook-kernel-source-871480933a1c28f8a9fed4c4d34d06c439a7a422.zip |
Moved, renamed, and deleted files
The original directory structure was scattered and unorganized.
Changes are basically to make it look like kernel structure.
Diffstat (limited to 'ANDROID_3.4.5/scripts/coccinelle/free/clk_put.cocci')
-rw-r--r-- | ANDROID_3.4.5/scripts/coccinelle/free/clk_put.cocci | 67 |
1 files changed, 0 insertions, 67 deletions
diff --git a/ANDROID_3.4.5/scripts/coccinelle/free/clk_put.cocci b/ANDROID_3.4.5/scripts/coccinelle/free/clk_put.cocci deleted file mode 100644 index 46747adf..00000000 --- a/ANDROID_3.4.5/scripts/coccinelle/free/clk_put.cocci +++ /dev/null @@ -1,67 +0,0 @@ -/// Find missing clk_puts. -/// -//# This only signals a missing clk_put when there is a clk_put later -//# in the same function. -//# False positives can be due to loops. -// -// Confidence: Moderate -// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. -// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. -// URL: http://coccinelle.lip6.fr/ -// Comments: -// Options: - -virtual context -virtual org -virtual report - -@clk@ -expression e; -statement S,S1; -int ret; -position p1,p2,p3; -@@ - -e = clk_get@p1(...) -... when != clk_put(e) -if (<+...e...+>) S -... when any - when != clk_put(e) - when != if (...) { ... clk_put(e); ... } -( - if (ret == 0) S1 -| -if (...) - { ... - return 0; } -| -if (...) - { ... - return <+...e...+>; } -| -*if@p2 (...) - { ... when != clk_put(e) - when forall - return@p3 ...; } -) -... when any -clk_put(e); - -@script:python depends on org@ -p1 << clk.p1; -p2 << clk.p2; -p3 << clk.p3; -@@ - -cocci.print_main("clk_get",p1) -cocci.print_secs("if",p2) -cocci.print_secs("needed clk_put",p3) - -@script:python depends on report@ -p1 << clk.p1; -p2 << clk.p2; -p3 << clk.p3; -@@ - -msg = "ERROR: missing clk_put; clk_get on line %s and execution via conditional on line %s" % (p1[0].line,p2[0].line) -coccilib.report.print_report(p3[0],msg) |