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

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

> Would you get into the mood to clarify data processing challenges better
> for another source code search pattern (like the following)?

How reasonable would you find a test result for another source code search approach?


@display@
expression x, y;
@@
 action_lock(x);
 ... when != action_unlock(x);
*action_lock(y);


Markus_Elfring@Sonne:…/Projekte/Coccinelle/Probe> time /usr/bin/spatch ../janitor/show_second_lock_call_variant.cocci test-action_locks-20250725.c
…
@@ -2,13 +2,11 @@ void my_action_test(void)
 {
  action_lock(&blockage1);
  my_log("blocked 1");
- action_lock(&blockage2);
  my_log("blocked 2");
 
  if (my_surprise(123))
  {
   my_log("surprised!");
-  action_lock(&blockage2);
   my_log("blocked 2 once more");
   result = 99;
   action_unlock(&blockage2);

real    0m0,067s
user    0m0,045s
sys     0m0,021s


Regards,
Markus