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-17 15:21:29 -07:00
2008-07-26 12:00:07 -07:00
2008-05-21 16:55:59 -07:00
2007-10-12 11:54:41 -07:00
2008-07-31 16:21:14 -07:00
2007-10-16 09:42:58 -07:00
2008-01-25 15:05:48 -08:00
2008-01-25 14:53:35 -08:00
2008-01-25 14:45:34 -08:00
2006-09-24 13:50:45 -07:00
2008-03-03 15:50:21 -08:00
2007-10-12 11:54:38 -07:00
2008-07-14 13:57:14 -07:00
2008-04-18 08:56:05 -07:00
2008-01-25 15:05:44 -08:00
2007-10-22 08:13:21 -07:00
2007-10-12 11:54:39 -07:00
2007-04-26 15:10:40 -07:00
2008-07-31 16:21:14 -07:00
2008-07-26 20:53:14 -04:00
2008-04-18 08:56:04 -07:00
2008-04-18 08:56:04 -07:00
2008-01-25 15:05:46 -08:00
2008-01-25 15:05:44 -08:00
2008-04-19 00:29:24 -04:00
2008-04-18 08:56:11 -07:00
2008-07-31 16:21:14 -07:00
2008-07-31 16:21:14 -07:00
2008-07-14 13:57:15 -07:00
2007-09-20 15:06:09 -07:00
2008-01-25 15:05:43 -08:00
2008-01-25 15:05:43 -08:00
2008-04-18 08:56:07 -07:00
2008-01-25 14:46:01 -08:00
2006-01-03 11:45:47 -08:00
2008-04-18 08:56:11 -07:00
2007-10-12 11:54:36 -07:00
2008-02-03 17:33:42 +02:00
2008-07-31 16:21:13 -07:00
2008-04-18 08:56:07 -07:00
2008-02-06 16:11:29 -08:00
2008-07-31 16:21:14 -07:00
2008-03-10 15:14:07 -07:00
2008-01-25 15:04:24 -08:00
2008-04-18 08:56:04 -07:00
2008-04-18 08:56:03 -07:00
2008-06-16 10:46:52 -07:00
2008-07-17 10:55:51 -07:00
2008-06-16 10:46:52 -07:00
2008-06-16 10:46:52 -07:00
2008-04-18 08:56:10 -07:00
2008-04-18 08:56:10 -07:00
2008-07-31 16:21:14 -07:00
2007-08-09 17:25:07 -07:00
2008-04-30 17:09:54 -07:00
2007-02-12 09:48:46 -08:00
2008-01-25 15:05:44 -08:00
2006-01-03 11:45:47 -08:00
2007-07-20 10:11:58 +09:00
2006-09-20 15:53:40 -07:00
2008-01-25 15:05:46 -08:00
2006-01-03 11:45:47 -08:00