Julia Lawall e045da7d83
drivers/video/carminefb.c: improve error handling ...
This code had an error handling goto to the wrong place, a misplaced
release_mem_region, and a duplicated release_mem_region.
The semantic match that finds the double release_mem_region is as follows:
(http://coccinelle.lip6.fr/ )
// <smpl>
@r@
expression e1,e2,e3;
position p1,p2,p3;
@@
release_mem_region@p1(e1, e2)@p3;
... when != request_mem_region(e1,e2,e3)
release_mem_region(e1, e2)@p2;
@@
expression e <= r.e1,e3;
expression r.e1,e2;
position r.p1,r.p2,r.p3,p!=r.p1;
@@
*release_mem_region(e1, e2)@p3;
... when != e = e3
*release_mem_region@p(e1, e2)@p2;// </smpl>
Signed-off-by: Julia Lawall <julia@diku.dk >
Signed-off-by: Paul Mundt <lethal@linux-sh.org >
2011-01-06 15:46:56 +09:00
2010-10-25 08:19:14 -07:00
2010-11-25 06:50:47 +09:00
2010-11-17 08:59:32 -08:00
2010-03-30 22:02:32 +09:00
2010-12-01 18:18:56 +09:00
2010-10-24 18:16:58 +02:00
2010-10-24 18:16:58 +02:00
2009-06-16 19:47:57 -07:00
2010-10-27 18:03:08 -07:00
2010-08-06 09:25:50 -06:00
2010-10-15 15:53:27 +02:00
2010-10-27 13:43:21 -07:00
2010-03-30 22:02:32 +09:00
2010-12-15 11:17:08 +02:00
2010-12-15 11:16:08 +02:00
2010-03-30 22:02:32 +09:00
2010-11-15 22:40:38 +01:00
2010-10-27 18:03:08 -07:00
2010-12-22 12:57:27 +09:00
2010-03-30 22:02:32 +09:00
2010-11-10 12:04:41 +09:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-08-17 22:15:09 +01:00
2010-05-17 21:37:43 +02:00
2010-10-18 11:03:14 +02:00
2009-04-01 08:59:32 -07:00
2010-03-30 22:02:32 +09:00
2010-10-22 09:43:25 +02:00
2010-03-30 22:02:32 +09:00
2010-07-26 19:08:15 +01:00
2010-10-26 16:52:12 -07:00
2010-08-09 11:25:17 +02:00
2010-11-26 15:06:34 +09:00
2010-11-26 15:06:39 +09:00
2010-11-26 15:06:39 +09:00
2010-05-25 08:07:08 -07:00
2010-08-09 11:25:17 +02:00
2010-03-12 15:52:34 -08:00
2010-08-06 09:25:50 -06:00
2009-01-12 20:56:31 +01:00
2009-01-12 20:56:31 +01:00
2009-01-12 20:56:32 +01:00
2009-01-12 20:56:32 +01:00
2011-01-06 15:46:56 +09:00
2010-03-30 22:02:32 +09:00
2009-05-06 16:36:10 -07:00
2010-08-06 09:25:50 -06:00
2010-08-06 09:25:50 -06:00
2010-08-06 09:25:50 -06:00
2010-03-30 22:02:32 +09:00
2010-05-17 21:37:41 +02:00
2009-12-16 07:20:04 -08:00
2010-05-03 15:42:58 +02:00
2010-08-01 01:42:42 -06:00
2010-07-30 23:29:33 +01:00
2010-12-01 18:18:52 +09:00
2010-03-30 22:02:32 +09:00
2010-09-22 17:22:39 -07:00
2010-03-30 22:02:32 +09:00
2010-10-18 11:03:14 +02:00
2010-03-30 22:02:32 +09:00
2010-06-04 15:21:45 -07:00
2009-05-06 16:36:10 -07:00
2010-11-26 15:05:08 +09:00
2010-10-18 11:03:14 +02:00
2010-10-27 18:03:08 -07:00
2010-11-15 14:52:23 +09:00
2010-05-18 16:19:27 +10:00
2010-08-06 09:25:50 -06:00
2010-05-17 21:37:41 +02:00
2010-08-06 09:25:50 -06:00
2010-03-30 22:02:32 +09:00
2010-10-27 18:03:08 -07:00
2009-01-06 15:59:26 -08:00
2010-03-30 22:02:32 +09:00
2010-05-25 08:07:08 -07:00
2010-05-25 08:07:09 -07:00
2010-03-30 22:02:32 +09:00
2010-08-11 08:59:12 -07:00
2010-03-30 22:02:32 +09:00
2011-01-06 15:45:48 +09:00
2010-08-05 13:26:17 +01:00
2010-11-26 15:06:39 +09:00
2010-08-06 09:25:50 -06:00
2010-02-27 18:31:16 +01:00
2010-02-27 18:31:14 +01:00
2010-11-26 15:06:39 +09:00
2010-03-30 22:02:32 +09:00
2010-10-18 11:03:14 +02:00
2010-12-22 12:56:10 +09:00
2010-12-22 12:56:10 +09:00
2009-01-06 15:59:27 -08:00
2010-06-29 15:29:32 -07:00
2010-03-12 15:52:34 -08:00
2010-08-01 01:42:42 -06:00
2010-03-30 22:02:32 +09:00
2010-08-06 09:25:50 -06:00
2010-08-06 09:25:50 -06:00
2010-02-05 12:22:42 +01:00
2009-01-06 15:59:27 -08:00
2010-03-30 22:02:32 +09:00
2010-07-26 19:08:14 +01:00
2010-07-26 19:08:15 +01:00
2009-08-20 10:29:26 +10:00
2010-02-17 13:23:00 +09:00
2010-10-09 17:07:23 +08:00
2009-06-13 00:09:09 +08:00
2009-12-29 14:11:27 +08:00
2008-12-29 18:00:04 +08:00
2010-10-22 09:43:25 +02:00
2010-12-21 01:05:43 +09:00
2010-05-25 08:07:09 -07:00
2009-06-16 19:47:59 -07:00
2010-12-21 01:05:43 +09:00
2010-05-27 09:12:42 -07:00
2010-03-07 17:04:50 -08:00
2009-04-13 15:04:29 -07:00
2010-05-25 08:07:09 -07:00
2010-03-30 22:02:32 +09:00
2011-01-05 17:22:32 +09:00
2010-11-15 15:01:27 +09:00
2011-01-06 15:43:18 +09:00
2010-09-16 16:36:17 +09:00
2009-04-13 15:04:29 -07:00
2010-02-09 11:13:56 +01:00
2010-03-30 22:02:32 +09:00
2009-12-04 15:39:55 +01:00
2010-04-05 11:37:28 +09:00
2010-08-06 09:25:50 -06:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2009-05-06 16:36:10 -07:00
2010-08-06 09:25:50 -06:00
2010-08-05 13:25:38 +01:00
2010-06-16 18:05:05 +02:00
2009-09-23 07:39:57 -07:00
2010-03-30 22:02:32 +09:00
2010-08-11 23:04:13 +09:30
2010-02-27 18:31:13 +01:00
2010-02-27 18:31:13 +01:00
2010-08-16 15:14:03 +02:00
2010-05-25 08:07:08 -07:00
2010-05-25 08:07:08 -07:00
2010-11-09 18:52:07 +09:00
2010-11-09 18:52:07 +09:00
2010-08-11 23:04:31 +09:30
2010-08-09 20:44:53 -07:00
2010-11-09 18:52:07 +09:00
2010-12-21 01:05:48 +09:00
2010-12-21 01:05:43 +09:00
2010-11-09 18:52:07 +09:00
2010-10-18 10:49:36 -04:00
2010-10-21 16:04:51 +10:00
e045da7d83