On Mon, 20 Jul 2015, SF Markus Elfring wrote:
> >> *struct structure_type structure_var = { ... .element = allocation(...)
> >> ... };
> >
> > You need a comma after the ...s representing structure field declarations.
>
> Do I overlook another needed implementation detail here?
>
>
> @show_designated_initialisers@
> field element;
> identifier allocation, structure_type, structure_var;
> @@
> <+...
> *struct structure_type structure_var = { ..., .element = allocation(...), ...
> };
> ...+>
Element should be an identifier.
julia
>
>
> elfring@Sonne:~/Projekte/Coccinelle/janitor> spatch.opt -sp-file
> show_designated_initialisers1.cocci unchecked_return_values1.c
> init_defs_builtins: /usr/local/lib/coccinelle/standard.h
> 157 164
> Fatal error: exception Failure("minus: parse error: \n = File
> \"show_designated_initialisers1.cocci\", line 6, column 47, charpos = 157\n
> around = 'element', whole content = *struct structure_type structure_var =
> { ..., .element = allocation(...), ..., };\n")
>
>
> Regards,
> Markus
>
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
