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/locks/flags.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/locks/flags.cocci')
| -rw-r--r-- | ANDROID_3.4.5/scripts/coccinelle/locks/flags.cocci | 80 |
1 files changed, 0 insertions, 80 deletions
diff --git a/ANDROID_3.4.5/scripts/coccinelle/locks/flags.cocci b/ANDROID_3.4.5/scripts/coccinelle/locks/flags.cocci deleted file mode 100644 index 1c4ffe6f..00000000 --- a/ANDROID_3.4.5/scripts/coccinelle/locks/flags.cocci +++ /dev/null @@ -1,80 +0,0 @@ -/// Find nested lock+irqsave functions that use the same flags variables -/// -// Confidence: High -// Copyright: (C) 2010-2012 Nicolas Palix. GPLv2. -// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. GPLv2. -// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2. -// URL: http://coccinelle.lip6.fr/ -// Comments: -// Options: -no_includes -include_headers - -virtual context -virtual org -virtual report - -@r exists@ -expression lock1,lock2,flags; -position p1,p2; -@@ - -( -spin_lock_irqsave@p1(lock1,flags) -| -read_lock_irqsave@p1(lock1,flags) -| -write_lock_irqsave@p1(lock1,flags) -) -... when != flags -( -spin_lock_irqsave(lock1,flags) -| -read_lock_irqsave(lock1,flags) -| -write_lock_irqsave(lock1,flags) -| -spin_lock_irqsave@p2(lock2,flags) -| -read_lock_irqsave@p2(lock2,flags) -| -write_lock_irqsave@p2(lock2,flags) -) - -@d exists@ -expression f <= r.flags; -expression lock1,lock2,flags; -position r.p1, r.p2; -@@ - -( -*spin_lock_irqsave@p1(lock1,flags) -| -*read_lock_irqsave@p1(lock1,flags) -| -*write_lock_irqsave@p1(lock1,flags) -) -... when != f -( -*spin_lock_irqsave@p2(lock2,flags) -| -*read_lock_irqsave@p2(lock2,flags) -| -*write_lock_irqsave@p2(lock2,flags) -) - -// ---------------------------------------------------------------------- - -@script:python depends on d && org@ -p1 << r.p1; -p2 << r.p2; -@@ - -cocci.print_main("original lock",p1) -cocci.print_secs("nested lock+irqsave that reuses flags",p2) - -@script:python depends on d && report@ -p1 << r.p1; -p2 << r.p2; -@@ - -msg="ERROR: nested lock+irqsave that reuses flags from line %s." % (p1[0].line) -coccilib.report.print_report(p2[0], msg) |