125 lines
1.4 KiB
Plaintext
125 lines
1.4 KiB
Plaintext
/// Find assignments to unsigned variables and add an 'U' to the value
|
|
// Copyright: (C) 2018 Intel Corporation
|
|
// Copyright: (C) 2018 Himanshu Jha
|
|
// Copyright: (C) 2018 Julia Lawall, Inria/LIP6
|
|
// SPDX-License-Identifier: Apache-2.0
|
|
// Confidence: High
|
|
|
|
virtual patch
|
|
virtual report
|
|
|
|
@r_unsigned@
|
|
typedef uint8_t, uint16_t, uint32_t, uint64_t, u8_t, u16_t, u32_t, u64_t;
|
|
{unsigned char, unsigned short, unsigned int, uint8_t, uint16_t, uint32_t, uint64_t, u8_t, u16_t, u32_t, u64_t} v;
|
|
constant C;
|
|
position p;
|
|
@@
|
|
|
|
(
|
|
v = C@p
|
|
|
|
|
v == C@p
|
|
|
|
|
v != C@p
|
|
|
|
|
v <= C@p
|
|
|
|
|
v >= C@p
|
|
|
|
|
v += C@p
|
|
|
|
|
v -= C@p
|
|
|
|
|
v * C@p
|
|
|
|
|
v / C@p
|
|
|
|
|
v *= C@p
|
|
|
|
|
v /= C@p
|
|
)
|
|
|
|
@script:python r_rewrite@
|
|
C << r_unsigned.C;
|
|
z;
|
|
@@
|
|
|
|
if C.isdigit() != True:
|
|
cocci.include_match(False)
|
|
|
|
coccinelle.z = C + "U"
|
|
|
|
@r_subst depends on patch@
|
|
{unsigned char, unsigned short, unsigned int, uint8_t, uint16_t, uint32_t, uint64_t, u8_t, u16_t, u32_t, u64_t} r_unsigned.v;
|
|
constant r_unsigned.C;
|
|
identifier r_rewrite.z;
|
|
@@
|
|
|
|
(
|
|
v =
|
|
- C
|
|
+ z
|
|
|
|
|
v ==
|
|
- C
|
|
+ z
|
|
|
|
|
v !=
|
|
- C
|
|
+ z
|
|
|
|
|
v <=
|
|
- C
|
|
+ z
|
|
|
|
|
v >=
|
|
- C
|
|
+ z
|
|
|
|
|
v +=
|
|
- C
|
|
+ z
|
|
|
|
|
v -=
|
|
- C
|
|
+ z
|
|
|
|
|
v +
|
|
- C
|
|
+ z
|
|
|
|
|
v -
|
|
- C
|
|
+ z
|
|
|
|
|
v +=
|
|
- C
|
|
+ z
|
|
|
|
|
v -=
|
|
- C
|
|
+ z
|
|
|
|
|
- v * C
|
|
+ v * z
|
|
|
|
|
v /
|
|
- C
|
|
+ z
|
|
|
|
|
v *=
|
|
- C
|
|
+ z
|
|
|
|
|
v /=
|
|
- C
|
|
+ z
|
|
)
|
|
|
|
@script: python depends on report@
|
|
p << r_unsigned.p;
|
|
@@
|
|
|
|
msg="WARNING: Unsigned 'U' suffix missing"
|
|
coccilib.report.print_report(p[0], msg)
|