diff options
author | Julia Lawall <Julia.Lawall@lip6.fr> | 2016-01-30 10:27:04 -0500 |
---|---|---|
committer | Michal Marek <mmarek@suse.com> | 2016-02-18 16:05:30 -0500 |
commit | 8f551befa2269dc244bcfbcad795132f833cb71c (patch) | |
tree | 03ca57d323adc3e09bdf4ab4f2ba7f20a33dd8d3 /scripts | |
parent | 0a9e7da660b09f5304bf2b4d3fa8abc938af439a (diff) |
Coccinelle: reduce rule applicability
Rule r is only use in org or report mode, so only execute it in those
cases.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.com>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/coccinelle/misc/badty.cocci | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccinelle/misc/badty.cocci b/scripts/coccinelle/misc/badty.cocci index 2fc06fc71927..481cf301ccfc 100644 --- a/scripts/coccinelle/misc/badty.cocci +++ b/scripts/coccinelle/misc/badty.cocci | |||
@@ -50,7 +50,7 @@ T **x; | |||
50 | // For org and report mode | 50 | // For org and report mode |
51 | //---------------------------------------------------------- | 51 | //---------------------------------------------------------- |
52 | 52 | ||
53 | @r disable sizeof_type_expr@ | 53 | @r depends on (org || report) disable sizeof_type_expr@ |
54 | type T; | 54 | type T; |
55 | T **x; | 55 | T **x; |
56 | position p; | 56 | position p; |