1// SPDX-License-Identifier: GPL-2.0-only
2// Check if refcount_t type and API should be used
3// instead of atomic_t type when dealing with refcounters
4//
5// Copyright (c) 2016-2017, Elena Reshetova, Intel Corporation
6//
7// Confidence: Moderate
8// URL: http://coccinelle.lip6.fr/
9// Options: --include-headers --very-quiet
10
11virtual report
12
13@r1 exists@
14identifier a, x;
15position p1, p2;
16identifier fname =~ ".*free.*";
17identifier fname2 =~ ".*destroy.*";
18identifier fname3 =~ ".*del.*";
19identifier fname4 =~ ".*queue_work.*";
20identifier fname5 =~ ".*schedule_work.*";
21identifier fname6 =~ ".*call_rcu.*";
22
23@@
24
25(
26 atomic_dec_and_test@p1(&(a)->x)
27|
28 atomic_dec_and_lock@p1(&(a)->x, ...)
29|
30 atomic_long_dec_and_lock@p1(&(a)->x, ...)
31|
32 atomic_long_dec_and_test@p1(&(a)->x)
33|
34 atomic64_dec_and_test@p1(&(a)->x)
35|
36 local_dec_and_test@p1(&(a)->x)
37)
38...
39(
40 fname@p2(a, ...);
41|
42 fname2@p2(...);
43|
44 fname3@p2(...);
45|
46 fname4@p2(...);
47|
48 fname5@p2(...);
49|
50 fname6@p2(...);
51)
52
53
54@script:python depends on report@
55p1 << r1.p1;
56p2 << r1.p2;
57@@
58msg = "atomic_dec_and_test variation before object free at line %s."
59coccilib.report.print_report(p1[0], msg % (p2[0].line))
60
61@r4 exists@
62identifier a, x, y;
63position p1, p2;
64identifier fname =~ ".*free.*";
65
66@@
67
68(
69 atomic_dec_and_test@p1(&(a)->x)
70|
71 atomic_dec_and_lock@p1(&(a)->x, ...)
72|
73 atomic_long_dec_and_lock@p1(&(a)->x, ...)
74|
75 atomic_long_dec_and_test@p1(&(a)->x)
76|
77 atomic64_dec_and_test@p1(&(a)->x)
78|
79 local_dec_and_test@p1(&(a)->x)
80)
81...
82y=a
83...
84fname@p2(y, ...);
85
86
87@script:python depends on report@
88p1 << r4.p1;
89p2 << r4.p2;
90@@
91msg = "atomic_dec_and_test variation before object free at line %s."
92coccilib.report.print_report(p1[0], msg % (p2[0].line))
93
94@r2 exists@
95identifier a, x;
96position p1;
97@@
98
99(
100atomic_add_unless(&(a)->x,-1,1)@p1
101|
102atomic_long_add_unless(&(a)->x,-1,1)@p1
103|
104atomic64_add_unless(&(a)->x,-1,1)@p1
105)
106
107@script:python depends on report@
108p1 << r2.p1;
109@@
110msg = "atomic_add_unless"
111coccilib.report.print_report(p1[0], msg)
112
113@r3 exists@
114identifier x;
115position p1;
116@@
117
118(
119x = atomic_add_return@p1(-1, ...);
120|
121x = atomic_long_add_return@p1(-1, ...);
122|
123x = atomic64_add_return@p1(-1, ...);
124)
125
126@script:python depends on report@
127p1 << r3.p1;
128@@
129msg = "x = atomic_add_return(-1, ...)"
130coccilib.report.print_report(p1[0], msg)
131