| Nicolas Palix | 0426a97 | 2010-08-24 17:39:06 +0200 | [diff] [blame] | 1 | /// Use kmemdup rather than duplicating its implementation | 
|  | 2 | /// | 
|  | 3 | // Confidence: High | 
|  | 4 | // Copyright: (C) 2010 Nicolas Palix, DIKU.  GPLv2. | 
|  | 5 | // Copyright: (C) 2010 Julia Lawall, DIKU.  GPLv2. | 
|  | 6 | // Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.  GPLv2. | 
|  | 7 | // URL: http://coccinelle.lip6.fr/ | 
|  | 8 | // Comments: | 
|  | 9 | // Options: -no_includes -include_headers | 
|  | 10 |  | 
|  | 11 | virtual patch | 
|  | 12 |  | 
|  | 13 | @r1@ | 
|  | 14 | expression from,to; | 
|  | 15 | expression flag; | 
|  | 16 | position p; | 
|  | 17 | @@ | 
|  | 18 |  | 
|  | 19 | to = \(kmalloc@p\|kzalloc@p\)(strlen(from) + 1,flag); | 
|  | 20 |  | 
|  | 21 | @r2@ | 
|  | 22 | expression x,from,to; | 
|  | 23 | expression flag,E1; | 
|  | 24 | position p; | 
|  | 25 | @@ | 
|  | 26 |  | 
|  | 27 | x = strlen(from) + 1; | 
|  | 28 | ... when != \( x = E1 \| from = E1 \) | 
|  | 29 | to = \(kmalloc@p\|kzalloc@p\)(x,flag); | 
|  | 30 |  | 
|  | 31 | @@ | 
|  | 32 | expression from,to,size,flag; | 
|  | 33 | position p != {r1.p,r2.p}; | 
|  | 34 | statement S; | 
|  | 35 | @@ | 
|  | 36 |  | 
|  | 37 | -  to = \(kmalloc@p\|kzalloc@p\)(size,flag); | 
|  | 38 | +  to = kmemdup(from,size,flag); | 
|  | 39 | if (to==NULL || ...) S | 
|  | 40 | -  memcpy(to, from, size); |