Skip to content

Commit caebf20

Browse files
pflgalak
authored andcommitted
scripts/coccinelle: Update Coccinelle script for unsigned values
Update the script to detect and update more instances of unsigned variable assignments when using all four simple rules of arithmetics. Signed-off-by: Patrik Flykt <[email protected]>
1 parent f7e7f0f commit caebf20

File tree

1 file changed

+80
-0
lines changed

1 file changed

+80
-0
lines changed

scripts/coccinelle/unsigned_suffix.cocci

Lines changed: 80 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,29 @@ constant C;
1515
position p;
1616
@@
1717

18+
(
1819
v = C@p
20+
|
21+
v == C@p
22+
|
23+
v != C@p
24+
|
25+
v <= C@p
26+
|
27+
v >= C@p
28+
|
29+
v += C@p
30+
|
31+
v -= C@p
32+
|
33+
v * C@p
34+
|
35+
v / C@p
36+
|
37+
v *= C@p
38+
|
39+
v /= C@p
40+
)
1941

2042
@script:python r_rewrite@
2143
C << r_unsigned.C;
@@ -33,9 +55,67 @@ constant r_unsigned.C;
3355
identifier r_rewrite.z;
3456
@@
3557

58+
(
3659
v =
3760
- C
3861
+ z
62+
|
63+
v ==
64+
- C
65+
+ z
66+
|
67+
v !=
68+
- C
69+
+ z
70+
|
71+
v <=
72+
- C
73+
+ z
74+
|
75+
v >=
76+
- C
77+
+ z
78+
|
79+
v +=
80+
- C
81+
+ z
82+
|
83+
v -=
84+
- C
85+
+ z
86+
|
87+
v +
88+
- C
89+
+ z
90+
|
91+
v -
92+
- C
93+
+ z
94+
|
95+
v +=
96+
- C
97+
+ z
98+
|
99+
v -=
100+
- C
101+
+ z
102+
|
103+
v *
104+
- C
105+
+ z
106+
|
107+
v /
108+
- C
109+
+ z
110+
|
111+
v *=
112+
- C
113+
+ z
114+
|
115+
v /=
116+
- C
117+
+ z
118+
)
39119

40120
@script: python depends on report@
41121
p << r_unsigned.p;

0 commit comments

Comments
 (0)