Julia Lawall 68905eb4dc
drivers/net/ehea/ehea_main.c: Release mutex in error handling code ...
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>
2008-07-30 17:23:39 -04:00
2008-07-26 13:25:47 -07:00
2008-07-27 09:46:18 +01:00
2008-07-23 20:29:21 -07:00
2008-07-24 10:47:41 -07:00
2008-07-26 12:00:07 -07:00
2008-07-25 10:53:45 -07:00
2008-07-20 17:43:29 -07:00
2008-07-04 09:52:14 +02:00
2008-07-27 16:46:08 -07:00
2008-07-15 11:01:39 -07:00
2008-06-27 20:03:24 -07:00
2008-07-23 18:37:44 -07:00
2008-07-21 21:55:02 -07:00
2008-07-17 20:20:59 +08:00
2008-07-23 12:03:18 -07:00
2008-07-20 17:24:40 -07:00
2008-07-22 17:30:57 -07:00
2008-07-25 10:53:49 -07:00
2008-07-21 21:54:53 -07:00
2008-07-27 10:24:06 -07:00
2008-07-26 20:16:48 -07:00
2008-07-25 10:53:30 -07:00
2008-07-26 12:00:11 -07:00
2008-07-23 15:26:10 +02:00
2008-07-21 21:54:42 -07:00
2008-07-25 10:53:30 -07:00
2008-07-24 22:53:36 +02:00
2008-07-24 10:47:21 -07:00
2008-07-26 20:40:36 -07:00
2008-07-27 09:46:18 +01:00
2008-07-27 09:58:59 -07:00
2008-07-23 09:49:56 +01:00
2008-07-25 12:06:14 +10:00
2008-07-21 21:54:43 -07:00
2008-07-21 21:54:53 -07:00
2008-07-26 15:14:53 -04:00
2008-07-26 12:00:03 -07:00
2008-07-26 12:00:04 -07:00
2008-07-27 10:04:52 -07:00
2008-07-27 09:46:18 +01:00
2008-07-27 10:03:00 -07:00
2008-07-27 13:57:36 +02:00
2008-07-26 20:30:56 -07:00
2008-07-30 17:23:39 -04:00
2008-07-25 11:08:17 -07:00
2008-07-02 15:06:24 -06:00
2008-07-26 12:00:11 -07:00
2008-07-24 13:57:13 -07:00
2008-07-27 09:46:18 +01:00
2008-07-26 12:00:11 -07:00
2008-07-25 10:53:28 -07:00
2008-07-10 18:04:43 -07:00
2008-07-24 10:47:34 -07:00
2008-07-27 11:35:47 +03:00
2008-07-21 21:55:03 -07:00
2008-07-27 10:04:52 -07:00
2008-07-24 10:47:30 -07:00
2008-07-26 12:00:03 -07:00
2008-07-08 16:30:17 -07:00
2008-07-25 10:53:43 -07:00
2008-06-25 19:25:42 -04:00
2008-07-21 21:54:55 -07:00
2008-07-26 20:40:09 -07:00
2008-07-27 09:46:18 +01:00
2008-07-25 12:06:14 +10:00
2008-07-16 19:30:07 +02:00
2008-07-24 10:47:24 -07:00
2008-07-21 21:55:02 -07:00
2008-07-24 10:47:13 -07:00
2008-07-25 10:53:30 -07:00
68905eb4dc