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
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
