Re: [Cocci] Match variable declaration with init expression

2020-07-31 Thread Julia Lawall
On Fri, 31 Jul 2020, Denis Efremov wrote: > Hi, > > This pattern: > - E = kzalloc(size, flags | __GFP_NOWARN); > - if (\(!E\|E == null\))@p > - E = vzalloc(size); > + E = kvzalloc(size, flags); > > matches this code: > void *p; > p = kzalloc(size, gfp | __GFP_NOWARN); > > if (!p) > p =

[Cocci] Match variable declaration with init expression

2020-07-31 Thread Denis Efremov
Hi, This pattern: - E = kzalloc(size, flags | __GFP_NOWARN); - if (\(!E\|E == null\))@p - E = vzalloc(size); + E = kvzalloc(size, flags); matches this code: void *p; p = kzalloc(size, gfp | __GFP_NOWARN); if (!p) p = vzalloc(size); But not this: void *p = kzalloc(size, gfp |