From: Julia Lawall
The cleanup code at the end of the function should also be carried out when
the function only partly completes its work.
A simplified version of the semantic match that finds this problem is:
(http://coccinelle.lip6.fr/)
//
@r exists@
local idexpression struct page ** x;
exp
From: Julia Lawall
The cleanup code at the end of the function should also be carried out when
the function only partly completes its work.
A simplified version of the semantic match that finds this problem is:
(http://coccinelle.lip6.fr/)
//
@r exists@
local idexpression struct page ** x;
exp