coccinelle/free/kfree.cocci

1 // SPDX-License-Identifier: GPL-2.0-only
9 // Copyright: (C) 2010-2012 Nicolas Palix.
10 // Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
11 // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
14 // Options: --no-includes --include-headers
21 position p1;
25  kfree@p1(E)
27  kfree_sensitive@p1(E)
83 position free.p1!=loop.ok,p2!={print.p,sz.p};
87  kfree@p1(E,...)
89  kfree_sensitive@p1(E,...)
103  --subE
105  subE--
121 p1 << free.p1;
125 cocci.print_main("kfree",p1)
129 p1 << free.p1;
133 msg = "ERROR: reference preceded by free on line %s" % (p1[0].line)