[Cocci] Add code after local variable declarations ?

[Cocci] Add code after local variable declarations ?

[Jerome Glisse]

I would like to add code after local variable declaration but there
is nothing particular to match there for me. Roughly i want to do:

    void FooFun(..., struct fooicareabout *identifier, ...)
    {
        // bunch of local variable

        // I want to add code here after all local variables
    }

The thing i match on is one of the function argument. So is that do-
able ? If so any pointer on how to do this would be much appreciated.

Thank you
Jérôme
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Add code after local variable declarations ?

[Julia Lawall]

On Tue, 16 Apr 2019, Jerome Glisse wrote:

> I would like to add code after local variable declaration but there
> is nothing particular to match there for me. Roughly i want to do:
>
>     void FooFun(..., struct fooicareabout *identifier, ...)
>     {
>         // bunch of local variable
>
>         // I want to add code here after all local variables
>     }

@@
statement S,S1;
@@

foo(...) {
  ... when != S
+ added code
  S1
  ...
}

A declaration doesn't match S.

>
> The thing i match on is one of the function argument. So is that do-
> able ? If so any pointer on how to do this would be much appreciated.

I'm not sure what you are trying to do here.  You can certainly make a
pattern for your parameters like you have shown in the example.  Do you
mean that you want to go find the argument value at the call site?

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Add code after local variable declarations?

[Markus Elfring]

> @@
> statement S,S1;
> @@
>
> foo(...) {
>   ... when != S
> + added code
>   S1
>   ...
> }
>
> A declaration doesn't match S.

Can this information trigger additional considerations for the handling
of variable definitions?

Would you like to add any source code only after a variable declaration
(or definition) block?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Add code after local variable declarations?

[Julia Lawall]

On Wed, 17 Apr 2019, Markus Elfring wrote:

> > @@
> > statement S,S1;
> > @@
> >
> > foo(...) {
> >   ... when != S
> > + added code
> >   S1
> >   ...
> > }
> >
> > A declaration doesn't match S.
>
> Can this information trigger additional considerations for the handling
> of variable definitions?
>
> Would you like to add any source code only after a variable declaration

Coccinelle doesn't allow this.  It has no way of knowing whether other
declarations come afterwards, and in the Linux kernel it is not allowed to
mix statements and declarations.

julia

> (or definition) block?
>
> Regards,
> Markus
>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Add code after local variable declarations?

[Markus Elfring]

>> Would you like to add any source code only after a variable declaration
>
> Coccinelle doesn't allow this.  It has no way of knowing whether other
> declarations come afterwards,

I suggest to reconsider this quick response.
Are there approximations supported for such a source code search approach?


> and in the Linux kernel it is not allowed to mix statements and declarations.

There are adjustments possible for the desired scopes, aren't there?


>> (or definition) block?

Which details will become more interesting for corresponding
transformation patterns?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Add code after local variable declarations?

[Markus Elfring]

>> Would you like to add any source code only after a variable declaration
>
> Coccinelle doesn't allow this.  It has no way of knowing whether other
> declarations come afterwards,

I suggest to reconsider this quick response.
Are there approximations supported for such a source code search approach?


> and in the Linux kernel it is not allowed to mix statements and declarations.

There are adjustments possible for the desired scopes, aren't there?


>> (or definition) block?

Which details will become more interesting for corresponding
transformation patterns?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Add code after local variable declarations ?

[Jerome Glisse]

On Wed, Apr 17, 2019 at 07:14:29AM +0200, Julia Lawall wrote:
> 
> 
> On Tue, 16 Apr 2019, Jerome Glisse wrote:
> 
> > I would like to add code after local variable declaration but there
> > is nothing particular to match there for me. Roughly i want to do:
> >
> >     void FooFun(..., struct fooicareabout *identifier, ...)
> >     {
> >         // bunch of local variable
> >
> >         // I want to add code here after all local variables
> >     }
> 
> @@
> statement S,S1;
> @@
> 
> foo(...) {
>   ... when != S
> + added code
>   S1
>   ...
> }
> 
> A declaration doesn't match S.

Oh cool did not think of that thanks. What happens if some of the
declaration also have initializer that are statement ie for instance:

foobar(int a, int b, int c, struct fooicareabout *id)
{
    int toto = funbar(a, b);
    int k, l, m;

    ...
}


> 
> >
> > The thing i match on is one of the function argument. So is that do-
> > able ? If so any pointer on how to do this would be much appreciated.
> 
> I'm not sure what you are trying to do here.  You can certainly make a
> pattern for your parameters like you have shown in the example.  Do you
> mean that you want to go find the argument value at the call site?

No i want to add some code to _all_ function that have a specific
structure as one of their argument. Thus i match on the function
parameter list for the struct i am interested in and then after
all the declaration i add a code snippet.

Cheers,
Jérôme
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Add code after local variable declarations ?

[Julia Lawall]

On Wed, 17 Apr 2019, Jerome Glisse wrote:

> On Wed, Apr 17, 2019 at 07:14:29AM +0200, Julia Lawall wrote:
> >
> >
> > On Tue, 16 Apr 2019, Jerome Glisse wrote:
> >
> > > I would like to add code after local variable declaration but there
> > > is nothing particular to match there for me. Roughly i want to do:
> > >
> > >     void FooFun(..., struct fooicareabout *identifier, ...)
> > >     {
> > >         // bunch of local variable
> > >
> > >         // I want to add code here after all local variables
> > >     }
> >
> > @@
> > statement S,S1;
> > @@
> >
> > foo(...) {
> >   ... when != S
> > + added code
> >   S1
> >   ...
> > }
> >
> > A declaration doesn't match S.
>
> Oh cool did not think of that thanks. What happens if some of the
> declaration also have initializer that are statement ie for instance:

No difference.

> foobar(int a, int b, int c, struct fooicareabout *id)
> {
>     int toto = funbar(a, b);
>     int k, l, m;
>
>     ...
> }
>
>
> >
> > >
> > > The thing i match on is one of the function argument. So is that do-
> > > able ? If so any pointer on how to do this would be much appreciated.
> >
> > I'm not sure what you are trying to do here.  You can certainly make a
> > pattern for your parameters like you have shown in the example.  Do you
> > mean that you want to go find the argument value at the call site?
>
> No i want to add some code to _all_ function that have a specific
> structure as one of their argument. Thus i match on the function
> parameter list for the struct i am interested in and then after
> all the declaration i add a code snippet.

OK, you should be fine with the pattern you wrote.

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Add code after local variable declarations?

[Markus Elfring]

> No i want to add some code to _all_ function that have a specific
> structure as one of their argument. Thus i match on the function
> parameter list for the struct i am interested in

This source code search approach is generally fine.


> and then after all the declaration i add a code snippet.

Our programmer eyes are trained for pattern recognition according to
such a software transformation.

* How many efforts would you like to invest into the development
  for the automation of this refactoring (together with
  the semantic patch language)?

* Would you like to determine the source code positions between
  variable declaration (or definition) blocks and other statements safely?

* Will any additional constraints become relevant for this change attempt?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci