Name	Size	Mode	Actions
doublebitand.cocci	1144	0644	editdlrm
doubletest.cocci	1096	0644	editdlrm
odd_ptr_err.cocci	2143	0644	editdlrm
unsigned_lesser_than_zero.cocci	2197	0644	editdlrm

// 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: http://coccinelle.lip6.fr/ // Comments: // Options: --no-includes --include-headers virtual context virtual org virtual report @r expression@ expression E; position p; @@ ( * E@p & ... & E | * E@p | ... | E | * E@p & ... & !E | * E@p | ... | !E | * !E@p & ... & E | * !E@p | ... | E ) @script:python depends on org@ p << r.p; @@ cocci.print_main("duplicated argument to & or |",p) @script:python depends on report@ p << r.p; @@ coccilib.report.print_report(p[0],"duplicated argument to & or |")