diff options
author | Julia Lawall <Julia.Lawall@lip6.fr> | 2013-01-21 14:02:51 +0100 |
---|---|---|
committer | Herbert Xu <herbert@gondor.apana.org.au> | 2013-02-04 21:16:52 +0800 |
commit | 7b5c253c88ae5f6770e426b1d3f135be75483200 (patch) | |
tree | 0d41aa0ddba3b50631781da69a786b178e14745c /mm/kmemcheck.c | |
parent | 7983627657db5e37594af5c28cdb623855eb554f (diff) | |
download | op-kernel-dev-7b5c253c88ae5f6770e426b1d3f135be75483200.zip op-kernel-dev-7b5c253c88ae5f6770e426b1d3f135be75483200.tar.gz |
crypto: atmel-aes - 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>
Acked-by: David S. Miller <davem@davemloft.net>
Signed-off-by: Herbert Xu <herbert@gondor.apana.org.au>
Diffstat (limited to 'mm/kmemcheck.c')
0 files changed, 0 insertions, 0 deletions