Coccinelle: setup_timer: improve messages from setup_timer

Allow messages about multiple timers.

Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
This commit is contained in:
Julia Lawall 2017-08-23 15:11:13 +02:00 committed by Masahiro Yamada
parent 8a16a070ab
commit bc27b77df1
1 changed files with 6 additions and 9 deletions

View File

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