Julia Lawall fc8d713ecd
drivers/ipack/devices/ipoctal.c: adjust duplicate test ...
Delete successive tests to the same location. The code tested the result
of a previous allocation, that itself was already tested. It is changed to
test the result of the most recent allocation.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/ )
// <smpl>
@s exists@
local idexpression y;
expression x,e;
@@
*if ( \(x == NULL\|IS_ERR(x)\|y != 0\) )
{ ... when forall
return ...; }
... when != \(y = e\|y += e\|y -= e\|y |= e\|y &= e\|y++\|y--\|&y\)
when != \(XT_GETPAGE(...,y)\|WMI_CMD_BUF(...)\)
*if ( \(x == NULL\|IS_ERR(x)\|y != 0\) )
{ ... when forall
return ...; }
// </smpl>
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr >
Cc: Samuel Iglesias Gonsalvez <siglesias@igalia.com >
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org >
2013-01-21 14:29:04 -08:00
2013-01-12 14:00:06 +01:00
2013-01-03 15:57:02 -08:00
2013-01-03 15:57:03 -08:00
2013-01-03 15:57:04 -08:00
2013-01-03 15:57:16 -08:00
2013-01-16 12:34:34 -08:00
2013-01-08 07:31:49 -08:00
2013-01-03 15:57:15 -08:00
2013-01-03 15:57:16 -08:00
2013-01-03 15:57:16 -08:00
2013-01-20 16:04:23 -08:00
2013-01-08 18:53:56 -08:00
2013-01-03 15:57:15 -08:00
2013-01-03 15:57:16 -08:00
2013-01-03 13:11:19 +01:00
2013-01-15 14:18:04 +01:00
2013-01-03 15:57:02 -08:00
2013-01-03 15:57:16 -08:00
2013-01-08 18:53:56 -08:00
2013-01-09 08:43:56 -08:00
2013-01-15 15:42:18 +09:00
2013-01-03 15:57:16 -08:00
2013-01-03 15:57:16 -08:00
2013-01-14 08:45:27 +10:00
2013-01-03 15:57:16 -08:00
2013-01-03 15:57:16 -08:00
2013-01-18 16:03:33 -08:00
2013-01-09 21:47:22 -08:00
2012-12-22 20:13:45 +01:00
2013-01-03 15:57:03 -08:00
2013-01-03 13:11:05 +01:00
2013-01-14 09:08:38 -08:00
2013-01-03 15:57:15 -08:00
2013-01-04 10:30:11 -08:00
2013-01-03 15:57:14 -08:00
2013-01-21 14:29:04 -08:00
2013-01-03 15:57:02 -08:00
2013-01-02 17:58:41 -08:00
2013-01-03 15:57:14 -08:00
2012-12-21 17:08:06 -08:00
2013-01-03 15:57:02 -08:00
2013-01-03 15:57:14 -08:00
2013-01-03 15:57:14 -08:00
2013-01-18 09:31:04 -08:00
2013-01-21 14:29:03 -08:00
2013-01-03 15:57:14 -08:00
2013-01-03 15:57:03 -08:00
2013-01-20 15:48:14 -08:00
2013-01-03 15:57:16 -08:00
2013-01-20 15:48:13 -08:00
2012-12-19 10:58:53 +00:00
2013-01-03 15:57:16 -08:00
2013-01-03 15:57:03 -08:00
2013-01-10 14:35:23 -08:00
2013-01-17 12:07:34 -08:00
2013-01-08 18:53:56 -08:00
2013-01-07 12:33:48 -05:00
2013-01-03 13:10:53 +01:00
2013-01-08 18:53:56 -08:00
2013-01-03 15:57:16 -08:00
2013-01-03 15:57:16 -08:00
2012-12-19 08:19:07 -08:00
2013-01-15 09:38:59 +09:00
2013-01-03 15:57:16 -08:00
2013-01-03 15:57:16 -08:00
2013-01-11 14:54:54 -08:00
2013-01-16 15:57:54 +01:00
2013-01-03 15:57:03 -08:00
2013-01-03 15:57:01 -08:00
2013-01-11 20:57:58 +09:00
2013-01-03 15:57:16 -08:00
2012-12-19 15:11:41 +00:00
2013-01-08 07:31:49 -08:00
2013-01-14 09:08:38 -08:00
2013-01-10 21:00:37 -08:00
2013-01-03 15:57:02 -08:00
2013-01-14 09:07:57 -08:00
2013-01-11 14:54:54 -08:00
2013-01-03 15:57:01 -08:00
2013-01-03 15:57:01 -08:00
2013-01-15 23:43:05 -08:00
2013-01-02 12:07:05 +01:00
2013-01-03 15:57:01 -08:00
2013-01-03 15:57:01 -08:00
2013-01-17 19:11:14 -08:00
2013-01-17 19:11:14 -08:00
fc8d713ecd