Julia Lawall
c259ae52e2
[PATCH] ocfs2: 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: Mark Fasheh <mfasheh@suse.com>
2008-07-31 16:21:14 -07:00
..
2008-07-03 09:59:03 -05:00
2008-07-26 12:00:07 -07:00
2008-07-26 20:53:40 -04:00
2008-07-26 20:53:14 -04:00
2008-07-24 10:47:33 -07:00
2008-07-26 12:00:07 -07:00
2008-07-26 12:00:07 -07:00
2008-07-26 20:53:14 -04:00
2008-07-26 20:53:34 -04:00
2008-07-31 16:21:13 -07:00
2008-07-21 21:54:59 -07:00
2008-04-30 08:29:48 -07:00
2008-07-28 09:46:00 -07:00
2008-07-28 16:30:21 -07:00
2008-07-26 12:00:07 -07:00
2008-04-30 08:29:54 -07:00
2008-07-28 16:30:21 -07:00
2008-07-28 16:30:21 -07:00
2008-07-28 16:30:21 -07:00
2008-07-26 20:53:27 -04:00
2008-04-29 08:06:00 -07:00
2008-07-26 20:53:21 -04:00
2008-07-26 20:53:36 -04:00
2008-07-26 20:53:40 -04:00
2008-07-26 20:53:40 -04:00
2008-07-26 20:53:14 -04:00
2008-07-26 20:53:13 -04:00
2008-07-26 20:53:07 -04:00
2008-07-26 12:00:07 -07:00
2008-07-26 12:00:07 -07:00
2008-07-25 10:53:32 -07:00
2008-07-11 19:27:31 -04:00
2008-07-26 20:30:56 -07:00
2008-07-26 20:53:14 -04:00
2008-07-25 10:53:47 -07:00
2008-07-26 12:00:07 -07:00
2008-07-25 10:53:34 -07:00
2008-07-26 20:53:37 -04:00
2008-07-27 18:20:51 -04:00
2008-07-26 20:53:42 -04:00
2008-07-26 20:53:16 -04:00
2008-07-31 16:21:14 -07:00
2008-07-30 09:41:46 -07:00
2008-07-26 12:00:07 -07:00
2008-07-25 10:53:44 -07:00
2008-07-27 16:12:28 -07:00
2008-07-26 12:00:07 -07:00
2008-07-04 09:52:14 +02:00
2008-07-26 20:53:14 -04:00
2008-07-30 14:30:34 -07:00
2008-07-26 20:53:14 -04:00
2008-07-26 12:00:07 -07:00
2008-07-26 12:00:07 -07:00
2008-07-26 20:53:42 -04:00
2008-07-26 12:00:07 -07:00
2008-07-26 12:00:07 -07:00
2008-07-25 10:53:34 -07:00
2008-07-26 20:53:34 -04:00
2008-07-26 20:53:40 -04:00
2008-07-24 10:47:28 -07:00
2008-07-26 20:53:28 -04:00
2008-07-26 20:53:14 -04:00
2008-07-26 12:00:08 -07:00
2008-07-28 18:10:28 +09:00
2008-07-26 12:00:08 -07:00
2008-04-29 08:06:04 -07:00
2008-07-26 12:00:08 -07:00
2008-07-24 10:47:27 -07:00
2008-04-29 08:06:04 -07:00
2008-07-26 12:00:08 -07:00
2008-07-28 16:30:21 -07:00
2008-07-26 12:00:06 -07:00
2008-07-26 12:00:07 -07:00
2008-07-30 09:41:46 -07:00
2008-06-20 14:05:53 -06:00
2008-07-25 10:53:34 -07:00
2008-07-26 20:53:34 -04:00
2008-07-26 12:00:02 -07:00
2008-07-26 12:00:06 -07:00
2008-05-01 13:08:16 -04:00
2008-07-25 10:53:35 -07:00
2008-04-29 08:06:05 -07:00
2008-07-24 10:47:29 -07:00
2008-07-24 10:47:29 -07:00
2008-07-28 16:30:20 -07:00
2008-07-26 20:53:45 -04:00
2008-07-26 20:53:06 -04:00
2008-07-26 20:53:40 -04:00
2008-07-26 20:53:45 -04:00
2008-07-14 19:10:52 +03:00
2008-07-26 12:00:07 -07:00
2008-07-26 20:53:34 -04:00
2008-04-29 08:06:00 -07:00
2008-07-26 12:00:05 -07:00
2008-07-28 18:10:28 +09:00
2008-07-30 09:41:44 -07:00
2008-07-26 12:00:07 -07:00
2008-07-26 12:00:05 -07:00
2008-07-11 19:27:31 -04:00
2008-07-26 20:53:41 -04:00
2008-07-26 20:53:34 -04:00
2008-07-26 20:53:45 -04:00
2008-07-26 20:53:06 -04:00
2008-07-25 10:53:35 -07:00
2008-07-25 10:53:35 -07:00
2008-07-25 10:53:35 -07:00
2008-07-02 15:06:27 -06:00
2008-06-22 12:23:15 -07:00
2008-07-24 10:47:29 -07:00
2008-07-26 20:53:16 -04:00
2008-07-26 20:53:34 -04:00
2008-07-24 10:47:15 -07:00
2008-07-24 10:47:17 -07:00
2008-07-24 10:47:29 -07:00
2008-07-26 20:53:34 -04:00
2008-07-26 20:53:34 -04:00