Author: Julia Lawall <julia@diku.dk> Adjust the error handling code so that it benefits from the call to mutex_unlock at the end of the function. The semantic match that finds this problem is as follows: (http://coccinelle.lip6.fr/) // @rcu exists@ position p1; expression E; @@ mutex_lock@p1(E); … mutex_unlock(E); @exists@ position rcu.p1; expression E; @@ *mutex_lock@p1(E); … when …