Files
linux/drivers/net
Julia Lawall 463889e27e drivers/net: Correct redundant test
res has already been tested.  It seems that this test should be on the
recently returned value mmio.

A simplified version of the semantic match that finds this problem is as
follows: (http://www.emn.fr/x-info/coccinelle/)

// <smpl>
@r exists@
local idexpression x;
expression E;
@@

if (x == NULL || ...) { ... when forall
   return ...; }
... when != \(x=E\|x--\|x++\|--x\|++x\|x-=E\|x+=E\|x|=E\|x&=E\|&x\)
(
*x == NULL
|
*x != NULL
)
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: David S. Miller <davem@davemloft.net>
2009-07-27 11:35:28 -07:00
..
2009-07-16 18:05:20 -07:00
2009-07-06 18:07:52 -07:00
2009-07-12 14:20:04 -07:00
2009-07-27 11:16:06 -07:00
2009-07-03 19:10:51 -07:00
2009-07-05 19:16:44 -07:00
2008-12-08 01:14:16 -08:00
2009-05-26 20:35:02 -07:00
2008-11-25 18:12:49 -08:00
2009-04-24 04:45:33 -07:00
2009-05-29 01:46:27 -07:00
2008-11-25 18:25:32 -08:00
2009-04-04 16:51:14 -07:00
2009-07-26 19:25:49 -07:00
2009-03-02 22:32:48 -08:00
2009-02-15 23:32:01 -08:00
2009-07-21 11:18:30 -07:00
2009-07-21 11:18:30 -07:00
2009-07-21 11:18:30 -07:00
2009-06-21 11:00:33 -05:00
2009-05-29 01:46:27 -07:00
2009-07-23 18:01:01 -07:00
2009-07-06 18:54:51 -07:00
2008-11-25 18:23:59 -08:00
2009-07-27 11:35:28 -07:00
2009-07-05 18:03:33 -07:00
2009-02-04 16:43:44 -08:00
2009-02-26 21:02:19 -08:00
2008-11-25 18:24:57 -08:00
2009-04-16 02:20:08 -07:00
2009-01-06 10:47:44 -08:00
2009-07-06 13:05:11 -07:00
2009-07-06 13:05:13 -07:00
2009-07-22 09:33:08 -07:00
2009-05-29 01:51:22 -07:00
2009-06-08 00:20:20 -07:00
2009-07-20 08:23:26 -07:00
2009-07-20 08:23:26 -07:00
2008-11-25 18:24:38 -08:00
2009-04-16 02:20:16 -07:00
2009-07-20 08:23:26 -07:00
2009-06-25 20:06:34 -07:00
2009-04-16 02:20:21 -07:00
2009-06-18 00:29:08 -07:00
2009-06-03 02:51:04 -07:00
2008-11-10 15:11:56 -05:00
2009-06-19 01:12:52 -07:00
2009-04-29 17:32:34 -07:00
2009-05-25 22:49:56 -07:00
2009-07-26 19:06:46 -07:00
2009-06-17 18:46:54 -07:00
2009-03-27 00:46:48 -07:00
2008-11-25 18:25:49 -08:00
2009-07-12 14:20:04 -07:00
2009-06-08 00:21:48 -07:00
2009-07-23 18:01:02 -07:00
2009-01-11 00:06:36 -08:00