[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Tue, 5 May 2015 23:24:55 +0200 (CEST)
From: Julia Lawall <julia.lawall@...6.fr>
To: Nicholas Mc Guire <der.herr@...r.at>
cc: Julia Lawall <julia.lawall@...6.fr>,
Nicholas Mc Guire <hofrat@...dl.org>,
Gilles Muller <Gilles.Muller@...6.fr>,
Nicolas Palix <nicolas.palix@...g.fr>,
Michal Marek <mmarek@...e.cz>, cocci@...teme.lip6.fr,
linux-kernel@...r.kernel.org
Subject: Re: [PATCH RFC] Coccinelle: Check for return not matching function
signature
On Tue, 5 May 2015, Nicholas Mc Guire wrote:
> On Tue, 05 May 2015, Julia Lawall wrote:
>
> > > +@...ch@
> > > +identifier f,ret;
> > > +position p;
> > > +type T1,T2;
> > > +@@
> > > +
> > > +T1 f(...) {
> > > + T2 ret;
> > > +<+...
> > > +* return@p ret
> > > +;
> > > +...+>
> > > +}
> >
> > Given the number of results, it may seem surprising, but I think that you
> > are actually missing a lot of results. Becaue you require that ret be the
> > first variable that is declared in the function. Also, you require that
> > ret be an identifier. If you want to keep the restriction about being an
> > identifier, you could put:
> >
> > @match exists@
> > type T1,T2;
> > idexpression T2 ret;
I was think ing that you don't want expression in general, because for all
contansts that will give you int.
You can of course put return C; for constant metavariable C in the
disjunction to avoid that possibility.
julia
> > identifier f;
> > @@
> >
> > T1 f(...) {
> > <+...
> > return@p ret;
> > ...+>
> > }
> >
>
> this is depressing - I now like by wrong solution even more ...
> unfortunately you are right - I missed most - its now at 25146
>
> > If you don't care about the identifier constraint, then you can just put
> > T2 ret. Note also the addition of exists. There is a problem if only one
> > path has this property. Another thing you can do is the following:
> >
> > @match exists@
> > type T1,T2;
> idexpression T1 ok;
> > idexpression T2 ret;
> > identifier f;
> position p;
> > @@
> >
> > T1 f(...) {
> > <+...
> > (
> > return ok;
> > |
> > return@p ret;
> > )
> > ...+>
> > }
> >
> > Then Coccinelle will find the cases where the types are wrong, rather than
> > requiring a test in python.
> >
> > (I haven't tested any of this)
>
> also works - I had naively expected this to be faster - but it does not
> seem to be.
>
> will check results did not expect 10% of the kernel functions
> to have missmatching return types in atleast one of their paths.
>
> thx!
> hofrat
>
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists