coccinelle/locks/flags.cocci

1 // SPDX-License-Identifier: GPL-2.0-only
5 // Copyright: (C) 2010-2012 Nicolas Palix.
6 // Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
7 // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
10 // Options: --no-includes --include-headers
18 position p1,p2;
22 spin_lock_irqsave@p1(lock1,flags)
24 read_lock_irqsave@p1(lock1,flags)
26 write_lock_irqsave@p1(lock1,flags)
46 position r.p1, r.p2;
50 *spin_lock_irqsave@p1(lock1,flags)
52 *read_lock_irqsave@p1(lock1,flags)
54 *write_lock_irqsave@p1(lock1,flags)
65 // ----------------------------------------------------------------------
68 p1 << r.p1;
72 cocci.print_main("original lock",p1)
76 p1 << r.p1;
80 msg="ERROR: nested lock+irqsave that reuses flags from line %s." % (p1[0].line)