From: Julia Lawall <hidden> Date: 2011-06-01 17:12:07
From: Julia Lawall <redacted>
Jump to the end of the function for the clk_disable and clk_put rather than
returning directly.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
// <smpl>
@r exists@
expression e1,e2;
statement S;
@@
e1 = clk_get@p1(...);
... when != e1 = e2
when != clk_put(e1)
when any
if (...) { ... when != clk_put(e1)
when != if (...) { ... clk_put(e1) ... }
* return@p3 ...;
} else S
// </smpl>
Signed-off-by: Julia Lawall <redacted>
---
drivers/char/hw_random/nomadik-rng.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
From: Matt Mackall <hidden> Date: 2011-06-01 17:20:50
On Wed, 2011-06-01 at 19:10 +0200, Julia Lawall wrote:
From: Julia Lawall <redacted>
Jump to the end of the function for the clk_disable and clk_put rather than
returning directly.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
// <smpl>
@r exists@
expression e1,e2;
statement S;
@@
e1 = clk_get@p1(...);
... when != e1 = e2
when != clk_put(e1)
when any
if (...) { ... when != clk_put(e1)
when != if (...) { ... clk_put(e1) ... }
* return@p3 ...;
} else S
// </smpl>
Signed-off-by: Julia Lawall <redacted>
This one also looks good to me.
Signed-off-by: Matt Mackall <redacted>
From: Herbert Xu <hidden> Date: 2011-06-08 13:01:40
On Wed, Jun 01, 2011 at 12:20:46PM -0500, Matt Mackall wrote:
On Wed, 2011-06-01 at 19:10 +0200, Julia Lawall wrote:
quoted
From: Julia Lawall <redacted>
Jump to the end of the function for the clk_disable and clk_put rather than
returning directly.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
// <smpl>
@r exists@
expression e1,e2;
statement S;
@@
e1 = clk_get@p1(...);
... when != e1 = e2
when != clk_put(e1)
when any
if (...) { ... when != clk_put(e1)
when != if (...) { ... clk_put(e1) ... }
* return@p3 ...;
} else S
// </smpl>
Signed-off-by: Julia Lawall <redacted>
This one also looks good to me.
Signed-off-by: Matt Mackall <redacted>