On Fri, 16 Jan 2015, SF Markus Elfring wrote:

> > But I get parse errors no matter what I try.
>
> I guess that I can not really help with parsing difficulties
> in your case.
>
>
> > Where’s my error?
>
> I find that your SmPL disjunction can also be written in
> a slightly different way.
> Would you like to try out the following semantic filter approach?
>
> @find_big_integers@
> identifier func, var;
> @@
> (
> *long var
>  ... ;
> |
>  func(...,
> *     long var,
>       ...);
> |
>  func(...,
> *     long var,
>       ...)
>  { ... }
> )

This does not work either, for the same reason previously mentioned.  You
cannot put a function definition in a disjunction.

Including function prototypes seems redundant, but may be useful if the
function definition has a parsing problem, but the prototype does not.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to