---

orplus.cocci

// SPDX-License-Identifier: GPL-2.0-only /// Check for constants that are added but are used elsewhere as bitmasks /// The results should be checked manually to ensure that the nonzero /// bits in the two constants are actually disjoint. /// // Confidence: Moderate // Copyright: (C) 2013 Julia Lawall, INRIA/LIP6. // Copyright: (C) 2013 Gilles Muller, INRIA/LIP6. // URL: https://coccinelle.gitlabpages.inria.fr/website // Comments: // Options: --no-includes --include-headers virtual org virtual report virtual context @r@ constant c,c1; identifier i,i1; position p; @@ ( c1 + c - 1 | c1@i1 +@p c@i ) @s@ constant r.c, r.c1; identifier i; expression e; @@ ( e | c@i | e & c@i | e |= c@i | e &= c@i | e | c1@i | e & c1@i | e |= c1@i | e &= c1@i ) @depends on s@ position r.p; constant c1,c2; @@ * c1 +@p c2 @script:python depends on s && org@ p << r.p; @@ cocci.print_main("sum of probable bitmasks, consider |",p) @script:python depends on s && report@ p << r.p; @@ msg = "WARNING: sum of probable bitmasks, consider |" coccilib.report.print_report(p[0],msg)

---

docroot: /var/www/469ed2f6-4d4b-4a8a-9f5e-ee4ef04d3bc8/public_html

---

curdir: /usr/src/linux-headers-6.8.0-117/scripts/coccinelle/misc

	.		4096
	..		4096
X	add_namespace.cocci		837
X	array_size.cocci		1729
X	array_size_dup.cocci		4894
X	badty.cocci		1729
X	boolconv.cocci		1506
X	cond_no_effect.cocci		2121
X	cstptr.cocci		873
X	do_div.cocci		3560
X	doubleinit.cocci		1429
X	excluded_middle.cocci		677
X	flexible_array.cocci		1821
X	ifcol.cocci		1279
X	irqf_oneshot.cocci		2007
X	minmax.cocci		3288
X	newline_in_nl_msg.cocci		1671
X	noderef.cocci		1240
X	of_table.cocci		1366
X	orplus.cocci		1074
X	returnvar.cocci		1307
X	semicolon.cocci		1116
X	swap.cocci		1517
X	test_addr.cocci		699
X	uninitialized_var.cocci		1629
X	warn.cocci		1707