[Cocci] Initialization thrown away

Ian Ohara ian at transcriptic.com
Fri Dec 12 22:28:27 CET 2014


Hi Julia,

Thanks for the response and suggestions.  For now I'm just explicitly
checking for the initialization case before checking for the no
initialization case.  This does as I'd expect.

-Ian

On Thu, Dec 11, 2014 at 12:59 AM, Julia Lawall <julia.lawall at lip6.fr> wrote:
>
>
>
> On Thu, 11 Dec 2014, Julia Lawall wrote:
>
> > Actually, the problem is the following isomorphism:
> >
> > Declaration
> > @ const_decl_init @
> > type T;
> > identifier Z;
>
> Alternatively, you can change the above declaration to
>
> context identifier Z;
>
> julia
>
> > constant C;
> > @@
> > T Z; => T Z = C;
> >
> > In between the initial @@, you can put disable const_del_init.
> >
> > julia
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20141212/2e2e9612/attachment.html>


More information about the Cocci mailing list