On 05/09/2019 16:51, Markus Elfring wrote:
> Can a transformation approach like the following work also
> for your software?
>
> @replacement@
>
> identifier func, p, state_var;
>
> @@
>
> func(...,
> struct task_struct *p,
> ...
> ,
> - long
> + int
> state_var
> ,
> ...)
>
> {
>
> ...
>
> }
>
>
I actually got rid of the task_struct* parameter and now just match
against task_struct.p accesses in the function body, which has the
added bonus of not caring about the order of the parameters.
Still not there yet but making progress in the background, hope it's
passable entertainment to see me struggle my way there :)
>
> Regards,
> Markus
>
