doublebitand.cocci (75bf465f0bc33e9b776a46d6a1b9b990f5fb7c37) doublebitand.cocci (f01701cec8cbb94df209e9705b97abd01c151ba1)
1// SPDX-License-Identifier: GPL-2.0-only
2/// Find bit operations that include the same argument more than once
3//# One source of false positives is when the argument performs a side
4//# effect. Another source of false positives is when a neutral value
5//# such as 0 for | is used to indicate no information, to maintain the
6//# same structure as other similar expressions
7///
8// Confidence: Moderate
9// Copyright: (C) 2010 Nicolas Palix, DIKU.
10// Copyright: (C) 2010 Julia Lawall, DIKU.
11// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
1// SPDX-License-Identifier: GPL-2.0-only
2/// Find bit operations that include the same argument more than once
3//# One source of false positives is when the argument performs a side
4//# effect. Another source of false positives is when a neutral value
5//# such as 0 for | is used to indicate no information, to maintain the
6//# same structure as other similar expressions
7///
8// Confidence: Moderate
9// Copyright: (C) 2010 Nicolas Palix, DIKU.
10// Copyright: (C) 2010 Julia Lawall, DIKU.
11// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
12// URL: http://coccinelle.lip6.fr/
12// URL: https://coccinelle.gitlabpages.inria.fr/website
13// Comments:
14// Options: --no-includes --include-headers
15
16virtual context
17virtual org
18virtual report
19
20@r expression@

--- 35 unchanged lines hidden ---
13// Comments:
14// Options: --no-includes --include-headers
15
16virtual context
17virtual org
18virtual report
19
20@r expression@

--- 35 unchanged lines hidden ---