/// 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)
t.cgi/linux/net-next.git/'>summary</a><a href='/cgit.cgi/linux/net-next.git/refs/?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>refs</a><a href='/cgit.cgi/linux/net-next.git/log/include/dt-bindings/clk'>log</a><a href='/cgit.cgi/linux/net-next.git/tree/include/dt-bindings/clk?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>tree</a><a class='active' href='/cgit.cgi/linux/net-next.git/commit/include/dt-bindings/clk?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>commit</a><a href='/cgit.cgi/linux/net-next.git/diff/include/dt-bindings/clk?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>diff</a></td><td class='form'><form class='right' method='get' action='/cgit.cgi/linux/net-next.git/log/include/dt-bindings/clk'>
<input type='hidden' name='id' value='0d4ee015d5ea50febb882d00520d62c6de3f725c'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/cgit.cgi/linux/net-next.git/commit/?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>root</a>/<a href='/cgit.cgi/linux/net-next.git/commit/include?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>include</a>/<a href='/cgit.cgi/linux/net-next.git/commit/include/dt-bindings?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>dt-bindings</a>/<a href='/cgit.cgi/linux/net-next.git/commit/include/dt-bindings/clk?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>clk</a></div><div class='content'><div class='cgit-panel'><b>diff options</b><form method='get'><input type='hidden' name='id' value='0d4ee015d5ea50febb882d00520d62c6de3f725c'/><table><tr><td colspan='2'/></tr><tr><td class='label'>context:</td><td class='ctrl'><select name='context' onchange='this.form.submit();'><option value='1'>1</option><option value='2'>2</option><option value='3' selected='selected'>3</option><option value='4'>4</option><option value='5'>5</option><option value='6'>6</option><option value='7'>7</option><option value='8'>8</option><option value='9'>9</option><option value='10'>10</option><option value='15'>15</option><option value='20'>20</option><option value='25'>25</option><option value='30'>30</option><option value='35'>35</option><option value='40'>40</option></select></td></tr><tr><td class='label'>space:</td><td class='ctrl'><select name='ignorews' onchange='this.form.submit();'><option value='0' selected='selected'>include</option><option value='1'>ignore</option></select></td></tr><tr><td class='label'>mode:</td><td class='ctrl'><select name='dt' onchange='this.form.submit();'><option value='0' selected='selected'>unified</option><option value='1'>ssdiff</option><option value='2'>stat only</option></select></td></tr><tr><td/><td class='ctrl'><noscript><input type='submit' value='reload'/></noscript></td></tr></table></form></div><table summary='commit info' class='commit-info'>
<tr><th>author</th><td>Jens Axboe &lt;axboe@fb.com&gt;</td><td class='right'>2017-01-26 09:56:15 -0700</td></tr>
<tr><th>committer</th><td>Jens Axboe &lt;axboe@fb.com&gt;</td><td class='right'>2017-01-26 09:56:15 -0700</td></tr>
<tr><th>commit</th><td colspan='2' class='oid'><a href='/cgit.cgi/linux/net-next.git/commit/include/dt-bindings/clk?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>0d4ee015d5ea50febb882d00520d62c6de3f725c</a> (<a href='/cgit.cgi/linux/net-next.git/patch/include/dt-bindings/clk?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>patch</a>)</td></tr>
<tr><th>tree</th><td colspan='2' class='oid'><a href='/cgit.cgi/linux/net-next.git/tree/?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>6bd2e032e00c34590a8d39d5a43b6a7518d1384d</a> /<a href='/cgit.cgi/linux/net-next.git/tree/include/dt-bindings/clk?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>include/dt-bindings/clk</a></td></tr>
<tr><th>parent</th><td colspan='2' class='oid'><a href='/cgit.cgi/linux/net-next.git/commit/include/dt-bindings/clk?id=690e5325b8c7d5db05fc569c0f7b888bb4248272'>690e5325b8c7d5db05fc569c0f7b888bb4248272</a> (<a href='/cgit.cgi/linux/net-next.git/diff/include/dt-bindings/clk?id=0d4ee015d5ea50febb882d00520d62c6de3f725c&amp;id2=690e5325b8c7d5db05fc569c0f7b888bb4248272'>diff</a>)</td></tr><tr><th>parent</th><td colspan='2' class='oid'><a href='/cgit.cgi/linux/net-next.git/commit/include/dt-bindings/clk?id=19e420bb4076ace670addc55300e3b8c4a02dfc6'>19e420bb4076ace670addc55300e3b8c4a02dfc6</a> (<a href='/cgit.cgi/linux/net-next.git/diff/include/dt-bindings/clk?id=0d4ee015d5ea50febb882d00520d62c6de3f725c&amp;id2=19e420bb4076ace670addc55300e3b8c4a02dfc6'>diff</a>)</td></tr></table>
<div class='commit-subject'>Merge branch 'nvme-4.10-fixes' of git://git.infradead.org/nvme into for-linus</div><div class='commit-msg'>Pull nvme target fixes from Sagi:

Given that its -rc6, I removed anything that is not
bug fix.

- nvmet-fc discard fix from Christoph
- queue disconnect fix from James
- nvmet-rdma dma sync fix from Parav
- Some more nvmet fixes
</div><div class='diffstat-header'><a href='/cgit.cgi/linux/net-next.git/diff/?id=0d4ee015d5ea50febb882d00520d62c6de3f725c'>Diffstat</a> (limited to 'include/dt-bindings/clk')</div><table summary='diffstat' class='diffstat'>