1*4882a593Smuzhiyun// SPDX-License-Identifier: GPL-2.0-only 2*4882a593Smuzhiyun/// Find bit operations that include the same argument more than once 3*4882a593Smuzhiyun//# One source of false positives is when the argument performs a side 4*4882a593Smuzhiyun//# effect. Another source of false positives is when a neutral value 5*4882a593Smuzhiyun//# such as 0 for | is used to indicate no information, to maintain the 6*4882a593Smuzhiyun//# same structure as other similar expressions 7*4882a593Smuzhiyun/// 8*4882a593Smuzhiyun// Confidence: Moderate 9*4882a593Smuzhiyun// Copyright: (C) 2010 Nicolas Palix, DIKU. 10*4882a593Smuzhiyun// Copyright: (C) 2010 Julia Lawall, DIKU. 11*4882a593Smuzhiyun// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6. 12*4882a593Smuzhiyun// URL: http://coccinelle.lip6.fr/ 13*4882a593Smuzhiyun// Comments: 14*4882a593Smuzhiyun// Options: --no-includes --include-headers 15*4882a593Smuzhiyun 16*4882a593Smuzhiyunvirtual context 17*4882a593Smuzhiyunvirtual org 18*4882a593Smuzhiyunvirtual report 19*4882a593Smuzhiyun 20*4882a593Smuzhiyun@r expression@ 21*4882a593Smuzhiyunexpression E; 22*4882a593Smuzhiyunposition p; 23*4882a593Smuzhiyun@@ 24*4882a593Smuzhiyun 25*4882a593Smuzhiyun( 26*4882a593Smuzhiyun* E@p 27*4882a593Smuzhiyun & ... & E 28*4882a593Smuzhiyun| 29*4882a593Smuzhiyun* E@p 30*4882a593Smuzhiyun | ... | E 31*4882a593Smuzhiyun| 32*4882a593Smuzhiyun* E@p 33*4882a593Smuzhiyun & ... & !E 34*4882a593Smuzhiyun| 35*4882a593Smuzhiyun* E@p 36*4882a593Smuzhiyun | ... | !E 37*4882a593Smuzhiyun| 38*4882a593Smuzhiyun* !E@p 39*4882a593Smuzhiyun & ... & E 40*4882a593Smuzhiyun| 41*4882a593Smuzhiyun* !E@p 42*4882a593Smuzhiyun | ... | E 43*4882a593Smuzhiyun) 44*4882a593Smuzhiyun 45*4882a593Smuzhiyun@script:python depends on org@ 46*4882a593Smuzhiyunp << r.p; 47*4882a593Smuzhiyun@@ 48*4882a593Smuzhiyun 49*4882a593Smuzhiyuncocci.print_main("duplicated argument to & or |",p) 50*4882a593Smuzhiyun 51*4882a593Smuzhiyun@script:python depends on report@ 52*4882a593Smuzhiyunp << r.p; 53*4882a593Smuzhiyun@@ 54*4882a593Smuzhiyun 55*4882a593Smuzhiyuncoccilib.report.print_report(p[0],"duplicated argument to & or |") 56