On Tue, 22 Sep 2020, Markus Elfring wrote:
> >> Can another SmPL script variant become similarly useful?
> >>
> >> @find2 disable optional_storage@
> >> identifier i;
> >> type t;
> >> @@
> >> (
> >> *t
> >> |
> >> *extern t
> >> )
> >> *i(...)
> >> { ... }
> >
> > I doubt that this parses.
>
> I hope to achieve further improvements also for this application area.
>
>
> > I don't think extern t is considered to be a type.
>
> Which entity should take care of this key word (in SmPL disjunctions)?
I don't know if a disjunction is allowed at this level. But if it is
allowed, then it would be with extern and maybe inline, etc.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
