[Cocci] Initialization thrown away

Julia Lawall julia.lawall at lip6.fr
Fri Dec 12 22:34:50 CET 2014


On Fri, 12 Dec 2014, Ian Ohara wrote:

> 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.

The problem is solved in 1.0.0-rc23, which by the way is now available in 
github.

julia

> 
> -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
>       >
> 
> 
> 


More information about the Cocci mailing list