* [PATCH] Coccinelle: setup_timer: improve messages from setup_timer
@ 2017-08-23 13:11 Julia Lawall
2017-11-07 0:19 ` Masahiro Yamada
0 siblings, 1 reply; 3+ messages in thread
From: Julia Lawall @ 2017-08-23 13:11 UTC (permalink / raw)
To: Julia Lawall
Cc: kernel-janitors, Gilles Muller, Nicolas Palix, Michal Marek,
cocci, linux-kernel, Kees Cook, Vaishali Thakkar
Allow messages about multiple timers.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
---
scripts/coccinelle/api/setup_timer.cocci | 15 ++++++---------
1 file changed, 6 insertions(+), 9 deletions(-)
diff --git a/scripts/coccinelle/api/setup_timer.cocci b/scripts/coccinelle/api/setup_timer.cocci
index eb6bd9e..b5ab031 100644
--- a/scripts/coccinelle/api/setup_timer.cocci
+++ b/scripts/coccinelle/api/setup_timer.cocci
@@ -104,11 +104,9 @@ position j0, j1, j2;
)
@match_function_and_data_after_init_timer_context
-depends on !patch &&
-!match_immediate_function_data_after_init_timer_context &&
- (context || org || report)@
+depends on !patch && (context || org || report)@
expression a, b, e1, e2, e3, e4, e5;
-position j0, j1, j2;
+position j0 != match_immediate_function_data_after_init_timer_context.j0,j1,j2;
@@
* init_timer@j0 (&e1);
@@ -124,13 +122,12 @@ position j0, j1, j2;
* e1@j2.function = a;
)
-@r3_context depends on !patch &&
-!match_immediate_function_data_after_init_timer_context &&
-!match_function_and_data_after_init_timer_context &&
- (context || org || report)@
+@r3_context depends on !patch && (context || org || report)@
expression c, e6, e7;
position r1.p;
-position j0, j1;
+position j0 !=
+ {match_immediate_function_data_after_init_timer_context.j0,
+ match_function_and_data_after_init_timer_context.j0}, j1;
@@
* init_timer@j0@p (&e6);
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] Coccinelle: setup_timer: improve messages from setup_timer
2017-08-23 13:11 [PATCH] Coccinelle: setup_timer: improve messages from setup_timer Julia Lawall
@ 2017-11-07 0:19 ` Masahiro Yamada
2017-11-08 13:05 ` Julia Lawall
0 siblings, 1 reply; 3+ messages in thread
From: Masahiro Yamada @ 2017-11-07 0:19 UTC (permalink / raw)
To: Julia Lawall
Cc: kernel-janitors, Gilles Muller, Nicolas Palix, Michal Marek,
cocci, Linux Kernel Mailing List, Kees Cook, Vaishali Thakkar
2017-08-23 22:11 GMT+09:00 Julia Lawall <Julia.Lawall@lip6.fr>:
> Allow messages about multiple timers.
>
> Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
>
> ---
Applied to linux-kbuild/misc.
--
Best Regards
Masahiro Yamada
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] Coccinelle: setup_timer: improve messages from setup_timer
2017-11-07 0:19 ` Masahiro Yamada
@ 2017-11-08 13:05 ` Julia Lawall
0 siblings, 0 replies; 3+ messages in thread
From: Julia Lawall @ 2017-11-08 13:05 UTC (permalink / raw)
To: Masahiro Yamada
Cc: Julia Lawall, kernel-janitors, Gilles Muller, Nicolas Palix,
Michal Marek, cocci, Linux Kernel Mailing List, Kees Cook,
Vaishali Thakkar
On Tue, 7 Nov 2017, Masahiro Yamada wrote:
> 2017-08-23 22:11 GMT+09:00 Julia Lawall <Julia.Lawall@lip6.fr>:
> > Allow messages about multiple timers.
> >
> > Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
> >
> > ---
>
>
> Applied to linux-kbuild/misc.
Thanks!
julia
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2017-11-08 13:06 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-08-23 13:11 [PATCH] Coccinelle: setup_timer: improve messages from setup_timer Julia Lawall
2017-11-07 0:19 ` Masahiro Yamada
2017-11-08 13:05 ` Julia Lawall
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®