D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
usr
/
src
/
linux-headers-5.4.0-212
/
scripts
/
coccinelle
/
tests
/
Filename :
doublebitand.cocci
back
Copy
// 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 |")