| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980 |
- /// 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)
|
