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; |
