Re: [Cocci] Determination of an usage statistic for memory allocation calls

2020-10-18 Thread Markus Elfring
> > Can such facts influence the specification of efficient SmPL disjunctions > > another bit? > > On my machine, putting the three functions that you have foudn to be the > most frequent at the end of each disjunction has no impact on the performance. I propose to reconsider this view. > So

Re: [Cocci] Determination of an usage statistic for memory allocation calls

2020-10-18 Thread Julia Lawall
On Sun, 18 Oct 2020, Markus Elfring wrote: > > … > > > +E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\| > > > + kmalloc_node\|kzalloc_node\|kmalloc_array\| > > > + kmalloc_array_node\|kcalloc_node\)(...)@kok > > … > > > > How do you think about the possibility for any

Re: [Cocci] Determination of an usage statistic for memory allocation calls

2020-10-18 Thread Markus Elfring
> … > > +E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\| > > + kmalloc_node\|kzalloc_node\|kmalloc_array\| > > + kmalloc_array_node\|kcalloc_node\)(...)@kok > … > > How do you think about the possibility for any adjustments according to the > order > of the mentioned function