| 
									
										
										
										
											2010-08-24 17:39:06 +02:00
										 |  |  | /// Use kmemdup rather than duplicating its implementation | 
					
						
							|  |  |  | /// | 
					
						
							|  |  |  | // Confidence: High | 
					
						
							| 
									
										
										
										
											2012-01-14 23:41:54 +01:00
										 |  |  | // 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. | 
					
						
							| 
									
										
										
										
											2010-08-24 17:39:06 +02:00
										 |  |  | // URL: http://coccinelle.lip6.fr/ | 
					
						
							|  |  |  | // Comments: | 
					
						
							| 
									
										
										
										
											2013-06-20 13:10:56 +02:00
										 |  |  | // Options: --no-includes --include-headers | 
					
						
							| 
									
										
										
										
											2010-08-24 17:39:06 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | virtual patch | 
					
						
							| 
									
										
										
										
											2012-01-14 23:41:54 +01:00
										 |  |  | virtual context | 
					
						
							|  |  |  | virtual org | 
					
						
							|  |  |  | virtual report | 
					
						
							| 
									
										
										
										
											2010-08-24 17:39:06 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | @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); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-01-14 23:41:54 +01:00
										 |  |  | @depends on patch@ | 
					
						
							| 
									
										
										
										
											2010-08-24 17:39:06 +02:00
										 |  |  | 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); | 
					
						
							| 
									
										
										
										
											2012-01-14 23:41:54 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | @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") |