>>> @show_designated_initialisers@
>>> identifier allocation, element, structure_type, structure_var;
>>> @@
>>>  <+...
>>> *struct structure_type structure_var = { ..., .element = allocation(...), 
>>> ... };
>>>  ...+>
> 
> Why do you have <+... ...+> around the pattern?

I tried to express that the special case "nothing found" should be excluded 
here.

I do also not get the expected analysis result if I omit the SmPL ellipsis
for such an use case. How should I improve this approach then?

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

Reply via email to