From: Julia Lawall ju...@diku.dk
The label outnodev is only used when kzalloc has not yet taken place or has
failed, so there is no need for the call for kfree under this label.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
//
At Sat, 20 Aug 2011 08:12:41 +0200,
Julia Lawall wrote:
From: Julia Lawall ju...@diku.dk
The label outnodev is only used when kzalloc has not yet taken place or has
failed, so there is no need for the call for kfree under this label.
A simplified version of the semantic match that finds