Re: [cocci] Searching for lock calls without unlocking (with SmPL)?

[Markus Elfring <Markus.Elfring@web.de>]

> @mark@
> expression x;
> @@
>  action_lock(x);
>  <+... when != action_unlock(x);
>        when exists
> -action_lock(x);
>  ...+>

May I expect a similar outcome as it happens for another source code search pattern
(like the following)?


@mark2@
expression x;
@@
 action_lock(x);
 ... when != action_unlock(x);
     when exists
-action_lock(x);


Another test result (by the software combination “Coccinelle 1.3.0” for example):
Markus_Elfring@Sonne:…/Projekte/Coccinelle/Probe> /usr/bin/spatch ../janitor/show_lock_calls_without_unlock5.cocci test-action_locks-20250725.c
…
@@ -8,7 +8,6 @@ void my_action_test(void)
  if (my_surprise(123))
  {
   my_log("surprised!");
-  action_lock(&blockage2);
   my_log("blocked 2 once more");
   result = 99;
   action_unlock(&blockage2);


Regards,
Markus