lkml.org 
[lkml]   [2019]   [Sep]   [23]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: sched: make struct task_struct::state 32-bit
From
Date
On 23/09/2019 12:43, Julia Lawall wrote:
>>>> // FIXME: match functions that do something with state_var underneath?
>>>> // How to do recursive rules?
>>>
>>> You want to look at the definitions of called functions? Coccinelle
>>> doesn't really support that, but there are hackish ways to add that. How
>>> many function calls would you expect have to be unrolled?
>>>
>>
>> I wouldn't expect more than a handful (~5). I suppose this has to do with
>> injecting some Python/Ocaml code? I have some examples bookmarked but
>> haven't gotten to stare at them long enough.
>
> You can look at iteration.cocci, but it's a bit complex.
>
> You could match definitions of functions that do what you are interested
> in, then store the names of these functions in a list (python/ocaml), and
> then look for calls to those functions. Something like
>
> identifier fn : script:ocaml() { in_my_list fn };
>

That seems promising, will try to have a look when I get some spare cycles.
Thanks for the pointers!

\
 
 \ /
  Last update: 2019-09-23 15:25    [W:0.890 / U:0.152 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site