diff options
author | Jérémy Lefaure <jeremy.lefaure@lse.epita.fr> | 2017-12-29 13:14:23 -0500 |
---|---|---|
committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2018-01-16 09:38:52 -0500 |
commit | cb00a4f3dbd622acea1059c9da40131b8733d24e (patch) | |
tree | 29e20df957caf2ad9310cf29ec2bdee8437fa932 | |
parent | 5e2d9da5b9ba350a4f13bd3b255be046bcf86465 (diff) |
Coccinelle: array_size: report even if include is missing
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>
-rw-r--r-- | scripts/coccinelle/misc/array_size.cocci | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/coccinelle/misc/array_size.cocci b/scripts/coccinelle/misc/array_size.cocci index 6ec05710b017..09520f0941f0 100644 --- a/scripts/coccinelle/misc/array_size.cocci +++ b/scripts/coccinelle/misc/array_size.cocci | |||
@@ -72,13 +72,13 @@ position p; | |||
72 | (sizeof(E)@p /sizeof(T)) | 72 | (sizeof(E)@p /sizeof(T)) |
73 | ) | 73 | ) |
74 | 74 | ||
75 | @script:python depends on i&&org@ | 75 | @script:python depends on org@ |
76 | p << r.p; | 76 | p << r.p; |
77 | @@ | 77 | @@ |
78 | 78 | ||
79 | coccilib.org.print_todo(p[0], "WARNING should use ARRAY_SIZE") | 79 | coccilib.org.print_todo(p[0], "WARNING should use ARRAY_SIZE") |
80 | 80 | ||
81 | @script:python depends on i&&report@ | 81 | @script:python depends on report@ |
82 | p << r.p; | 82 | p << r.p; |
83 | @@ | 83 | @@ |
84 | 84 | ||