On Fri, 7 Jun 2024, Markus Elfring wrote: > > I'm not the one to decide whether we should use cleanup for mutex locks. > > Would you become interested to support the conversion of another tiny script > (like the following) for the semantic patch language into a corresponding > SmPL script variant which can be used together with the tool “coccicheck” > any more? > > @replacement@ > expression e; > @@ > -raw_spin_lock > +guard(raw_spinlock_irq) > (&e); > ... when != e > when any > -raw_spin_unlock(&e); What exactly is the problem? I tried this rule and it worked fine. There were a few issues of inconsistent control-flow paths, but it made 325 changes. julia
