12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667 |
- /// Use kmemdup rather than duplicating its implementation
- ///
- // Confidence: High
- // Copyright: (C) 2010-2012 Nicolas Palix. GPLv2.
- // Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. GPLv2.
- // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2.
- // URL: http://coccinelle.lip6.fr/
- // Comments:
- // Options: --no-includes --include-headers
- virtual patch
- virtual context
- virtual org
- virtual report
- @r1@
- expression from,to;
- expression flag;
- position p;
- @@
- to = \(kmalloc@p\|kzalloc@p\)(strlen(from) + 1,flag);
- @r2@
- expression x,from,to;
- expression flag,E1;
- position p;
- @@
- x = strlen(from) + 1;
- ... when != \( x = E1 \| from = E1 \)
- to = \(kmalloc@p\|kzalloc@p\)(x,flag);
- @depends on patch@
- expression from,to,size,flag;
- position p != {r1.p,r2.p};
- statement S;
- @@
- - to = \(kmalloc@p\|kzalloc@p\)(size,flag);
- + to = kmemdup(from,size,flag);
- if (to==NULL || ...) S
- - memcpy(to, from, size);
- @r depends on !patch@
- expression from,to,size,flag;
- position p != {r1.p,r2.p};
- statement S;
- @@
- * to = \(kmalloc@p\|kzalloc@p\)(size,flag);
- to = kmemdup(from,size,flag);
- if (to==NULL || ...) S
- * memcpy(to, from, size);
- @script:python depends on org@
- p << r.p;
- @@
- coccilib.org.print_todo(p[0], "WARNING opportunity for kmemdep")
- @script:python depends on report@
- p << r.p;
- @@
- coccilib.report.print_report(p[0], "WARNING opportunity for kmemdep")
|