mirror of
https://github.com/AuxXxilium/linux_dsm_epyc7002.git
synced 2024-11-26 05:30:53 +07:00
68905eb4dc
The mutex is released on a successful return, so it would seem that it should be released on an error return as well. The semantic patch finds this problem is as follows: (http://www.emn.fr/x-info/coccinelle/) // <smpl> @@ expression l; @@ mutex_lock(l); ... when != mutex_unlock(l) when any when strict ( if (...) { ... when != mutex_unlock(l) + mutex_unlock(l); return ...; } | mutex_unlock(l); ) // </smpl> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Jeff Garzik <jgarzik@redhat.com> |
||
|---|---|---|
| .. | ||
| ehea_ethtool.c | ||
| ehea_hcall.h | ||
| ehea_hw.h | ||
| ehea_main.c | ||
| ehea_phyp.c | ||
| ehea_phyp.h | ||
| ehea_qmr.c | ||
| ehea_qmr.h | ||
| ehea.h | ||
| Makefile | ||