![Jérémy Lefaure](/assets/img/avatar_default.png)
Rule r does not depend on rule i (which is the include of linux/kernel.h) so the output should not depend on i in org and report mode. Signed-off-by: Jérémy Lefaure <jeremy.lefaure@lse.epita.fr> Acked-by: Julia Lawall <julia.lawall@lip6.fr> Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
88 lines
1.7 KiB
Plaintext
88 lines
1.7 KiB
Plaintext
/// Use ARRAY_SIZE instead of dividing sizeof array with sizeof an element
|
|
///
|
|
//# This makes an effort to find cases where ARRAY_SIZE can be used such as
|
|
//# where there is a division of sizeof the array by the sizeof its first
|
|
//# element or by any indexed element or the element type. It replaces the
|
|
//# division of the two sizeofs by ARRAY_SIZE.
|
|
//
|
|
// Confidence: High
|
|
// Copyright: (C) 2014 Himangi Saraogi. GPLv2.
|
|
// Comments:
|
|
// Options: --no-includes --include-headers
|
|
|
|
virtual patch
|
|
virtual context
|
|
virtual org
|
|
virtual report
|
|
|
|
@i@
|
|
@@
|
|
|
|
#include <linux/kernel.h>
|
|
|
|
//----------------------------------------------------------
|
|
// For context mode
|
|
//----------------------------------------------------------
|
|
|
|
@depends on i&&context@
|
|
type T;
|
|
T[] E;
|
|
@@
|
|
(
|
|
* (sizeof(E)/sizeof(*E))
|
|
|
|
|
* (sizeof(E)/sizeof(E[...]))
|
|
|
|
|
* (sizeof(E)/sizeof(T))
|
|
)
|
|
|
|
//----------------------------------------------------------
|
|
// For patch mode
|
|
//----------------------------------------------------------
|
|
|
|
@depends on i&&patch@
|
|
type T;
|
|
T[] E;
|
|
@@
|
|
(
|
|
- (sizeof(E)/sizeof(*E))
|
|
+ ARRAY_SIZE(E)
|
|
|
|
|
- (sizeof(E)/sizeof(E[...]))
|
|
+ ARRAY_SIZE(E)
|
|
|
|
|
- (sizeof(E)/sizeof(T))
|
|
+ ARRAY_SIZE(E)
|
|
)
|
|
|
|
//----------------------------------------------------------
|
|
// For org and report mode
|
|
//----------------------------------------------------------
|
|
|
|
@r depends on (org || report)@
|
|
type T;
|
|
T[] E;
|
|
position p;
|
|
@@
|
|
(
|
|
(sizeof(E)@p /sizeof(*E))
|
|
|
|
|
(sizeof(E)@p /sizeof(E[...]))
|
|
|
|
|
(sizeof(E)@p /sizeof(T))
|
|
)
|
|
|
|
@script:python depends on org@
|
|
p << r.p;
|
|
@@
|
|
|
|
coccilib.org.print_todo(p[0], "WARNING should use ARRAY_SIZE")
|
|
|
|
@script:python depends on report@
|
|
p << r.p;
|
|
@@
|
|
|
|
msg="WARNING: Use ARRAY_SIZE"
|
|
coccilib.report.print_report(p[0], msg)
|
|
|