Re: [cocci] Searching for questionable call pairs (with SmPL)?

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

> Will another clarification become more interesting?

Another source code search approach can eventually help to influence
some software understanding into more desirable directions.


@display@
@@
(mutex_lock
|mutex_unlock
)(
*...
 );


Another test result (by the software combination “Coccinelle 1.3.0” for example):
Markus_Elfring@Sonne:…/Projekte/Linux/next-analyses> git checkout next-20250722 && /usr/bin/spatch --no-loops sound/usb/qcom/qc_audio_offload.c …/Projekte/Coccinelle/janitor/show_data_for_mutex_lock_and_unlock_calls.cocci | grep -E '^-\s+mutex_' | wc -l
… 
39

* Will such information trigger further collateral evolution?

* Would lock guards become applicable at more source code places?
  https://elixir.bootlin.com/linux/v6.16-rc7/source/include/linux/mutex.h#L225


Regards,
Markus